Search results for "substitution"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Carsten Schürmann 0001	The Twelf Proof Assistant.	TPHOLs	2009	DBLP DOI BibTeX RDF
15	Nour Alhouda Aboud, Gabriela Arévalo, Jean-Rémy Falleri, Marianne Huchard, Chouki Tibermacine, Christelle Urtado, Sylvain Vauttier	Automated architectural component classification using concept lattices.	WICSA/ECSA	2009	DBLP DOI BibTeX RDF
15	Daniel R. Licata, Robert Harper 0001	A universe of binding and computation.	ICFP	2009	DBLP DOI BibTeX RDF	dependent types, variable binding
15	Miguel A. Jiménez-Montaño, Matthew He	Irreplaceable Amino Acids and Reduced Alphabets in Short-Term and Directed Protein Evolution.	ISBRA	2009	DBLP DOI BibTeX RDF	Codon volatility, amino acid changeability, genetic mutations, reduced alphabet
15	Valérie Berthé	Arithmetic Discrete Planes Are Quasicrystals.	DGCI	2009	DBLP DOI BibTeX RDF	arithmetic discrete planes, word combinatorics, quasicrystals, tilings, substitutions, digital planes
15	Chi-Shiang Chan, Ching-Yun Chang	An information hiding scheme by applying the dynamic programming strategy to LSB matching revisited.	ICUIMC	2009	DBLP DOI BibTeX RDF	LSB matching revisited, dynamic programming strategy, image hiding
15	Zheng Wang 0005, Xiao Yu, Tao Sun, Geguang Pu, Zuohua Ding, Jueliang Hu	Test Data Generation for Derived Types in C Program.	TASE	2009	DBLP DOI BibTeX RDF
15	Michael D. Hendy, Sagi Snir	Hadamard Conjugation for the Kimura 3ST Model: Combinatorial Proof Using Path Sets.	IEEE ACM Trans. Comput. Biol. Bioinform.	2008	DBLP DOI BibTeX RDF	Hadamard conjugation, K3ST model, path-sets, phylogenetic invariants, phylogenetic trees
15	Patrick Longa, Ali Miri	Fast and Flexible Elliptic Curve Point Arithmetic over Prime Fields.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Parallel, Public key cryptosystems, High-Speed Arithmetic
15	Jean-Philippe Boyer, Pierre Duhamel, Jacques Blanc-Talon	Scalar DC-QIM for Semifragile Authentication.	IEEE Trans. Inf. Forensics Secur.	2008	DBLP DOI BibTeX RDF
15	Cheng-Hsing Yang, Chi-Yao Weng, Shiuh-Jeng Wang, Hung-Min Sun	Adaptive Data Hiding in Edge Areas of Images With Spatial LSB Domain Systems.	IEEE Trans. Inf. Forensics Secur.	2008	DBLP DOI BibTeX RDF
15	Rodolfo Stecher, Claudia Niederée, Wolfgang Nejdl	Wildcards for lightweight information integration in virtual desktops.	CIKM	2008	DBLP DOI BibTeX RDF	virtual desktop information integration, personal information management
15	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
15	Delia Kesner	Perpetuality for Full and Safe Composition (in a Constructive Setting).	ICALP (2)	2008	DBLP DOI BibTeX RDF
15	Chong Fu, Zhiliang Zhu 0001	A Chaotic Image Encryption Scheme Based on Circular Bit Shift Method.	ICYCS	2008	DBLP DOI BibTeX RDF
15	Jiali Choy, Khoongming Khoo	New Applications of Differential Bounds of the SDS Structure.	ISC	2008	DBLP DOI BibTeX RDF	SPN, branch number, {0, 1}-matrices, differential, universal hash functions
15	Todd J. Treangen, Aaron E. Darling, Mark A. Ragan, Xavier Messeguer	Gapped Extension for Local Multiple Alignment of Interspersed DNA Repeats.	ISBRA	2008	DBLP DOI BibTeX RDF
15	Gianluigi Greco, Giorgio Terracina	Measuring Sequence Similarity Trough Many-to-Many Frequent Correlations.	KES (1)	2008	DBLP DOI BibTeX RDF
15	Hai Song Xu, Wen Ke Ren, Xiao Hui Liu, Xiao Qin Li	ALPHASUM: A Score Matrix Based on Low Identity All-alpha Proteins.	BMEI (1)	2008	DBLP DOI BibTeX RDF	class-specific matrix, Twilight Zone, sequence alignment
15	Jindian Su, Shanshan Yu, Heqing Guo	Analysis of Web Service Substitutability Based on Typed Pi-Calculus.	EUC (2)	2008	DBLP DOI BibTeX RDF
15	Zhengping Ji, Xiao Huang, Juyang Weng	Learning of sensorimotor behaviors by a SASE agent for vision-based navigation.	IJCNN	2008	DBLP DOI BibTeX RDF
15	Kitsana Waiyamai, Peera Liewlom, Thanapat Kangkachit, Thanawin Rakthanmanon	Concept Lattice-Based Mutation Control for Reactive Motifs Discovery.	PAKDD	2008	DBLP DOI BibTeX RDF	mutation control, sequence motif, reactive motif, enzyme function prediction, catalytic site, concept lattice, binding site
15	Nuria Gómez Blas, Luis F. Mingo, Juan Castellanos	Networks of evolutionary processors with a self-organizing learning.	AICCSA	2008	DBLP DOI BibTeX RDF
15	Rabia Sirhindi, Saeed Murtaza, Mehreen Afzal	Improved Data Hiding Technique for Shares in Extended Visual Secret Sharing Schemes.	ICICS	2008	DBLP DOI BibTeX RDF	extended visual secret sharing, LSB encoding, adaptive LSB encoding, data hiding, Visual cryptography
15	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
15	Slobodan Petrovic, Katrin Franke	Improving the Efficiency of Digital Forensic Search by Means of the Constrained Edit Distance.	IAS	2007	DBLP DOI BibTeX RDF
15	José Espírito Santo	Completing Herbelin's Programme.	TLCA	2007	DBLP DOI BibTeX RDF
15	Koji Nakazawa	An Isomorphism Between Cut-Elimination Procedure and Proof Reduction.	TLCA	2007	DBLP DOI BibTeX RDF
15	Jyotishman Pathak, Samik Basu 0001, Vasant G. Honavar	On Context-Specific Substitutability of Web Services.	ICWS	2007	DBLP DOI BibTeX RDF
15	José Espírito Santo, Silvia Ghilezan, Jelena Ivetic	Characterising Strongly Normalising Intuitionistic Sequent Terms.	TYPES	2007	DBLP DOI BibTeX RDF
15	Caroline Funk, Carolin Ehm, Claudia Linnhoff-Popien, Christoph Kuhmünch	Support of Stateful Services in Pervasive Environments.	PerCom Workshops	2007	DBLP DOI BibTeX RDF
15	Patrik Eklund, Maria A. Galán	On Logic with Fuzzy and Rough Powerset Monads.	RSEISP	2007	DBLP DOI BibTeX RDF
15	Thomas Baignères, Matthieu Finiasz	Dial C for Cipher.	Selected Areas in Cryptography	2006	DBLP DOI BibTeX RDF	Blum-Blum-Shub generator, Block Cipher, AES, provable security, decorrelation
15	Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno	A polymorphic modal type system for lisp-like multi-staged languages.	POPL	2006	DBLP DOI BibTeX RDF	let-polymorphism, modal types, multi-staged languages, polymorphic types, quasi-quotation, record type, type systems, lisp, ML, scheme, type inference
15	Maribel Fernández, Murdoch Gabbay	Curry-Style Types for Nominal Terms.	TYPES	2006	DBLP DOI BibTeX RDF	polymorphism, type inference, rewriting, binding
15	Sergey P. Shlepakov	Functional Equations in Shostak Theories.	CSR	2006	DBLP DOI BibTeX RDF
15	Béatrice Bérard, Paul Gastin, Antoine Petit 0001	Refinements and Abstractions of Signal-Event (Timed) Languages.	FORMATS	2006	DBLP DOI BibTeX RDF
15	Erzsébet Csuhaj-Varjú, Carlos Martín-Vide, Victor Mitrana	Hybrid networks of evolutionary processors are computationally complete.	Acta Informatica	2005	DBLP DOI BibTeX RDF
15	Marek Vokác, Jens M. Glattetre	Using a Domain-Specific Language and Custom Tools to Model a Multi-tier Service-Oriented Application - Experiences and Challenges.	MoDELS	2005	DBLP DOI BibTeX RDF
15	Haisheng Dai, Xiaoyan Zhu 0001, Yupin Luo, Shiyuan Yang	An Utterance Verification Algorithm in Keyword Spotting System.	IbPRIA (2)	2005	DBLP DOI BibTeX RDF
15	Johan Parent, Ann Nowé, Kris Steenhaut, Anne Defaweux	Linear genetic programming using a compressed genotype representation.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
15	JaeCheol Ha, ChangKyun Kim, Sang-Jae Moon, IlHwan Park, HyungSo Yoo	Differential Power Analysis on Block Cipher ARIA.	HPCC	2005	DBLP DOI BibTeX RDF
15	Thomas Fernique	Bidimensional Sturmian Sequences and Substitutions.	Developments in Language Theory	2005	DBLP DOI BibTeX RDF
15	Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey	A computational approach to reflective meta-reasoning about languages with bindings.	MERLIN	2005	DBLP DOI BibTeX RDF	MetaPRL, Nuprl, languages with bindings, programming language, reflection, experimentation, type theory, higher-order abstract syntax
15	Kevin Donnelly, Hongwei Xi	Combining higher-order abstract syntax with first-order abstract syntax in ATS.	MERLIN	2005	DBLP DOI BibTeX RDF	ATS/LF, theorem proving, dependent types, higher-order abstract syntax, ATS
15	Brigitte Pientka	Tabling for Higher-Order Logic Programming.	CADE	2005	DBLP DOI BibTeX RDF
15	Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan	Development via Refinement in Probabilistic B - Foundation and Case Study.	ZB	2005	DBLP DOI BibTeX RDF
15	C. K. Wong, Agnes Chan	Immediate Data Authentication for Multicast in Resource Constrained Network.	ACISP	2005	DBLP DOI BibTeX RDF
15	Goce Jakimoski	Unconditionally Secure Information Authentication in Presence of Erasures.	IMACC	2005	DBLP DOI BibTeX RDF	erasure- resilient codes, erasure-tolerant authentication, message authentication, authentication codes
15	Hubert Comon-Lundh, Stéphanie Delaune	The Finite Variant Property: How to Get Rid of Some Algebraic Properties.	RTA	2005	DBLP DOI BibTeX RDF
15	Stefan Milius, Lawrence S. Moss	The Category Theoretic Solution of Recursive Program Schemes.	CALCO	2005	DBLP DOI BibTeX RDF
15	L. P. Rai, Naresh Kumar	S&T education in India: Prospects and challenges.	Scientometrics	2004	DBLP DOI BibTeX RDF
15	Jie Wei	Markov Edit Distance.	IEEE Trans. Pattern Anal. Mach. Intell.	2004	DBLP DOI BibTeX RDF	statistical dependency, pattern recognition, dynamic programming, Markov Random Field, Edit distance, text processing
15	Jian Chen, Haoya Chen	Coordination mechanism for postponement strategy with downward substitutable products.	SMC (7)	2004	DBLP DOI BibTeX RDF
15	Kentaro Kikuchi	A Direct Proof of Strong Normalization for an Extended Herbelin?s Calculus.	FLOPS	2004	DBLP DOI BibTeX RDF
15	Javier Esplugas Cuadrado, Chris Preist, Stuart K. Williams	Integration of B2B Logistics Using Semantic Web Services.	AIMSA	2004	DBLP DOI BibTeX RDF	Semantic Web Services, SCM, Logistics, Enterprise Integration
15	Arkady Bolotin	Replacing Indicator Variables by Fuzzy Membership Functions in Statistical Regression Models: Examples of Epidemiological Studies.	ISBMDA	2004	DBLP DOI BibTeX RDF
15	Richard L. Church	COBRA: A New Formulation of the Classic p-Median Location Problem.	Ann. Oper. Res.	2003	DBLP DOI BibTeX RDF	integer optimization, facility location, reformulation, p-median problem
15	Yan Ye, Pamela C. Cosman	Fast and memory efficient text image compression with JBIG2.	IEEE Trans. Image Process.	2003	DBLP DOI BibTeX RDF
15	Venkatesh Choppella	Polymorphic Type Reconstruction Using Type Equations.	IFL	2003	DBLP DOI BibTeX RDF
15	Juan Méndez, Antonio Falcón, Javier Lorenzo 0001	A Procedure for Biological Sensitive Pattern Matching in Protein Sequences.	IbPRIA	2003	DBLP DOI BibTeX RDF	Biological Pattern Analysis, Pattern Matching, Multidimensional Scaling, Sequence Alignments, SIMD Processing
15	Christopher Lynch	Schematic Saturation for Decision and Unification Problems.	CADE	2003	DBLP DOI BibTeX RDF
15	Annabelle McIver, Carroll Morgan, Thai Son Hoang	Probabilistic Termination in B.	ZB	2003	DBLP DOI BibTeX RDF
15	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
15	Malgorzata Dudkiewicz, Pawel Mackiewicz, Aleksandra Nowicka, Maria Kowalczuk, Dorota Mackiewicz, Natalia Polak, Kamila Smolarczyk, Miroslaw R. Dudek, Stanislaw Cebrat	Properties of the Genetic Code under Directional, Asymmetric Mutational Pressure.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
15	Ove Edlund	A software package for sparse orthogonal factorization and updating.	ACM Trans. Math. Softw.	2002	DBLP DOI BibTeX RDF	downdating, software, updating, Sparse matrix, orthogonal factorization
15	Sidney W. A. Dekker, David D. Woods	MABA-MABA or Abracadabra? Progress on Human-Automation Co-ordination.	Cogn. Technol. Work.	2002	DBLP DOI BibTeX RDF	Function allocation, Computers, Automation, Cognition, Human error, Co-ordination
15	Costas Courcoubetis, Antonis Dimakis, George D. Stamoulis	Traffic equivalence and subistution in a multiplexer with applications to dynamic available capacity estimation.	IEEE/ACM Trans. Netw.	2002	DBLP DOI BibTeX RDF	available capacity, many-sources asymptotic, on-line estimation, call admission control, traffic modeling, effective bandwidth
15	Juan Bicarregui	Do Not Read This.	FME	2002	DBLP DOI BibTeX RDF
15	Anthony Cox, Charles Clarke 0001	Relocating XML Elements from Preprocessed to Unprocessed Code.	IWPC	2002	DBLP DOI BibTeX RDF
15	Atsuhiro Takasu, Kenro Aihara	DVHMM: Variable Length Text Recognition Error Model.	ICPR (3)	2002	DBLP DOI BibTeX RDF
15	Yong Luo 0001, Zhaohui Luo, Sergei Soloviev 0001	Weak Transitivity in Coercive Subtyping.	TYPES	2002	DBLP DOI BibTeX RDF
15	Takeshi Iwashita, Masaaki Shimasaki	Block Red-Black Ordering Method for Parallel Processing of ICCG Solver.	ISHPC	2002	DBLP DOI BibTeX RDF
15	Lu Xiao 0003, Howard M. Heys	Hardware Design and Analysisof Block Cipher Components.	ICISC	2002	DBLP DOI BibTeX RDF
15	Keita Teranishi, Padma Raghavan, Esmond G. Ng	A new data-mapping scheme for latency-tolerant distributed sparse triangular solution.	SC	2002	DBLP DOI BibTeX RDF
15	Yong Luo 0001, Zhaohui Luo	Coherence and Transitivity in Coercive Subtyping.	LPAR	2001	DBLP DOI BibTeX RDF
15	Klaus Wich	Characterization of Context-Free Languages with Polynomially Bounded Ambiguity.	MFCS	2001	DBLP DOI BibTeX RDF
15	Harald Ganzinger, Robert Nieuwenhuis, Pilar Nivela	Context Trees.	IJCAR	2001	DBLP DOI BibTeX RDF
15	Kenji Masui, Masahiko Tomoishi, Naoki Yonezaki	Design of UNIX System for the Prevention of Damage Propagation by Intrusion and Its Implementation Based on 4.4BSD.	ISC	2001	DBLP DOI BibTeX RDF
15	Martin Sulzmann	A General Type Inference Framework for Hindley/Milner Style Systems.	FLOPS	2001	DBLP DOI BibTeX RDF
15	Eduardo Bonelli, Delia Kesner, Alejandro Ríos 0001	From Higher-Order to First-Order Rewriting.	RTA	2001	DBLP DOI BibTeX RDF
15	Michio Oyamaguchi, Yoshikatsu Ohta	The Unification Problem for Confluent Right-Ground Term Rewriting Systems.	RTA	2001	DBLP DOI BibTeX RDF
15	István Miklós, Zoltán Toroczkai	An Improved Model for Statistical Alignment.	WABI	2001	DBLP DOI BibTeX RDF
15	Patricia Johann	Short Cut Fusion: Proved and Improved.	SAIG	2001	DBLP DOI BibTeX RDF
15	Gérard Ramstein, Pascal Bunelle, Yannick Jacques	Discovery of Ambiguous Patterns in Sequences: Application to Bioinformatics.	PKDD	2000	DBLP DOI BibTeX RDF
15	Miki Tanaka	Abstract Syntax and Variable Binding for Linear Binders.	MFCS	2000	DBLP DOI BibTeX RDF
15	Seokhie Hong, Sangjin Lee 0002, Jongin Lim 0001, Jaechul Sung, Dong Hyeon Cheon, Inho Cho	Provable Security against Differential and Linear Cryptanalysis for the SPN Structure.	FSE	2000	DBLP DOI BibTeX RDF
15	Symeon Bozapalidis	Equational Elements in Additive Algebras.	Theory Comput. Syst.	1999	DBLP DOI BibTeX RDF
15	Murdoch Gabbay, Andrew M. Pitts	A New Approach to Abstract Syntax Involving Binders.	LICS	1999	DBLP DOI BibTeX RDF	permutation models, set theory, binding, abstract syntax
15	Marcelo P. Fiore, Gordon D. Plotkin, Daniele Turi	Abstract Syntax and Variable Binding.	LICS	1999	DBLP DOI BibTeX RDF	categorical models and logics, type theory and type systems, semantics, lambda calculus, abstract syntax, universal algebra, variable binding
15	Susanne Boll, Wolfgang Klas, Jochen Wandel	A cross-media adaptation strategy for multimedia presentations.	ACM Multimedia (1)	1999	DBLP DOI BibTeX RDF	quality of information, adaptation, multimedia presentation, multimedia authoring
15	Jean Goubault-Larrecq	Conjunctive Types and SKInT.	TYPES	1998	DBLP DOI BibTeX RDF
15	Bruno Pagano	X.R.S : Explicit Reduction Systems - A First-Order Calculus for Higher-Order Calculi.	CADE	1998	DBLP DOI BibTeX RDF
15	Olivier Danvy, Kristoffer Høgsbro Rose	Higher-Order Rewriting and Partial Evaluation.	RTA	1998	DBLP DOI BibTeX RDF
15	Sarah Mallet, Mireille Ducassé	Myrtle: A Set-Oriented Meta-Interpreter Driven by a "Relational" Trace for Deductive Databases Debugging.	LOPSTR	1998	DBLP DOI BibTeX RDF
15	Gilles Barthe, Fairouz Kamareddine, Alejandro Ríos 0001	Explicit Substitutions for the Lambda-Calculus.	ALP/HOA	1997	DBLP DOI BibTeX RDF
15	Charles Lakos	The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF	Theory of High-Level Petri Nets, Multiple Levels of Abstraction, Object-Orientation
15	Shinn-Der Lee, Daniel P. Friedman	Enriching the Lambda Calculus with Contexts: Toward a Theory of Incremental Program Construction.	ICFP	1996	DBLP DOI BibTeX RDF
15	Ron Sass, Matt W. Mutka	Enabling unimodular transformations.	SC	1994	DBLP DOI BibTeX RDF	FORTRAN
15	Hugo Herbelin	A Lambda-Calculus Structure Isomorphic to Gentzen-Style Sequent Calculus Structure.	CSL	1994	DBLP DOI BibTeX RDF