|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1224 occurrences of 905 keywords
|
|
|
Results
Found 3212 publication records. Showing 3212 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
93 | Wei-Guang Teng, Ming-Jyh Hsieh, Ming-Syan Chen |
A statistical framework for mining substitution rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 7(2), pp. 158-178, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Concrete itemset, Substitution rule, Correlation analysis, Statistical significance |
86 | Uros Midic, A. Keith Dunker, Zoran Obradovic |
Protein sequence alignment and structural disorder: a substitution matrix for an extended alphabet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD Workshop on Statistical and Relational Learning in Bioinformatics ![In: Proceedings of the ACM SIGKDD Workshop on Statistical and Relational Learning in Bioinformatics, Paris, France, June 28, 2009, pp. 27-31, 2009, ACM, 978-1-60558-667-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
protein sequence alignment, structurally disordered proteins, substitution matrices |
78 | Wei-Guang Teng, Ming-Jyh Hsieh, Ming-Syan Chen |
On the Mining of Substitution Rules for Statistically Dependent Items. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM ![In: Proceedings of the 2002 IEEE International Conference on Data Mining (ICDM 2002), 9-12 December 2002, Maebashi City, Japan, pp. 442-449, 2002, IEEE Computer Society, 0-7695-1754-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
78 | Hakon N. Jendal, Yves J. B. Kuhn, James L. Massey |
An Information-Theoretic Treatment of Homophonic Substitution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT '89, Workshop on the Theory and Application of of Cryptographic Techniques, Houthalen, Belgium, April 10-13, 1989, Proceedings, pp. 382-394, 1989, Springer, 3-540-53433-4. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
71 | Murdoch James Gabbay, Aad Mathijssen |
Capture-avoiding substitution as a nominal algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 20(4-5), pp. 451-479, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Nominal techniques, Nominal algebra, Capture-avoidance, Nominal rewriting, Omega-completeness, Binding, Substitution |
71 | Alexandre H. L. Porto, Valmir Carneiro Barbosa |
A Methodology for Determining Amino-Acid Substitution Matrices from Set Covers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoWorkshops ![In: Applications of Evolutionary Computing, EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006, Proceedings, pp. 138-148, 2006, Springer, 3-540-33237-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Substitution matrix, Residue set cover, Sequence alignment |
71 | Ming-Ni Wu, Min-Hui Lin 0001, Chin-Chen Chang 0001 |
A LSB Substitution Oriented Image Hiding Strategy Using Genetic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AWCC ![In: Content Computing, Advanced Workshop on Content Computing, AWCC 2004, ZhenJiang, JiangSu, China, November 15-17, 2004, Proceedings, pp. 219-229, 2004, Springer, 3-540-23898-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
LSB substitution, genetic algorithm, image hiding |
71 | Nan Jiang, Wendy Xinyu Wu, Ian Mitchell 0002 |
Protein Fold Recognition by Mixed Environment-Specific Amino Acid Substitution Mapping Using Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS (2) ![In: 11th International Conference on Parallel and Distributed Systems, ICPADS 2005, Fuduoka, Japan, July 20-22, 2005, pp. 341-345, 2005, IEEE Computer Society, 0-7695-2281-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
71 | Shih-Chieh Chang, David Ihsin Cheng |
Efficient Boolean division and substitution using redundancy addition and removing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18(8), pp. 1096-1106, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
63 | Ferdinand Hommes |
The heap/substitution concept - an implementation of functional operations on data structures for a reduction machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 9th International Symposium on Computer Architecture (ISCA 1982), Austin, TX, USA, April 26-29, 1982, pp. 248-256, 1982, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
60 | Sari Haj Hussein |
The hush cryptosystem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIN ![In: Proceedings of the 2nd International Conference on Security of Information and Networks, SIN 2009, Gazimagusa, North Cyprus, October 6-10, 2009, pp. 105-110, 2009, ACM, 978-1-60558-412-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
base64, grammatical substitution, randomness degree, redundant data percentage, sentence substitution, word substitution, hidden markov models, statistical tests |
56 | Jeong-Yup Lee, Robert V. Moody, Boris Solomyak |
Consequences of Pure Point Diffraction Spectra for Multiset Substitution Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 29(4), pp. 525-560, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
56 | Shih-Chieh Chang, David Ihsin Cheng |
Efficient Boolean Division and Substitution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 35th Conference on Design Automation, Moscone center, San Francico, California, USA, June 15-19, 1998., pp. 342-347, 1998, ACM Press, 0-89791-964-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
congestion, global routing, quadratic placement, routing models, supply-demand, relaxed pins |
52 | Béatrice Bérard, Paul Gastin, Antoine Petit 0001 |
Timed substitutions for regular signal-event languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 31(2), pp. 101-134, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Signal-event word, Refinement, Abstraction, Timed automata, Substitution |
49 | Mohamed Amine Garici, Habiba Drias |
Cryptanalysis of Substitution Ciphers Using Scatter Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWINAC (2) ![In: Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach: First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part II, pp. 31-40, 2005, Springer, 3-540-26319-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
automated cryptanalysis, substitution ciphers, genetic algorithm, heuristic search, optimization problem, scatter search, evolutionary approach |
49 | Beomsik Song, Huaxiong Wang, Jennifer Seberry |
A New Cryptanalytic Method Using the Distribution Characteristics of Substitution Distances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISC ![In: Information Security and Cryptology - ICISC 2001, 4th International Conference Seoul, Korea, December 6-7, 2001, Proceedings, pp. 18-31, 2001, Springer, 3-540-43319-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Substitution-Permutation(SP) Networks, Subtitution Distance, Cryptanalysis, Rijndael |
49 | Hans Vandierendonck, Hans Logie, Koenraad De Bosschere |
Trace Substitution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2003. Parallel Processing, 9th International Euro-Par Conference, Klagenfurt, Austria, August 26-29, 2003. Proceedings, pp. 556-565, 2003, Springer, 3-540-40788-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
49 | Annie Foret |
On Mixing Deduction and Substitution in Lambek Categorial Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LACL ![In: Logical Aspects of Computational Linguistics, 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings, pp. 158-174, 2001, Springer, 3-540-42273-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
45 | Marcelo P. Fiore |
Second-Order and Dependently-Sorted Abstract Syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 57-68, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
second-order syntax, dependently-sorted syntax, alpha-equivalence, metavariable, meta-substitution, categorical algebra, substitution, abstract syntax, variable binding |
45 | Alex Biryukov, Adi Shamir |
Structural Cryptanalysis of SASAS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT 2001, International Conference on the Theory and Application of Cryptographic Techniques, Innsbruck, Austria, May 6-10, 2001, Proceeding, pp. 394-405, 2001, Springer, 3-540-42070-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Structural cryptanalysis, substitution permutation networks, substitution affine networks, Cryptanalysis, block ciphers, Rijndael |
45 | Philippe Gentric |
Experimental results on improved handwritten word recognition using the Levenshtein metric. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume I, pp. 364-367, 1995, IEEE Computer Society, 0-8186-7128-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Levenshtein metric, discrete words, lexical processor, radial basis function classifier, substitution costs, lexical search scheme, classifier confusion matrix, substitution cost estimation, optical character recognition, handwriting recognition, image classification, feedforward neural nets, handwritten word recognition |
44 | Miki Tanaka, John Power |
Pseudo-distributive laws and axiomatics for variable binding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 19(2-3), pp. 305-337, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Binding signatures, Pseudo-distributive law, Substitution monoidal structure, Context, Initial algebra semantics, Pseudo-monad |
44 | Gopalan Nadathur, Xiaochu Qi |
Explicit substitutions in the reduction of lambda terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden, pp. 195-206, 2003, ACM, 1-58113-705-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
beta reduction, graph and environment based reduction procedures, suspension notation, lambda calculus, higher-order abstract syntax, explicit substitution, metalanguages |
44 | David J. Jeffrey, Albert D. Rich |
The evaluation of trigonometric integrals avoiding spurious discontinuities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 20(1), pp. 124-135, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
trigonometric substitution, continuity, computer algebra, symbolic integration |
44 | Kyungmin Lee, Dongman Lee, Insuk Park, Seunghyun Han |
XVMF: An Extensible and Versatile Matchmaking Framework for Supporting Dynamic Application Adaptation in Ubiquitous Computing Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerCom Workshops ![In: 4th IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2006 Workshops), 13-17 March 2006, Pisa, Italy, pp. 364-368, 2006, IEEE Computer Society, 0-7695-2520-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Nan Jiang, Wendy Xinyu Wu, Ian Mitchell 0002 |
Protein Fold Recognition Using Neural Networks and Support Vector Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2005, 6th International Conference, Brisbane, Australia, July 6-8, 2005, Proceedings, pp. 462-469, 2005, Springer, 3-540-26972-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Zoltán Fülöp 0001, Heiko Vogler |
Tree Series Transformations that Respect Copying. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 36(3), pp. 247-293, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
42 | Wen Zhang, Jun Yan 0001, Shuicheng Yan, Ning Liu 0001, Zheng Chen 0001 |
Temporal query substitution for ad search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: Proceedings of the 32nd Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2009, Boston, MA, USA, July 19-23, 2009, pp. 798-799, 2009, ACM, 978-1-60558-483-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ad search, query substitution, temporal similarity |
42 | Liangyu Chen 0001, Zhenbing Zeng |
Which Symmetric Homogeneous Polynomials Can Be Proved Positive Semi-definite by Difference Substitution Method?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASCM ![In: Computer Mathematics, 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers, pp. 57-71, 2007, Springer, 978-3-540-87826-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Homogeneous symmetric polynomial, Positive Semi- Definiteness, Difference Substitution |
42 | Jens-Matthias Bohli, Stefan Röhrich, Rainer Steinwandt |
Key substitution attacks revisited: Taking into account malicious signers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Sec. ![In: Int. J. Inf. Sec. 5(1), pp. 30-36, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Key substitution, Cryptanalysis, Digital signature |
42 | Dar-Shyang Lee |
Substitution Deciphering Based on HMMs with Applications to Compressed Document Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 24(12), pp. 1661-1666, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Substitution ciphers, symbolic compression, HMM |
41 | Minh Duc Cao, Trevor I. Dix, Lloyd Allison |
Computing Substitution Matrices for Genomic Comparative Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Advances in Knowledge Discovery and Data Mining, 13th Pacific-Asia Conference, PAKDD 2009, Bangkok, Thailand, April 27-30, 2009, Proceedings, pp. 647-655, 2009, Springer, 978-3-642-01306-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
41 | Ganesh Ram Santhanam, Samik Basu 0001, Vasant G. Honavar |
Web Service Substitution Based on Preferences Over Non-functional Attributes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC ![In: 2009 IEEE International Conference on Services Computing (SCC 2009), 21-25 September 2009, Bangalore, India, pp. 210-217, 2009, IEEE Computer Society, 978-0-7695-3811-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
41 | Yehia Taher, Djamal Benslimane, Marie-Christine Fauvet, Zakaria Maamar |
Towards an Approach forWeb services Substitution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: Tenth International Database Engineering and Applications Symposium (IDEAS 2006), 11-14 December 2006, Delhi, India, pp. 166-173, 2006, IEEE Computer Society, 0-7695-2577-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Murdoch Gabbay, Aad Mathijssen |
Capture-Avoiding Substitution as a Nominal Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings, pp. 198-212, 2006, Springer, 3-540-48815-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Daniel Leivant, Jean-Yves Marion |
Ramified Recurrence and Computational Complexity II: Substitution and Poly-Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers, pp. 486-500, 1994, Springer, 3-540-60017-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
38 | Jun Wu, Yong-Bin Kim, Minsu Choi |
Low-power side-channel attack-resistant asynchronous S-box design for AES cryptosystems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 20th ACM Great Lakes Symposium on VLSI 2009, Providence, Rhode Island, USA, May 16-18 2010, pp. 459-464, 2010, ACM, 978-1-4503-0012-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
substitution box, substitution box (S-box), differential power/noise analysis, power/noise measurement, security, advanced encryption standard, advanced encryption standard, side-channel attacks (SCA), null convention logic |
38 | David Dewhurst |
Accessing Audiotactile Images with HFVE Silooet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HAID ![In: Haptic and Audio Interaction Design, 4th International Conference, HAID 200, Dresden, Germany, September 10-11, 2009, Proceedings, pp. 61-70, 2009, Springer, 978-3-642-04075-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Vision-substitution, HFVE, Silooet, audiotactile, haptics, blindness, braille, sensory-substitution, deafblindness, Morse code |
37 | Umut Topkara, Mercan Topkara, Mikhail J. Atallah |
The hiding virtues of ambiguity: quantifiably resilient watermarking of natural language text through synonym substitutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MM&Sec ![In: Proceedings of the 8th workshop on Multimedia & Security, MM&Sec 2006, Geneva, Switzerland, September 26-27, 2006, pp. 164-174, 2006, ACM, 1-59593-493-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
homograph, natural language text, synonym substitution, information hiding |
37 | Frank Zeyda, Bill Stoddart, Steve Dunne |
A Prospective-Value Semantics for the GSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings, pp. 187-202, 2005, Springer, 3-540-25559-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
bunch theory, prospective-value semantics, expression transformers, wp calculus, B Method, Generalised substitution |
37 | Tanel Tammet |
Completeness of Resolution for Definite Answers with Case Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers, pp. 309-323, 1994, Springer, 3-540-60017-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
37 | Edgar Knapp |
Soundness and Completeness of UNITY Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 14th Conference, Madras, India, December 15-17, 1994, Proceedings, pp. 378-389, 1994, Springer, 3-540-58715-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Classification Theory of Programming Languages, Logic in Computer Science, Theory of Parallel and Distributed Computation |
35 | M. Michalopoulos, Christos Anagnostopoulos, Charalampos Doukas, Ilias Maglogiannis, Stathes Hadjiefthymiades |
Optimizing pervasive sensor data acquisition utilizing missing values substitution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PETRA ![In: Proceedings of the 3rd International Conference on Pervasive Technologies Related to Assistive Environments, PETRA 2010, Samos, Greece, June 23-25, 2010, 2010, ACM, 978-1-4503-0071-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
healthcare data transmission, missing values substitution, pervasive sensors |
35 | Jon Bird, Paul Marshall, Yvonne Rogers |
Low-fi skin vision: a case study in rapid prototyping a sensory substitution system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BCS HCI ![In: Proceedings of the 2009 British Computer Society Conference on Human-Computer Interaction, BCS-HCI 2009, Cambridge, United Kingdom, 1-5 September 2009, pp. 55-64, 2009, ACM. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
TVSS, low-fi rapid prototyping, tactile vision sensory substitution, embedded systems |
35 | David Oranchak |
Evolutionary algorithm for decryption of monoalphabetic homophonic substitution ciphers encoded as constraint satisfaction problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2008, Proceedings, Atlanta, GA, USA, July 12-16, 2008, pp. 1717-1718, 2008, ACM, 978-1-60558-130-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
codebreaking, homophonic substitution, zodiac killer, zodiac murder ciphers, genetic algorithms, cryptography, evolutionary computing, constraint satisfaction |
35 | Soo Yeong Kwak, Ilkwon Park, Juyong Lee, Hyeran Byun, Guntae Bae |
Automatic background substitution using monocular camera and temporal foreground probability model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICUIMC ![In: Proceedings of the 2nd International Conference on Ubiquitous Information Management and Communication, ICUIMC 2008, Suwon, Korea, January 31 - February 01, 2008, pp. 506-510, 2008, ACM, 978-1-59593-993-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
background substitution, foreground segmentation |
35 | Rachael Loum-Stanley, Paul Wilkinson |
Believe in magic: creating a shift substitution system with no budget. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 35th Annual ACM SIGUCCS Conference on User Services 2007, Orlando, Florida, USA, October 7-10, 2007, pp. 216-220, 2007, ACM, 978-1-59593-634-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
student assistant, schedule, database, substitution, staffing, student worker |
35 | Tatsuo Arai |
Epsilon substitution method for [Pi01, Pi01]-FIX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 44(8), pp. 1009-1043, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Epsilon substitution, Ordinal interpretation, Termination proof |
35 | Henry Towsner |
Epsilon substitution for transfinite induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 44(4), pp. 397-412, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Epsilon substitution, Cut elimination |
35 | Zine-El-Abidine Benaissa, Pierre Lescanne, Kristoffer Høgsbro Rose |
Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings, pp. 393-407, 1996, Springer, 3-540-61756-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Implementation of functional programming, weak reduction, space leaks, recursion, sharing, lambda calculus, explicit substitution |
35 | B. John Oommen, Jack R. Zgierski |
Breaking Substitution Cyphers Using Stochastic Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(2), pp. 185-192, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
substitution cyphers, finite plaintext alphabet, cypher alphabet, unigrams, trigrams, automaton solution, cypher learning automaton, learning, cryptography, learning systems, cardinality, stochastic automata, stochastic automata, statistical information, relaxation theory, relaxation scheme |
34 | Lu He, Jianbin Lin, Tianzhi Li, Dingyi Fang |
An Anti-attack Watermarking Based on Synonym Substitution for Chinese Text. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAS ![In: Proceedings of the Fifth International Conference on Information Assurance and Security, IAS 2009, Xi'An, China, 18-20 August 2009, pp. 356-359, 2009, IEEE Computer Society, 978-0-7695-3744-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | David Windridge, Norman Poh, Vadim Mottl, Alexander Tatarchuk, Andrey Eliseyev |
Handling Multimodal Information Fusion with Missing Observations Using the Neutral Point Substitution Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCS ![In: Multiple Classifier Systems, 8th International Workshop, MCS 2009, Reykjavik, Iceland, June 10-12, 2009. Proceedings, pp. 161-170, 2009, Springer, 978-3-642-02325-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Juan Méndez, Antonio Falcón, Mario Hernández, Javier Lorenzo 0001 |
Discovering the Intrinsic Dimensionality of BLOSUM Substitution Matrices Using Evolutionary MDS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innovations in Hybrid Intelligent Systems ![In: Innovations in Hybrid Intelligent Systems, pp. 369-376, 2008, Springer, 978-3-540-74971-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Jörg Endrullis, Roel C. de Vrijer |
Reduction Under Substitution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings, pp. 425-440, 2008, Springer, 978-3-540-70588-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Mehdi Saeedi, Morteza Saheb Zamani, Mehdi Sedighi |
On the Behavior of Substitution-based Reversible Circuit Synthesis Algorithms: Investigation and Improvement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVLSI ![In: 2007 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2007), May 9-11, 2007, Porto Alegre, Brazil, pp. 428-436, 2007, IEEE Computer Society, 0-7695-2896-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Ahmet Sacan, Ismail Hakki Toroslu |
Amino Acid Substitution Matrices Based on 4-Body Delaunay Contact Profiles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBE ![In: Proceedings of the 7th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2007, October 14-17, 2007, Harvard Medical School, Boston, MA, USA, pp. 796-801, 2007, IEEE Computer Society, 978-1-4244-1509-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Nicolas Desnos, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Guy Tremblay |
Automated and Unanticipated Flexible Component Substitution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBSE ![In: Component-Based Software Engineering, 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings, pp. 33-48, 2007, Springer, 978-3-540-73550-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Antony Powell, John Murdoch, Nick Tudor |
Modeling Risk-Benefit Assumptions in Technology Substitution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSP ![In: Software Process Dynamics and Agility, International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007, Proceedings, pp. 295-306, 2007, Springer, 978-3-540-72425-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
simulation, system dynamics, technology adoption |
34 | E. O. Harriss |
Non-Periodic Rhomb Substitution Tilings that Admit Order n Rotational Symmetry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 34(3), pp. 523-536, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Lila Kari, Stavros Konstantinidis, Petr Sosík |
Substitution on Trajectories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Is Forever ![In: Theory Is Forever, Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday, pp. 145-158, 2004, Springer, 3-540-22393-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Atanas Rountev, Satish Chandra 0001 |
Off-line variable substitution for scaling points-to analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Vancouver, Britith Columbia, Canada, June 18-21, 2000, pp. 47-56, 2000, ACM, 1-58113-199-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Amir Rahat, Nissim Francez, Oded Shmueli |
On the Equivalence of Deferred Substitution and Immediate Substitution Semantics for Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in AI, European Workshop, JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990, Proceedings, pp. 454-471, 1990, Springer, 3-540-53686-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
30 | Michael S. Schlansker, Vinod Kathail, Sadun Anik |
Height reduction of control recurrences for ILP processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 27th Annual International Symposium on Microarchitecture, San Jose, California, USA, November 30 - December 2, 1994, pp. 40-51, 1994, ACM / IEEE Computer Society, 0-89791-707-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
back-substitution, blocked back-substitution, control height reduction, parallelism, software pipeline, control dependences, loop optimization, recurrences |
30 | Maria Karam, Carmen Branje, Gabe Nespoli, Norma Thompson, Frank A. Russo, Deborah I. Fels |
The emoti-chair: an interactive tactile music exhibit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Extended Abstracts Volume, Atlanta, Georgia, USA, April 10-15, 2010, pp. 3069-3074, 2010, ACM, 978-1-60558-930-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
crossmodal displays, assistive technologies, haptic I/O, sensory substitution |
30 | Van Dang, W. Bruce Croft |
Query reformulation using anchor text. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSDM ![In: Proceedings of the Third International Conference on Web Search and Web Data Mining, WSDM 2010, New York, NY, USA, February 4-6, 2010, pp. 41-50, 2010, ACM, 978-1-60558-889-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
anchor log, query substitution, query expansion, query reformulation, query log, anchor text |
30 | Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine |
Principal Typings for Explicit Substitutions Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings, pp. 567-578, 2008, Springer, 978-3-540-69405-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
lambda-calculus, explicit substitution, principal typings |
30 | Andreas Abel 0001, Dulma Rodriguez |
Syntactic Metatheory of Higher-Order Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, pp. 446-460, 2008, Springer, 978-3-540-87530-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Higher-order subtyping, bounded quantification, algorithmic subtyping, hereditary substitution |
30 | Christophe Clavier |
An Improved SCARE Cryptanalysis Against a Secret A3/A8 GSM Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISS ![In: Information Systems Security, Third International Conference, ICISS 2007, Delhi, India, December 16-20, 2007, Proceedings, pp. 143-155, 2007, Springer, 978-3-540-77085-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
GSM Authentication, A3/A8, Substitution Table, Reverse Engineering, Side Channel Analysis |
30 | Eun-Jun Yoon, Kee-Young Yoo |
Improving the Sun-Cao's Public Key Authentication Scheme for Non-repudiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (3) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques, Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007. Proceedings, pp. 1103-1109, 2007, Springer, 978-3-540-74281-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Public key substitution attack, Cryptanalysis, Non-repudiation, Key authentication |
30 | Alberto Apostolico, Matteo Comin, Laxmi Parida |
Bridging Lossy and Lossless Compression by Motif Pattern Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GTIT-C ![In: General Theory of Information Transfer and Combinatorics, pp. 793-813, 2006, Springer, 3-540-46244-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
lossy and lossless data compression, off-line textual substitution, grammar based codes, pattern matching, Pattern discovery, grammatical inference, motif |
30 | Rosie Jones, Benjamin Rey, Omid Madani, Wiley Greiner |
Generating query substitutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 15th international conference on World Wide Web, WWW 2006, Edinburgh, Scotland, UK, May 23-26, 2006, pp. 387-396, 2006, ACM, 1-59593-323-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
query substitution, sponsored search, query rewriting, paraphrasing |
30 | Yusr Amamou, John Stewart |
Analyse descriptive de trajectories perceptives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IHM ![In: Proceedings of the 18th International Conference of the Association Francophone d'Interaction Homme-Machine, Montreal, Quebec, Canada, 18-21 April 2006, pp. 145-148, 2006, ACM, 1-59593-350-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
exploratory strategies and descriptors, perceptive substitution, perception |
30 | Hendra Saputra, Guangyu Chen, Richard R. Brooks, Narayanan Vijaykrishnan, Mahmut T. Kandemir, Mary Jane Irwin |
Code protection for resource-constrained embedded devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2004 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'04), Washington, DC, USA, June 11-13, 2004, pp. 240-248, 2004, ACM, 1-58113-806-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Java security, java byte code, mono-alphabetic, poly-alphabetic, cryptography, substitution |
30 | Hong-Su Cho, Soo Hak Sung, Daesung Kwon, Jung-Keun Lee, Jung Hwan Song, Jongin Lim 0001 |
New Method for Bounding the Maximum Differential Probability for SPNs and ARIA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISC ![In: Information Security and Cryptology - ICISC 2004, 7th International Conference, Seoul, Korea, December 2-3, 2004, Revised Selected Papers, pp. 21-32, 2004, Springer, 3-540-26226-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Substitution-permutation networks, Branch number, Independent variables, Cryptography, AES, Differential cryptanalysis, Linear cryptanalysis, ARIA |
30 | Adam C. Siepel, David Haussler |
Combining phylogenetic and hidden Markov models in biosequence analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB ![In: Proceedings of the Sventh Annual International Conference on Computational Biology, RECOMB 2003, Berlin, Germany, April 10-13, 2003, pp. 277-286, 2003, ACM, 1-58113-635-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
context-sensitive substitution, maximum likelihood |
30 | D. Janaki Ram, M. S. Rajasree |
Enabling Design Evolution in Software through Pattern Oriented Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOIS ![In: Object-Oriented Information Systems, 9th International Conference, OOIS 2003, Geneva, Switzerland, September 2-5, 2003, Proceedings, pp. 179-190, 2003, Springer, 3-540-40860-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Design evolution, Pattern substitution, Software architecture, Design patterns, Software development life cycle |
30 | Valeria De Antonellis, Michele Melchiori, Barbara Pernici, Pierluigi Plebani |
A Methodology for e -Service Substitutability in a Virtual District Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 15th International Conference, CAiSE 2003, Klagenfurt, Austria, June 16-18, 2003, Proceedings, pp. 552-567, 2003, Springer, 3-540-40442-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
dynamic substitution, virtual districts, e-Service, compatibility |
30 | Alain Cournier, Michel Habib |
An Efficient Algorithm to Recognize Prime Undirected Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 18th International Workshop, WG '92, Wiesbaden-Naurod, Germany, June 19-20, 1992, Proceedings, pp. 212-224, 1992, Springer, 3-540-56402-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
substitution decomposition, autonomous subsets, modules, Undirected graphs, prime graphs |
30 | Shan-Hwei Nienhuys-Cheng, Peter A. Flach |
Consistent Term Mappings, Term Partitions and Inverse Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWSL ![In: Machine Learning - EWSL-91, European Working Session on Learning, Porto, Portugal, March 6-8, 1991, Proceedings, pp. 361-374, 1991, Springer, 3-540-53816-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Inverse resolution, absorption, substitution |
29 | Kazushi Ikeda, Tadashi Yanagihara, Kazunori Matsumoto, Yasuhiro Takishima |
Unsupervised Text Normalization Approach for Morphological Analysis of Blog Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australasian Conference on Artificial Intelligence ![In: AI 2009: Advances in Artificial Intelligence, 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedings, pp. 401-411, 2009, Springer, 978-3-642-10438-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Jürgen Dassow, Bianca Truthe |
On the Power of Networks of Evolutionary Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCU ![In: Machines, Computations, and Universality, 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007, Proceedings, pp. 158-169, 2007, Springer, 978-3-540-74592-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Waraporn Parasuk, Vudhichai Parasuk |
Ab initio Study of Chiral Recognition of beta-Butyrolactone by Cyclodextrins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (3) ![In: Computational Science - ICCS 2006, 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part III, pp. 136-142, 2006, Springer, 3-540-34383-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Rongde Lu, An Lu |
Applications of the Superposition Theorem to Nonlinear Resistive Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCCAS ![In: IEEE Asia Pacific Conference on Circuits and Systems 2006, APCCAS 2006, Singapore, 4-7 December 2006, pp. 1333-1336, 2006, IEEE, 1-4244-0387-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Christian Urban, Andrew M. Pitts, Murdoch Gabbay |
Nominal Unificaiton. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings, pp. 513-527, 2003, Springer, 3-540-40801-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Eduardo R. Hruschka, Estevam R. Hruschka Jr., Nelson F. F. Ebecken |
Evaluating a Nearest-Neighbor Method to Substitute Continuous Missing Values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2003: Advances in Artificial Intelligence, 16th Australian Conference on Artificial Intelligence, Perth, Australia, December 3-5, 2003, Proceedings, pp. 723-734, 2003, Springer, 3-540-20646-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Daniel J. Dougherty, Pierre Lescanne |
Reductions, Intersection Types, and Explicit Substitutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001, Proceedings., pp. 121-135, 2001, Springer, 3-540-41960-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Masahiko Sato 0001, Takafumi Sakurai, Yukiyoshi Kameyama |
A Simply Typed Context Calculus with First-Class Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001, Proceedings, pp. 359-374, 2001, Springer, 3-540-41739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Anthony J. Bonner |
The Complexity of Reusing and Modifying Rulebases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 2-4, 1992, San Diego, California, USA, pp. 316-330, 1992, ACM Press, 0-89791-519-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Datalog |
27 | Yanan Tian |
A Vision Substitution Method for the Blind Based on Image Edge Detection and Sound Mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICSyN ![In: Third International Conference on Computational Intelligence, Communication Systems and Networks, CICSyN 2011, Bali, Indonesia, 26-28 July, 2011, pp. 209-212, 2011, IEEE Computer Society, 978-1-4577-0975-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
electronic travel aids, vision substitution, wavelet transform, edge detection, sonification |
27 | Li Kuang, Yingjie Xia, ShuiGuang Deng, Jian Wu 0001 |
Analyzing Behavioral Substitution of Web Services Based on Pi-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: IEEE International Conference on Web Services, ICWS 2010, Miami, Florida, USA, July 5-10, 2010, pp. 441-448, 2010, IEEE Computer Society, 978-0-7695-4128-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Services Substitution, p-calculus, Bi-simulation theory, Web Services, Behavioral Analysis |
27 | Xiaodan Liu, Ruoxing Luan, Cuicui Huang |
A Novel Encoding Method for Visual Two-Dimensional Barcode Using Pattern Substitution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MVHI ![In: 2010 International Conference on Machine Vision and Human-machine Interface, MVHI 2010, Kaifeng, China, April 24-25, 2010, pp. 662-665, 2010, IEEE Computer Soceity, 978-0-7695-4009-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
visual two-dimensional barcode, candidate pattern, pattern substitution, encoding, statistics |
27 | Dionysis Athanasopoulos, Apostolos V. Zarras, Valérie Issarny |
Service Substitution Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: ASE 2009, 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009, pp. 555-559, 2009, IEEE Computer Society, 978-0-7695-3891-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
service substitution, evolution, maintenance |
27 | Mauricio Ayala-Rincón, Fairouz Kamareddine |
Unification via se-style of explicit substitution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, Montreal, Canada, September 20-23, 2000, pp. 163-174, 2000, ACM, 1-58113-265-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
higher order unification, lambda-calculus, explicit substitution |
27 | Howard M. Heys, Stafford E. Tavares |
Avalanche Characteristics of Substitution-Permutation Encryption Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 44(9), pp. 1131-1139, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Avalanche, substitution-permutation encryption networks, cryptography, block ciphers, S-boxes |
27 | John B. Kam, George I. Davida |
Structured Design of Substitution-Permutation Encryption Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 28(10), pp. 747-753, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
substitution-permutation (SP) networks, Complete SP networks, encryption, data security, data encryption standard |
27 | Jeong-Yup Lee, Boris Solomyak |
Pure Point Diffractive Substitution Delone Sets Have the Meyer Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 39(1-3), pp. 319-338, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Taiga Takata, Yusuke Matsunaga |
Area recovery under depth constraint by Cut Substitution for technology mapping for LUT-based FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 13th Asia South Pacific Design Automation Conference, ASP-DAC 2008, Seoul, Korea, January 21-24, 2008, pp. 144-147, 2008, IEEE, 978-1-4244-1921-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Keith D. Cooper, Timothy J. Harvey, Todd Waterman |
An Adaptive Strategy for Inline Substitution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings, pp. 69-84, 2008, Springer, 978-3-540-78790-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Ryosuke Nakamura, Hideo Bannai, Shunsuke Inenaga, Masayuki Takeda |
Simple Linear-Time Off-Line Text Compression by Longest-First Substitution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCC ![In: 2007 Data Compression Conference (DCC 2007), 27-29 March 2007, Snowbird, UT, USA, pp. 123-132, 2007, IEEE Computer Society, 978-0-7695-2791-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 3212 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|