Search results for "substitution"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Lindsay Groves	Using Simple English Sentences to Call Procedures.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
19	JiDong Ge, Hao Hu 0001, Jian Lu 0001	Service Discovery and Substitution According to Inheritance of Behavior with Invariant Analysis.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
19	Xinxin Zhao, Liusheng Huang, Lingjun Li, Wei Yang 0011, Zhili Chen, Zhenshan Yu	Steganalysis on Character Substitution Using Support Vector Machine.	WKDD	2009	DBLP DOI BibTeX RDF
19	Jun Rekimoto	SenseableRays: opto-haptic substitution for touch-enhanced interactive spaces.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	digital micro-mirror device, time-modulated structured light, haptic interactions, interactive devices
19	Xueling Zheng, Liusheng Huang, Zhili Chen, Zhenshan Yu, Wei Yang 0011	Hiding Information by Context-Based Synonym Substitution.	IWDW	2009	DBLP DOI BibTeX RDF
19	Voula Gkatzidou, Elaine Pearson	A Transformation, Augmentation, Substitution Service (TASS) to Meet the Needs and Preferences of the Individual Learner.	ICALT	2009	DBLP DOI BibTeX RDF
19	Jonathan de Andrade Silva, Eduardo R. Hruschka	An Evolutionary Algorithm for Missing Values Substitution in Classification Tasks.	HAIS	2009	DBLP DOI BibTeX RDF	Clustering, Classification, Bioinformatics, Missing Values
19	Michalis Sfakakis, Sarantos Kapidakis	Semantic Based Substitution of Unsupported Access Points in the Library Meta-search Environments.	ECDL	2008	DBLP DOI BibTeX RDF
19	Ting Hu 0001, Wolfgang Banzhaf	Nonsynonymous to Synonymous Substitution Ratio ka/ks: Measurement for Rate of Evolution in Evolutionary Computation.	PPSN	2008	DBLP DOI BibTeX RDF
19	Michele Ruta, Tommaso Di Noia, Eugenio Di Sciascio, Massimo Paolucci 0001, Floriano Scioscia, Eufemia Tinelli	A semantic-based registry enabling discovery, composition and substitution of pervasive services.	MobiDE	2008	DBLP DOI BibTeX RDF
19	Leonardo Mendonça de Moura, Nikolaj S. Bjørner	Deciding Effectively Propositional Logic Using DPLL and Substitution Sets.	IJCAR	2008	DBLP DOI BibTeX RDF
19	Ting Hu 0001, Wolfgang Banzhaf	Measuring rate of evolution in genetic programming using amino acid to synonymous substitution ratio ka/ks.	GECCO	2008	DBLP DOI BibTeX RDF	ka/ks ratio, rate of evolution, genetic programming
19	Maria Karam, Frank A. Russo, Carmen Branje, Emily Price, Deborah I. Fels	Towards a model human cochlea: sensory substitution for crossmodal audio-tactile displays.	Graphics Interface	2008	DBLP BibTeX RDF
19	Dragan Bosnacki, Huub M. M. ten Eikelder, Marvin N. Steijaert, Erik P. de Vink	Stochastic Analysis of Amino Acid Substitution in Protein Synthesis.	CMSB	2008	DBLP DOI BibTeX RDF
19	Guido Bologna, Benoît Deville, Michel Vinckenbosch, Thierry Pun	A perceptual interface for vision substitution in a color matching experiment.	IJCNN	2008	DBLP DOI BibTeX RDF
19	Nicolas Ollinger	Two-by-Two Substitution Systems and the Undecidability of the Domino Problem.	CiE	2008	DBLP DOI BibTeX RDF
19	Yuri L. Borissov, Moon Ho Lee	Bounds on Key Appearance Equivocation for Substitution Ciphers.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
19	Lara Dolecek, Venkat Anantharam	Using Reed-Muller RM(1, m) Codes Over Channels With Synchronization and Substitution Errors.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
19	Frédéric Lang	Explaining the lazy Krivine machine using explicit substitution and addresses.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Call-by-need, Functional programming, Lazy evaluation, Abstract machine
19	Dirk Frettlöh, Bernd Sing	Computing Modular Coincidences for Substitution Tilings and Point Sets.	Discret. Comput. Geom.	2007	DBLP DOI BibTeX RDF
19	Nadia Nedjah, Luiza de Macedo Mourelle	Evolutionary Design of Resilient Substitution Boxes: From Coding to Hardware Implementation.	ICES	2007	DBLP DOI BibTeX RDF
19	David C. Trudgian, Zheng Rong Yang	Substitution Matrix Optimisation for Peptide Classification.	EvoBIO	2007	DBLP DOI BibTeX RDF
19	Steinar Thorvaldsen, Elinor Ytterstad, Tor Flå	Inferring Weak Adaptations and Selection Biases in Proteins from Composition and Substitution Matrices.	ISBRA	2007	DBLP DOI BibTeX RDF	Stratified data, Two-way ANOVA, Mantel-Haenszel test, cold adaptation
19	Aijiao Cui, Chip-Hong Chang	Watermarking for IP Protection through Template Substitution at Logic Synthesis Level.	ISCAS	2007	DBLP DOI BibTeX RDF
19	Yannick Chevalier, Mounira Kourjieh	Key Substitution in the Symbolic Analysis of Cryptographic Protocols.	FSTTCS	2007	DBLP DOI BibTeX RDF
19	Bernard Haasdonk, Hans Burkhardt	Classification with Invariant Distance Substitution Kernels.	GfKl	2007	DBLP DOI BibTeX RDF
19	Nikhil Joshi, Jayachandran Sundararajan, Kaijie Wu 0001, Bo Yang 0010, Ramesh Karri	Tamper Proofing by Design Using Generalized Involution-Based Concurrent Error Detection for Involutional Substitution Permutation and Feistel Networks.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	Subsitution Permutation Networks (SPN), ANUBIS, TwoFish, cryptography, Concurrent Error Detection (CED), tamper proofing, Feistel networks
19	Armin Kühnemann, Andreas Maletti	The Substitution Vanishes.	AMAST	2006	DBLP DOI BibTeX RDF
19	Suk-Ling Li, Kai-Chi Leung, Lee-Ming Cheng, Chi-Kwong Chan	Data Hiding in Images by Adaptive LSB Substitution Based on the Pixel-Value Differencing.	ICICIC (3)	2006	DBLP DOI BibTeX RDF
19	Jean-Philippe Boyer, Pierre Duhamel, Jacques Blanc-Talon	Spread-Spectrum Substitution watermarking Game.	ICME	2006	DBLP DOI BibTeX RDF
19	Mohammad Faisal Uddin, Amr M. Youssef	An Artificial Life Technique for the Cryptanalysis of Simple Substitution Ciphers.	CCECE	2006	DBLP DOI BibTeX RDF
19	Rongrong Ji, Hongxun Yao, Shaohui Liu, Liang Wang 0004	Genetic Algorithm Based Optimal Block Mapping Method for LSB Substitution.	IIH-MSP	2006	DBLP DOI BibTeX RDF	Block mapping, Genetic Algorithm, Steganography, LSB
19	Wei-Mou Zheng, Xin Liu	A Protein Structural Alphabet and Its Substitution Matrix CLESUM.	Trans. Comp. Sys. Biology	2005	DBLP DOI BibTeX RDF
19	Martin Gröger, Wolfgang Sepp, Gerd Hirzinger	Structure driven substitution of specular reflections for realtime heart surface tracking.	ICIP (2)	2005	DBLP DOI BibTeX RDF
19	Thomas Baignères, Serge Vaudenay	Proving the Security of AES Substitution-Permutation Network.	Selected Areas in Cryptography	2005	DBLP DOI BibTeX RDF	Linear Hulls, Provable Security, Differential Cryptanalysis, Differentials, Linear Cryptanalysis
19	Delia Kesner, Stéphane Lengrand	Extending the Explicit Substitution Paradigm.	RTA	2005	DBLP DOI BibTeX RDF
19	Nadia Nedjah, Luiza de Macedo Mourelle	Pareto-Optimal Hardware for Substitution Boxes.	ITCC (1)	2005	DBLP DOI BibTeX RDF
19	Élodie-Jane Sims	Extending Separation Logic with Fixpoints and Postponed Substitution.	AMAST	2004	DBLP DOI BibTeX RDF
19	Bernard Haasdonk, Claus Bahlmann	Learning with Distance Substitution Kernels.	DAGM-Symposium	2004	DBLP DOI BibTeX RDF
19	Ismail Khalil Ibrahim, Gabriele Kotsis, Reinhard Kronsteiner	Substitution Rules for the Verification of Norm-Compliance in Electronic Institutions.	WETICE	2004	DBLP DOI BibTeX RDF
19	J. C. Lagarias 0001, Yang Wang 0020	Substitution Delone Sets.	Discret. Comput. Geom.	2003	DBLP DOI BibTeX RDF
19	Ángel Mora 0001, Manuel Enciso, Pablo Cordero, Inmaculada Perez de Guzmán	An Efficient Preprocessing Transformation for Functional Dependencies Sets Based on the Substitution Paradigm.	CAEPIA	2003	DBLP DOI BibTeX RDF
19	Brigitte Pientka	Higher-Order Substitution Tree Indexing.	ICLP	2003	DBLP DOI BibTeX RDF
19	Ioannis Ch. Paschalidis, Yong Liu	Pricing in multiservice loss networks: static pricing, asymptotic optimality, and demand substitution effects.	IEEE/ACM Trans. Netw.	2002	DBLP DOI BibTeX RDF	welfare maximization, Internet, markov decision processes, pricing, loss networks, internet economics, revenue management
19	Toshiyasu Arai	Epsilon substitution method for theories of jump hierarchies.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
19	James Blow, Andy Galloway	Generalised Substitution Language and Differentials.	ZB	2002	DBLP DOI BibTeX RDF
19	Julien Forest	A Weak Calculus with Explicit Operators for Pattern Matching and Substitution.	RTA	2002	DBLP DOI BibTeX RDF
19	Renate Klempien-Hinrichs	Hyperedge Substitution in Basic Atom-Replacement Languages.	ICGT	2002	DBLP DOI BibTeX RDF
19	Dhananjai Madhava Rao, Philip A. Wilsey	Multi-Resolution Network Simulations Using Dynamic Component Substitution.	MASCOTS	2001	DBLP DOI BibTeX RDF
19	Peng Wu 0001, Albert Cohen 0001, Jay P. Hoeflinger, David A. Padua	Monotonic evolution: an alternative to induction variable substitution for dependence analysis.	ICS	2001	DBLP DOI BibTeX RDF
19	Walid Al-Ahmad	On the Interaction of Programming by Contract and Liskov Substitution Principle.	AICCSA	2001	DBLP DOI BibTeX RDF
19	Liam Keliher, Henk Meijer, Stafford E. Tavares	Modeling Linear Characteristics of Substitution-Permutation Networks.	Selected Areas in Cryptography	1999	DBLP DOI BibTeX RDF
19	Zhi-Guo Chen, Stafford E. Tavares	Toward Provable Security of Substitution-Permutation Encryption Networks.	Selected Areas in Cryptography	1998	DBLP DOI BibTeX RDF	XOR table, block cipher, provable security, nonlinearity, differential attack
19	Arnold Schönhage	Multiplicative Complexity of Taylor Shifts and a New Twist of the Substitution Method.	FOCS	1998	DBLP DOI BibTeX RDF
19	Carroll Morgan	The Generalised Substitution Language Extended to Probabilistic Programs.	B	1998	DBLP DOI BibTeX RDF	GSL, Probability, weakest preconditions, B, program correctness, generalised substitutions
19	Alasdair Urquhart	The number of lines in Frege proofs with substitution.	Arch. Math. Log.	1997	DBLP DOI BibTeX RDF
19	Peter Graf	Substitution Tree Indexing.	RTA	1995	DBLP DOI BibTeX RDF
19	Howard M. Heys, Stafford E. Tavares	The Design of Substitution-Permutation Networks Resistant to Differential and Linear Cryptanalysis.	CCS	1994	DBLP DOI BibTeX RDF
19	Jennifer Seberry, Xian-Mo Zhang, Yuliang Zheng 0001	Pitfalls in Designing Substitution Boxes (Extended Abstract).	CRYPTO	1994	DBLP DOI BibTeX RDF
19	David Stevens	Variable Substitution with Iconic Combinators.	MFCS	1993	DBLP DOI BibTeX RDF
19	Zinovy Diskin, Ilya Beylin	Lambda Substitution Algebras.	MFCS	1993	DBLP DOI BibTeX RDF
19	Ahmed Louri	A Symbolic Substitution Based Parallel Architecture and Algorithms for High-speed Parallel Processing.	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
19	Gen-Lin Tan, Shao-Wei Pan, Walter H. Ku, An-Jui Shey	ADIC-2.C a general-purpose optimization program suitable for integrated circuit design applications using the pseudo objective function substitution method (POSM).	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1988	DBLP DOI BibTeX RDF
19	Michael Lucks	A Constraint Satisfaction Algorithm for the Automated Decryption of Simple Substitution Ciphers.	CRYPTO	1988	DBLP DOI BibTeX RDF
19	Robert Meersman, Grzegorz Rozenberg	Two-Level Meta-Controlled Substitution Grammars.	MFCS	1977	DBLP DOI BibTeX RDF
15	Fang-jun Luan, Lan Lin, Yong-hui Wang	4-Step Face Authentication Algorithm Based on SVM.	IITSI	2010	DBLP DOI BibTeX RDF	Fisher Linear Substitution, Support Vector Machine, Principal Component Analysis, Wavelet Transformation, Face Authentication
15	Alfonso Muñoz Muñoz, Justo Carracedo Gallardo, Irina Arguelles Álvarez	Measuring the Security of Linguistic Steganography in Spanish based on Synonymous Paraphrasing with WSD.	CIT	2010	DBLP DOI BibTeX RDF	synonym substitution, WSD, Spanish language, linguistic steganography
15	Hao-peng Chen, Guang Yang, Can Zhang	A Closed-Loop Mechanism for Service Evaluating and Discovering on the Internet.	NCM	2009	DBLP DOI BibTeX RDF	dynamic substitution, QoS, evaluation, SOA, discovery, closed-loop
15	Edward B. Allen, Maheshwar Chandrasekar, Karolina A. Sarnowska	C preprocessor use in numerical tools: an empirical analysis.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	C preprocessor, file inclusion, macro substitution, C++, empirical study, C, macro, conditional compilation, cpp
15	Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani	A type system for data-flow integrity on Windows Vista.	ACM SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	data-flow integrity, hybrid type system, explicit substitution, dynamic access control
15	Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani	A type system for data-flow integrity on windows vista.	PLAS	2008	DBLP DOI BibTeX RDF	data-flow integrity, hybrid type system, explicit substitution, dynamic access control
15	Shuichi Ino, Takeshi Homma, Takashi Izumi	Psychophysical Measurement of Multiple Tactile Sensations Using a Broadband Vibrotactile Display.	ISUC	2008	DBLP DOI BibTeX RDF	Tactile Display, Tactile Sensation, Sensory Substitution, Piezoelectric Actuator, Voice Quality
15	Michalis Sfakakis, Sarantos Kapidakis	Enhance the interoperability of the library search systems with zSAPN.	PETRA	2008	DBLP DOI BibTeX RDF	semantic access point substitution, interoperability, Z39.50
15	Jean-Guillaume Dumas	Q-adic transform revisited.	ISSAC	2008	DBLP DOI BibTeX RDF	dqt (discrete q-adic transform), fqt (fast q-adic transform), kronecker substitution, modular polynomial multiplication, redq (simultaneous modular reduction), small extension field, finite field
15	Jeremy E. Dawson	Formalising Generalised Substitutions.	TPHOLs	2007	DBLP DOI BibTeX RDF	general correctness, generalised substitution
15	Kentaro Kikuchi	Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus.	CiE	2007	DBLP DOI BibTeX RDF	?-calculus, Sequent calculus, Cut-elimination, Confluence, Explicit substitution
15	Jacob O. Wobbrock, Brad A. Myers	Analyzing the input stream for character- level errors in unconstrained text entry evaluations.	ACM Trans. Comput. Hum. Interact.	2006	DBLP DOI BibTeX RDF	input stream, minimum string distance, nonrecognition, optimal alignment, presented string, recognizer, stream alignment, transcribed string, gesture, character recognition, Text entry, text input, stroke, error rate, insertion, deletion, substitution, confusion matrix, EdgeWrite, omission
15	Ernst Kruijff, Gerold Wesche, Kai Riege, Gernot Goebbels, Martijn Kunstman, Dieter Schmalstieg	Tactylus, a pen-input device exploring audiotactile sensory binding.	VRST	2006	DBLP DOI BibTeX RDF	audiotactile feedback, 3D user interfaces, substitution, sensory
15	Xiaoning Feng, Qun Liu, Zhuo Wang 0008	AUV Modeling and Analysis using a Colored Object-Oriented Petri Net.	IMSCCS (2)	2006	DBLP DOI BibTeX RDF	Colored Object-Oriented Petri Net (COOPN), Colored Petri Net Modeling Language (CPN ML), substitution transition, reachable tree
15	Mamoun S. Al Rababaa	Structural Models and Topology Design of Rapid Neural Networks.	CGIV	2005	DBLP DOI BibTeX RDF	rapid algorithm, partial reflection, neural networks, network topology, substitution, structural model
15	Marc Chemillier	Toward a formal study of jazz chord sequences generated by Steedman's grammar.	Soft Comput.	2004	DBLP DOI BibTeX RDF	chord sequence, harmonic substitution, real-time, improvisation, rewrite rule, Formal grammar, jazz
15	Mounia Ziat, Olivier Gapenne, Charles Lenay, John Stewart	Acuité perceptive via une interface pseudo-haptique.	IHM	2004	DBLP DOI BibTeX RDF	acuity, perceptual training, graphical interface, sensory substitution
15	Richard Harper 0001, Venetia Evergeti, Lynne Hamill, B. Shatwell	The social organisation of communication in the home of the twenty-first century: an analysis of the future of paper-mail and implications for the design of electronic alternatives.	Cogn. Technol. Work.	2003	DBLP DOI BibTeX RDF	Affordances Ethnography Design Mail substitution Paper mail Qualitative research
15	Kazufumi Ito, Zhilin Li 0002	Solving a Nonlinear Problem in Magneto-Rheological Fluids Using the Immersed Interface Method.	J. Sci. Comput.	2003	DBLP DOI BibTeX RDF	non-linear interface problem, magneto-rheological fluid, maximum principal preserving scheme, immersed interface method, level set method, substitution method
15	Ion Mierlus-Mazilu	On simulating D - distributions.	Oper. Res.	2003	DBLP DOI BibTeX RDF	D - distributions, substitution sampling, acceptance-rejection algorithm, simulation tehniques, gamma distribution
15	Xiaofang Wang, Sotirios G. Ziavras	Parallel Direct Solution of Linear Equations on FPGA-Based Machines.	IPDPS	2003	DBLP DOI BibTeX RDF	forward/backward substitution, FPGA, parallel processing, SOPC, LU factorization
15	John Power	A unified category theoretic approach to variable binding.	MERLIN	2003	DBLP DOI BibTeX RDF	binding signature, pseudo-distributive law, substitution monoidal structure, variable binding, pseudo-monad
15	George Voutsadakis	Categorical Abstract Algebraic Logic: Algebraizable Institutions.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	equivalent deductive systems, equivalent institutions, algebraic institutions, equivalent categories, algebraizable institutions, clone algebras, substitution algebras, polyadic algebras, diagram-based logics, first-order logic, monads, institutions, equational logic, algebraic logic, algebraizable logics, adjunctions, algebraic theories, cylindric algebras, triples
15	Michael D. Ernst, Greg J. Badros, David Notkin	An Empirical Analysis of C Preprocessor Use.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	C preprocessor, macro substitution, file inclusion, C++, empirical study, C, program understanding, macro, conditional compilation, Cpp
15	Hung Ledang, Jeanine Souquières	Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B.	APSEC	2002	DBLP DOI BibTeX RDF	OCL operation, B expression, B generalised substitution, UML, OCL
15	Markus Bläser	Lower bounds for the bilinear complexity of associative algebras.	Comput. Complex.	2000	DBLP DOI BibTeX RDF	Associative algebras, lower bound, rank, matrix multiplication, substitution method, bilinear complexity
15	Ting Yu, Owen Kaser	A Note on "On the Conversion of Indirect to Direct Recursion".	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	inline substitution, procedure inlining, call graphs
15	József Békési, Gábor Galambos, Ulrich Pferschy, Gerhard J. Woeginger	The Fractional Greedy Algorithm for Data Compression.	Computing	1996	DBLP DOI BibTeX RDF	Optimal and heuristic encoding, textual substitution, shortest paths
15	Alain Cournier, Michel Habib	A New Linear Algorithm for Modular Decomposition.	CAAP	1994	DBLP DOI BibTeX RDF	autonomous subsets, clans, graph decomposition trees, vertex-splitting. cotrees, Graphs, modules, substitution, cographs, prime graphs
15	Owen Kaser, C. R. Ramakrishnan 0001, Shaunak Pawagi	On the Conversion of Indirect to Direct Recursion.	LOPLAS	1993	DBLP DOI BibTeX RDF	inline substitution, procedure inlining, theory, call graphs, mutual recursion
15	Jyrki Katajainen, Timo Raita	An Analysis of the Longest Match and the Greedy Heuristics in Text Encoding.	J. ACM	1992	DBLP DOI BibTeX RDF	optimal and heuristic encoding, textual substitution, shortest paths
15	Constantine Halatsis, Maria Sigala, George Philokyprou	Polylinear Decomposition of Synchronous Sequential Machines.	IEEE Trans. Computers	1978	DBLP DOI BibTeX RDF	synchronous sequential machines, Backward state transition function, connected class, lattice of partitions with substitution property, periodic decomposition, polylinear decomposition, strongly connected class, state minimization
15	Roger W. Ehrich, Kenneth J. Koehler	Experiments in the Contextual Recognition of Cursive Script.	IEEE Trans. Computers	1975	DBLP DOI BibTeX RDF	Admissible sequence, binary diagram, Neyman-Pearson, segment mark, substitution set, pattern recognition, context, correlator, dictionary, likelihood ratio, cursive script
15	Ewald von Puttkamer	A Simple Hardware Buddy System Memory Allocator.	IEEE Trans. Computers	1975	DBLP DOI BibTeX RDF	Binary tree representations, buddy system reprerentations, hardware: substitution of software, operating systems: memory allocation
15	Huaxi (Yulin) Zhang, Christelle Urtado, Sylvain Vauttier	Connector-Driven Process for the Gradual Evolution of Component-Based Software.	Australian Software Engineering Conference	2009	DBLP DOI BibTeX RDF