|
|
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. |
Knowl. Inf. Syst. |
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. |
KDD Workshop on Statistical and Relational Learning in Bioinformatics |
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. |
ICDM |
2002 |
DBLP DOI BibTeX RDF |
|
78 | Hakon N. Jendal, Yves J. B. Kuhn, James L. Massey |
An Information-Theoretic Treatment of Homophonic Substitution. |
EUROCRYPT |
1989 |
DBLP DOI BibTeX RDF |
|
71 | Murdoch James Gabbay, Aad Mathijssen |
Capture-avoiding substitution as a nominal algebra. |
Formal Aspects Comput. |
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. |
EvoWorkshops |
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. |
AWCC |
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. |
ICPADS (2) |
2005 |
DBLP DOI BibTeX RDF |
|
71 | Shih-Chieh Chang, David Ihsin Cheng |
Efficient Boolean division and substitution using redundancy addition and removing. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1999 |
DBLP DOI BibTeX RDF |
|
63 | Ferdinand Hommes |
The heap/substitution concept - an implementation of functional operations on data structures for a reduction machine. |
ISCA |
1982 |
DBLP BibTeX RDF |
|
60 | Sari Haj Hussein |
The hush cryptosystem. |
SIN |
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. |
Discret. Comput. Geom. |
2003 |
DBLP DOI BibTeX RDF |
|
56 | Shih-Chieh Chang, David Ihsin Cheng |
Efficient Boolean Division and Substitution. |
DAC |
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. |
Formal Methods Syst. Des. |
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. |
IWINAC (2) |
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. |
ICISC |
2001 |
DBLP DOI BibTeX RDF |
Substitution-Permutation(SP) Networks, Subtitution Distance, Cryptanalysis, Rijndael |
49 | Hans Vandierendonck, Hans Logie, Koenraad De Bosschere |
Trace Substitution. |
Euro-Par |
2003 |
DBLP DOI BibTeX RDF |
|
49 | Annie Foret |
On Mixing Deduction and Substitution in Lambek Categorial Grammars. |
LACL |
2001 |
DBLP DOI BibTeX RDF |
|
45 | Marcelo P. Fiore |
Second-Order and Dependently-Sorted Abstract Syntax. |
LICS |
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. |
EUROCRYPT |
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. |
ICDAR |
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. |
High. Order Symb. Comput. |
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. |
PPDP |
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. |
ACM Trans. Math. Softw. |
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. |
PerCom Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Nan Jiang, Wendy Xinyu Wu, Ian Mitchell 0002 |
Protein Fold Recognition Using Neural Networks and Support Vector Machines. |
IDEAL |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Zoltán Fülöp 0001, Heiko Vogler |
Tree Series Transformations that Respect Copying. |
Theory Comput. Syst. |
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. |
SIGIR |
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?. |
ASCM |
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. |
Int. J. Inf. Sec. |
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. |
IEEE Trans. Pattern Anal. Mach. Intell. |
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. |
PAKDD |
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. |
IEEE SCC |
2009 |
DBLP DOI BibTeX RDF |
|
41 | Yehia Taher, Djamal Benslimane, Marie-Christine Fauvet, Zakaria Maamar |
Towards an Approach forWeb services Substitution. |
IDEAS |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Murdoch Gabbay, Aad Mathijssen |
Capture-Avoiding Substitution as a Nominal Algebra. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Daniel Leivant, Jean-Yves Marion |
Ramified Recurrence and Computational Complexity II: Substitution and Poly-Space. |
CSL |
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. |
ACM Great Lakes Symposium on VLSI |
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. |
HAID |
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. |
MM&Sec |
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. |
ZB |
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. |
CSL |
1994 |
DBLP DOI BibTeX RDF |
|
37 | Edgar Knapp |
Soundness and Completeness of UNITY Logic. |
FSTTCS |
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. |
PETRA |
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. |
BCS HCI |
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. |
GECCO |
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. |
ICUIMC |
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. |
SIGUCCS |
2007 |
DBLP DOI BibTeX RDF |
student assistant, schedule, database, substitution, staffing, student worker |
35 | Tatsuo Arai |
Epsilon substitution method for [Pi01, Pi01]-FIX. |
Arch. Math. Log. |
2005 |
DBLP DOI BibTeX RDF |
Epsilon substitution, Ordinal interpretation, Termination proof |
35 | Henry Towsner |
Epsilon substitution for transfinite induction. |
Arch. Math. Log. |
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. |
PLILP |
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. |
IEEE Trans. Pattern Anal. Mach. Intell. |
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. |
IAS |
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. |
MCS |
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. |
Innovations in Hybrid Intelligent Systems |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Jörg Endrullis, Roel C. de Vrijer |
Reduction Under Substitution. |
RTA |
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. |
ISVLSI |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Ahmet Sacan, Ismail Hakki Toroslu |
Amino Acid Substitution Matrices Based on 4-Body Delaunay Contact Profiles. |
BIBE |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Nicolas Desnos, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Guy Tremblay |
Automated and Unanticipated Flexible Component Substitution. |
CBSE |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Antony Powell, John Murdoch, Nick Tudor |
Modeling Risk-Benefit Assumptions in Technology Substitution. |
ICSP |
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. |
Discret. Comput. Geom. |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Lila Kari, Stavros Konstantinidis, Petr Sosík |
Substitution on Trajectories. |
Theory Is Forever |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Atanas Rountev, Satish Chandra 0001 |
Off-line variable substitution for scaling points-to analysis. |
PLDI |
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. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
30 | Michael S. Schlansker, Vinod Kathail, Sadun Anik |
Height reduction of control recurrences for ILP processors. |
MICRO |
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. |
CHI Extended Abstracts |
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. |
WSDM |
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. |
CiE |
2008 |
DBLP DOI BibTeX RDF |
lambda-calculus, explicit substitution, principal typings |
30 | Andreas Abel 0001, Dulma Rodriguez |
Syntactic Metatheory of Higher-Order Subtyping. |
CSL |
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. |
ICISS |
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. |
ICIC (3) |
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. |
GTIT-C |
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. |
WWW |
2006 |
DBLP DOI BibTeX RDF |
query substitution, sponsored search, query rewriting, paraphrasing |
30 | Yusr Amamou, John Stewart |
Analyse descriptive de trajectories perceptives. |
IHM |
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. |
LCTES |
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. |
ICISC |
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. |
RECOMB |
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. |
OOIS |
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. |
CAiSE |
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. |
WG |
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. |
EWSL |
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. |
Australasian Conference on Artificial Intelligence |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Jürgen Dassow, Bianca Truthe |
On the Power of Networks of Evolutionary Processors. |
MCU |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Waraporn Parasuk, Vudhichai Parasuk |
Ab initio Study of Chiral Recognition of beta-Butyrolactone by Cyclodextrins. |
International Conference on Computational Science (3) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Rongde Lu, An Lu |
Applications of the Superposition Theorem to Nonlinear Resistive Circuits. |
APCCAS |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Christian Urban, Andrew M. Pitts, Murdoch Gabbay |
Nominal Unificaiton. |
CSL |
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. |
Australian Conference on Artificial Intelligence |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Daniel J. Dougherty, Pierre Lescanne |
Reductions, Intersection Types, and Explicit Substitutions. |
TLCA |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Masahiko Sato 0001, Takafumi Sakurai, Yukiyoshi Kameyama |
A Simply Typed Context Calculus with First-Class Environments. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Anthony J. Bonner |
The Complexity of Reusing and Modifying Rulebases. |
PODS |
1992 |
DBLP DOI BibTeX RDF |
Datalog |
27 | Yanan Tian |
A Vision Substitution Method for the Blind Based on Image Edge Detection and Sound Mapping. |
CICSyN |
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. |
ICWS |
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. |
MVHI |
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. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
service substitution, evolution, maintenance |
27 | Mauricio Ayala-Rincón, Fairouz Kamareddine |
Unification via se-style of explicit substitution. |
PPDP |
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. |
IEEE Trans. Computers |
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. |
IEEE Trans. Computers |
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. |
Discret. Comput. Geom. |
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. |
ASP-DAC |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Keith D. Cooper, Timothy J. Harvey, Todd Waterman |
An Adaptive Strategy for Inline Substitution. |
CC |
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. |
DCC |
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][ >>] |
|