Search results for "substitutions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
78	Flávio L. C. de Moura, Fairouz Kamareddine, Mauricio Ayala-Rincón	Second-Order Matching via Explicit Substitutions.	LPAR	2004	DBLP DOI BibTeX RDF	Higher-Order Unification, Second-Order Matching, Explicit Substitutions
77	Steve Dunne	A Theory of Generalised Substitutions.	ZB	2002	DBLP DOI BibTeX RDF
77	Delia Kesner, Pablo E. Martínez López	Explicit Substitutions for Objects and Functions.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
68	Adrian Schneider, Gaston H. Gonnet, Gina Cannarozzi	SynPAM-A Distance Measure Based on Synonymous Codon Substitutions.	IEEE ACM Trans. Comput. Biol. Bioinform.	2007	DBLP DOI BibTeX RDF	synonymous substitutions, evolutionary distance, SynPAM, dS, molecular evolution
68	Neil Ghani, Tarmo Uustalu, Makoto Hamana	Explicit substitutions and higher-order syntax.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Algebras, Monads, Abstract syntax, Explicit substitutions, Variable binding
68	Neil Ghani, Tarmo Uustalu	Explicit substitutions and higher-order syntax.	MERLIN	2003	DBLP DOI BibTeX RDF	algebras, monads, abstract syntax, explicit substitutions, variable binding
68	Maria C. F. Ferreira, Delia Kesner, Laurence Puel	lambda-Calculi with Explicit Substitutions Preserving Strong Normalization.	Appl. Algebra Eng. Commun. Comput.	1999	DBLP DOI BibTeX RDF	Preservation of strong normalization, ?-Calculus, Explicit substitutions
58	Pierre-Louis Curien, Thérèse Hardin, Jean-Jacques Lévy	Confluence Properties of Weak and Strong Calculi of Explicit Substitutions.	J. ACM	1996	DBLP DOI BibTeX RDF	confluency, explicit substitutions
57	José Espírito Santo	Delayed Substitutions.	RTA	2007	DBLP DOI BibTeX RDF
57	Jean-Jacques Lévy, Luc Maranget	Explicit Substitutions and Programming Languages.	FSTTCS	1999	DBLP DOI BibTeX RDF
57	Bruce J. McAdam	On the Unification of Substitutions in Type Interfaces.	IFL	1998	DBLP DOI BibTeX RDF
50	Martha A. Larson, Manos Tsagkias, Jiyin He, Maarten de Rijke	Investigating the Global Semantic Impact of Speech Recognition Error on Spoken Content Collections.	ECIR	2009	DBLP DOI BibTeX RDF
50	Peter Graf, Christoph Meyer 0001	Advanced Indexing Operations on Substitution Trees.	CADE	1996	DBLP DOI BibTeX RDF
48	Yuichi Kaji, Toru Fujiwara, Tadao Kasami	Solving a Unification Problem under Constrained Substitutions Using Tree Automata.	FSTTCS	1994	DBLP DOI BibTeX RDF	unification problems, constrained substitutions, tree automata, term rewriting systems
47	Delia Kesner	The Theory of Calculi with Explicit Substitutions Revisited.	CSL	2007	DBLP DOI BibTeX RDF
47	Steve Dunne	Understanding Object-Z Operations as Generalised Substitutions.	IFM	2004	DBLP DOI BibTeX RDF
47	Juhani Karhumäki, Leonid P. Lisovik	A Simple Undecidable Problem: The Inclusion Problem for Finite Substitutions on ab*c.	STACS	2001	DBLP DOI BibTeX RDF
47	Eike Ritter	Characterising Explicit Substitutions which Preserve Termination.	TLCA	1999	DBLP DOI BibTeX RDF
47	Maria C. F. Ferreira, Delia Kesner, Laurence Puel	Lambda-Calculi with Explicit Substitutions and Composition Which Preserve Beta-Strong Normalization.	ALP	1996	DBLP DOI BibTeX RDF
43	Jeremy E. Dawson	Compound monads in specification languages.	PLPV	2007	DBLP DOI BibTeX RDF	angelic choice, compound monads, demonic choice, distributive law for monads, extended substitutions, specification languages, generalised substitutions
41	Malgorzata Biernacka, Olivier Danvy	A concrete framework for environment machines.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	closures, derivation, Abstract machines, explicit substitutions
41	Maribel Fernández, Ian Mackie, François-Régis Sinot	Lambda-Calculus with Director Strings.	Appl. Algebra Eng. Commun. Comput.	2005	DBLP DOI BibTeX RDF	Director Strings, Strategies, Calculus, Explicit Substitutions
40	David S. Campo, Zoya Dimitrova, Yuri Khudyakov	Physicochemical Correlation between Amino Acid Sites in Short Sequences under Selective Pressure.	ISBRA	2008	DBLP DOI BibTeX RDF	physicochemical properties, selection, covariation, amino acid
40	Béatrice Bérard, Paul Gastin, Antoine Petit 0001	Refinements and Abstractions of Signal-Event (Timed) Languages.	FORMATS	2006	DBLP DOI BibTeX RDF
40	Michal Lapidot, Yitzhak Pilpel	Characterization of the Effects of TF Binding Site Variations on Gene Expression Towards Predicting the Functional Outcomes of Regulatory SNPs.	Systems Biology and Regulatory Genomics	2005	DBLP DOI BibTeX RDF
40	Venkatesh Choppella	Polymorphic Type Reconstruction Using Type Equations.	IFL	2003	DBLP DOI BibTeX RDF
39	Rong-Jian Chen, Jui-Lin Lai	Novel Stream Cipher Using 2-D Hybrid CA and Variable Ordered Recursive CA Substitutions.	NPC Workshops	2008	DBLP DOI BibTeX RDF	2-D hybrid CA, Variable ordered recursive CA substitutions, Image security system, Stream cipher, Data security
39	Dmitri Roussinov, SzeWang Fong, David B. Skillicorn	Detecting word substitutions: PMI vs. HMM.	SIGIR	2007	DBLP DOI BibTeX RDF	detecting substitutions, security informatics, text oddity, text mining
39	Christian Choffrut	Iterated Substitutions and Locally Catanative Systems: A Decidability Result in the Binary Case.	ICALP	1990	DBLP DOI BibTeX RDF	substitutions in the free monoids, DOL-systems, DOL-sequences, linear recurrence equations, locally catenative systems, finite deciphering delay of codes, equations in words
37	SzeWang Fong, Dmitri Roussinov, David B. Skillicorn	Detecting Word Substitutions in Text.	IEEE Trans. Knowl. Data Eng.	2008	DBLP DOI BibTeX RDF
37	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
37	Jeremy E. Dawson	Formalising Generalised Substitutions.	TPHOLs	2007	DBLP DOI BibTeX RDF	general correctness, generalised substitution
37	Thomas Fernique	Bidimensional Sturmian Sequences and Substitutions.	Developments in Language Theory	2005	DBLP DOI BibTeX RDF
37	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
37	Claude Kirchner, Christophe Ringeissen	Higher-Order Equational Unification via Explicit Substitutions.	ALP/HOA	1997	DBLP DOI BibTeX RDF
37	Roberto Di Cosmo, Delia Kesner	Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (Extended Abstract).	LICS	1997	DBLP DOI BibTeX RDF
37	Delia Kesner	Confluence Properties of Extensional and Non-Extensional lambda-Calculi with Explicit Substitutions (Extended Abstract).	RTA	1996	DBLP DOI BibTeX RDF
37	Thérèse Hardin	Eta-conversion for the Languages of Explicit Substitutions.	ALP	1992	DBLP DOI BibTeX RDF
37	Martín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lévy	Explicit Substitutions.	POPL	1990	DBLP DOI BibTeX RDF
34	Pablo Barenbaum	Dynamic Semantics of Calculi with Explicit Substitutions at a Distance. (Semántica dinámica de cálculos de sustituciones explícitas a distancia / Sémantique dynamique des calculs avec substitutions explicites à distance).		2020	RDF
34	Romain Kervarc	Systèmes de types purs et substitutions explicites. (Pure type systems and explicit substitutions).		2007	RDF
31	Jean-François Couchot, Alain Giorgetti, Nikolai Kosmatov	A uniform deductive approach for parameterized protocol safety.	ASE	2005	DBLP DOI BibTeX RDF	generalized substitutions, safety, assertion, symbolic model checking, reachability
31	Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan	Probabilistic Invariants for Probabilistic Machines.	ZB	2003	DBLP DOI BibTeX RDF	the B Method (B), Probability, probabilistic algorithms, weakest preconditions, program correctness, generalised substitutions
31	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
30	Beniamino Accattoli, Stefano Guerrini	Jumping Boxes.	CSL	2009	DBLP DOI BibTeX RDF
30	Ting Hu 0001, Wolfgang Banzhaf	The Role of Population Size in Rate of Evolution in Genetic Programming.	EuroGP	2009	DBLP DOI BibTeX RDF
30	Horatiu Cirstea, Germain Faure, Claude Kirchner	A rho-calculus of explicit constraint application.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Rewriting calculus, Explicit matching, Pattern matching, Explicit substitution
30	Stoyan Mihov, Petar Mitankin, Annette Gotscharek, Ulrich Reffle, Klaus U. Schulz, Christoph Ringlstetter	Using Automated Error Profiling of Texts for Improved Selection of Correction Candidates for Garbled Tokens.	Australian Conference on Artificial Intelligence	2007	DBLP DOI BibTeX RDF
30	Frank Pfenning	Towards a type theory of contexts.	MERLIN	2005	DBLP DOI BibTeX RDF
30	Natalie Priebe Frank	Detecting Combinatorial Hierarchy in Tilings Using Derived Voronoi Tessellations.	Discret. Comput. Geom.	2003	DBLP DOI BibTeX RDF
30	Jin Uemura, Masako Sato	Learning of Erasing Primitive Formal Systems from Positive Examples.	ALT	2003	DBLP DOI BibTeX RDF
30	Juan Bicarregui	Do Not Read This.	FME	2002	DBLP DOI BibTeX RDF
30	Nikolaj S. Bjørner, César A. Muñoz	Absolute Explicit Unification.	RTA	2000	DBLP DOI BibTeX RDF
30	Serenella Cerrito, Delia Kesner	Pattern Matching as Cut Elimination.	LICS	1999	DBLP DOI BibTeX RDF
30	Sally A. Goldman, Stephen Kwek	On Learning Unions of Pattern Languages and Tree Patterns.	ALT	1999	DBLP DOI BibTeX RDF
30	Maribel Fernández, Ian Mackie	Closed Reductions in the lambda-Calculus.	CSL	1999	DBLP DOI BibTeX RDF
30	Leo Bachmair, Ta Chen, C. R. Ramakrishnan 0001, I. V. Ramakrishnan	Subsumption Algorithms Based on Search Trees.	CAAP	1996	DBLP DOI BibTeX RDF
30	Susumu Yamasaki	Extraction of Functional from Logic Program.	PLILP	1991	DBLP DOI BibTeX RDF
30	Klaus Hülsmann, Gunter Saake	Representation of the Historical Information Necessary for Temporal Integrity Monitoring.	EDBT	1990	DBLP DOI BibTeX RDF
30	Susumu Yamasaki	Dataflow for Logic Program as Substitution Manipulator.	ISSAC	1990	DBLP DOI BibTeX RDF
27	Wolfram Kahl	Determinisation of Relational Substitutions in Ordered Categories with Domain.	RelMiCS	2008	DBLP DOI BibTeX RDF
27	Brigitte Pientka	A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions.	POPL	2008	DBLP DOI BibTeX RDF	type system, logical frameworks
27	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
27	Michal Kunc	The Simplest Language Where Equivalence of Finite Substitutions Is Undecidable.	FCT	2007	DBLP DOI BibTeX RDF
27	Rosie Jones, Benjamin Rey, Omid Madani, Wiley Greiner	Generating query substitutions.	WWW	2006	DBLP DOI BibTeX RDF	query substitution, sponsored search, query rewriting, paraphrasing
27	Jim Dowd, Shouhuai Xu, Weining Zhang	Privacy-Preserving Decision Tree Mining Based on Random Substitutions.	ETRICS	2006	DBLP DOI BibTeX RDF	data mining, decision tree, Privacy-preservation, matrix, perturbation
27	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
27	Emmanuel Polonowski	Strong Normalization of lambda-mu-mu/tilde-Calculus with Explicit Substitutions.	FoSSaCS	2004	DBLP DOI BibTeX RDF
27	Lila Kari, Stavros Konstantinidis, Petr Sosík	Substitutions, Trajectories and Noisy Channels.	CIAA	2004	DBLP DOI BibTeX RDF
27	Eduardo Bonelli	A Normalisation Result for Higher-Order Calculi with Explicit Substitutions.	FoSSaCS	2003	DBLP DOI BibTeX RDF
27	Juhani Karhumäki, Leonid P. Lisovik	The Equivalence Problem of Finite Substitutions on ab*c, with Applications.	ICALP	2002	DBLP DOI BibTeX RDF
27	Dhananjai Madhava Rao, Philip A. Wilsey	Web-based simulation 2: performance prediction of dynamic component substitutions.	WSC	2002	DBLP DOI BibTeX RDF
27	Steffen van Bakel, Mariangiola Dezani-Ciancaglini	Characterising Strong Normalisation for Explicit Substitutions.	LATIN	2002	DBLP DOI BibTeX RDF
27	Roberto Di Cosmo, Delia Kesner, Emmanuel Polonowski	Proof Nets and Explicit Substitutions.	FoSSaCS	2000	DBLP DOI BibTeX RDF
27	Eduardo Bonelli	Using Fields and Explicit Substitutions to Implement Objects and Functions in a de Bruijn Setting.	CSL	1999	DBLP DOI BibTeX RDF
27	Neil Ghani, Valeria de Paiva, Eike Ritter	Explicit Substitutions for Constructive Necessity.	ICALP	1998	DBLP DOI BibTeX RDF
27	Gilles Barthe, Fairouz Kamareddine, Alejandro Ríos 0001	Explicit Substitutions for the Lambda-Calculus.	ALP/HOA	1997	DBLP DOI BibTeX RDF
27	Marek A. Bednarczyk	Logic of Predicates with Explicit Substitutions.	MFCS	1996	DBLP DOI BibTeX RDF
27	Fairouz Kamareddine, Alejandro Ríos 0001	A Lambda-Calculus à la de Bruijn with Explicit Substitutions	PLILP	1995	DBLP DOI BibTeX RDF
27	Pierre Lescanne	From Lambda-sigma to Lambda-upsilon a Journey Through Calculi of Explicit Substitutions.	POPL	1994	DBLP DOI BibTeX RDF
27	Catuscia Palamidessi	Algebraic Properties of Idempotent Substitutions.	ICALP	1990	DBLP DOI BibTeX RDF
21	Zena M. Ariola, Aaron Bohannon, Amr Sabry	Sequent calculi and abstract machines.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	Krivine machine, duality, explicit substitutions, natural deduction, Curry-Howard isomorphism
21	Valérie Berthé	Arithmetic Discrete Planes Are Quasicrystals.	DGCI	2009	DBLP DOI BibTeX RDF	arithmetic discrete planes, word combinatorics, quasicrystals, tilings, substitutions, digital planes
21	Guillaume Burel	A First-Order Representation of Pure Type Systems Using Superdeduction.	LICS	2008	DBLP DOI BibTeX RDF	lambda-calculus with explicit substitutions, natural deduction vs. sequent calculus, first-order logic, logical frameworks, deduction modulo
21	Krishna M. Roskin, Mark Diekhans, David Haussler	Scoring two-species local alignments to try to statistically separate neutrally evolving from selected DNA segments.	RECOMB	2003	DBLP DOI BibTeX RDF	CpG effect, ancestral repeat, context-dependent base substitutions, dinucleotide dependence, fraction of human genome under selection, mouse-human alignments, neutral evolution, mutual information, comparative genomics, evolutionary models
21	Jorge Llacer, Eugene Veklerov, Jorge Núñez de Murga	Preliminary Examination of the Use of Case Specific Medical Information as "prior" in Bayesian Reconstruction.	IPMI	1991	DBLP DOI BibTeX RDF	Prior information, Medical prior information, Successive Substitutions, Maximum a posteriori (MAP), Bayesian reconstruction
21	William I. Chang, Eugene L. Lawler	Approximate String Matching in Sublinear Expected Time	FOCS	1990	DBLP DOI BibTeX RDF	random string, infrequent errors, sublinear expected time, pattern string, substring matching, dynamic programming, efficient algorithms, genetics, insertions, approximate string matching, deletions, substitutions, differences, molecular biology, text string
21	Jean-Jacques Thiel	Stop Losing Sleep Over Incomplete Data Type Specifications.	POPL	1984	DBLP DOI BibTeX RDF	Data types specifications, Completeness, Unification, Term rewriting systems, Substitutions, Equational theories
21	Sharon Sickel	A Search Technique for Clause Interconnectivity Graphs.	IEEE Trans. Computers	1976	DBLP DOI BibTeX RDF	Clause graphs, consistency of substitutions, resolution, unifers
20	Malgorzata Biernacka, Olivier Danvy	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
20	Huiqun Deng, George Stathopoulos, Ching Y. Suen	Error-Correcting Output Coding for the Convolutional Neural Network for Optical Character Recognition.	ICDAR	2009	DBLP DOI BibTeX RDF
20	Olivier Danvy, Jacob Johannsen	Inter-deriving Semantic Artifacts for Object-Oriented Programming.	WoLLIC	2008	DBLP DOI BibTeX RDF
20	Xuanhui Wang, ChengXiang Zhai	Mining term association patterns from search logs for effective query reformulation.	CIKM	2008	DBLP DOI BibTeX RDF	term association patterns, query reformulation, search log mining
20	Carlos Olarte, Frank D. Valencia	Universal concurrent constraint programing: symbolic semantics and applications to security.	SAC	2008	DBLP DOI BibTeX RDF	symbolic semantics, security, mobility, concurrent constraint programming
20	Jun Hu, Tolga M. Duman, Mehmet Fatih Erden	On the Information Rates of Channels with Insertion/Deletion/Substitution Errors.	ICC	2008	DBLP DOI BibTeX RDF
20	Adam Poswolsky, Carsten Schürmann 0001	Practical Programming with Higher-Order Encodings and Dependent Types.	ESOP	2008	DBLP DOI BibTeX RDF
20	Deng Pan, Liqing Zhang 0002	A Holistic View of Evolutionary Rates in Paralogous and Orthologous Genes.	ICIC (2)	2008	DBLP DOI BibTeX RDF
20	Leonardo Mendonça de Moura, Nikolaj S. Bjørner	Deciding Effectively Propositional Logic Using DPLL and Substitution Sets.	IJCAR	2008	DBLP DOI BibTeX RDF
20	Kazunori Ueda	Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting.	RTA	2008	DBLP DOI BibTeX RDF
20	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