Search results for "Unification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Patrik Eklund, Maria A. Galán, Jesús Medina 0001, Manuel Ojeda-Aciego, Agustín Valverde	A categorical approach to unification of generalised terms.	UNCL@ICALP	2002	DBLP DOI BibTeX RDF
24	Robin N. Banerjee, Andrés Bujosa	Syntactic Unification as a Geometric Operation in Free Modules over certain Rings.	UNCL@ICALP	2002	DBLP DOI BibTeX RDF
24	Temur Kutsia	Pattern Unification with Sequence Variables, Flexible Arity Symbols.	UNCL@ICALP	2002	DBLP DOI BibTeX RDF
24	Teresa Alsinet, Lluís Godo, Sandra A. Sandri	Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description.	UNCL@ICALP	2002	DBLP DOI BibTeX RDF
24	Liviu-Virgil Ciortuz	Scaling up the Abstract Machine for Unification of OSF-Terms to do Head-Corner Parsing with Large-Scale Typed Unification Grammars.	WLP	2000	DBLP BibTeX RDF
24	Gérald Point	AltaRica : Contribution à l'unification des méthodes formelles et de la sûreté de fonctionnement. (AltaRica: Contribution to the unification of formal methods and safety assessment).		2000	RDF
24	Margus Veanes	The Relation Between Second-Order Unification and Simultaneous Rigid E-Unification.	LICS	1998	DBLP DOI BibTeX RDF
24	Paliath Narendran, Friedrich Otto	Single Versus Simultaneous Equational Unification and Equational Unification for Variable-Permuting Theories.	J. Autom. Reason.	1997	DBLP DOI BibTeX RDF
24	Gilles Amiot	On decision problems for second order unification.	UNIF	1995	DBLP BibTeX RDF
24	Manfred Schmidt-Schauß	An Algorithm for Distributive Unification.	UNIF	1995	DBLP BibTeX RDF
24	Jordi Levy	A Decidable Second-Order Unification Problem.	UNIF	1995	DBLP BibTeX RDF
24	Jason Brown, Lincoln A. Wallen	Representing Unification in a Logical Framework.	UNIF	1995	DBLP BibTeX RDF
24	Francisco J. Durán, Ernesto Pimentel 0001	Objects communication by extending the unification.	UNIF	1995	DBLP BibTeX RDF
24	Heinz Faßbender, Heiko Vogler	A Universal Unification Algorithm Based on Unification-Driven Leftmost Outermost Narrowing.	Acta Cybern.	1994	DBLP BibTeX RDF
24	Bertrand Delsart	E-unification en demonstration automatique. (E-unification in automated deduction).		1994	RDF
24	Eric Domenjoud	AC Unification Through Order-Sorted AC1 Unification.	J. Symb. Comput.	1992	DBLP BibTeX RDF
24	Masaaki Nagata	An Empirical Study on Rule Granularity and Unification Interleaving Toward an Efficient Unification-Based Parsing System.	COLING	1992	DBLP BibTeX RDF
24	Frank Pfenning	Unification and Anti-Unification in the Calculus of Constructions	LICS	1991	DBLP DOI BibTeX RDF
24	Hubert Comon	Unification et disunification : théorie et applications. (Unification and disunification in free algebras and in initial algebras : theory and applications).		1988	RDF
24	Jean-Christophe Ianeselli	Un opérateur d'unification pour une machine base de connaissance PROLOG. (An unification operator for a PROLOG knowledge base machine).		1985	RDF
23	Grazyna Brzykcy	Data Integration in a System with Agents' Models.	KES-AMSTA	2008	DBLP DOI BibTeX RDF	Prolog-like computations, unification, schema mapping, query rewriting, P2P system, XML data
23	Bart Jacobs 0001, Sjaak Smetsers, Ronny Wichers Schreur	Code-carrying theories.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Compression, Code generation, Functional languages, Unification, PVS, Proof assistants
23	Agostino Dovier, Andrea Formisano 0001, Eugenio G. Omodeo	Decidability results for sets with atoms.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	Prenex sentences, set-hyperset theories, syllogistics, unification, quantifier elimination, satisfiability problem
23	Mathieu Baudet	Deciding security of protocols against off-line guessing attacks.	CCS	2005	DBLP DOI BibTeX RDF	second-order e-unification, formal methods, security protocols, guessing attacks
23	William C. Chu, Chih-Wei Lu, Chih-Hung Chang, Yeh-Ching Chung, Yueh-Min Huang, Baowen Xu	Software Maintainability Improvement: Integrating Standards and Models.	COMPSAC	2002	DBLP DOI BibTeX RDF	model unification and integration, XML, UML, software maintenance, software standards
23	Eui-nam Huh, Lonnie R. Welch, Behrooz A. Shirazi, Charles Cavanaugh	Heterogeneous Resource Management for Dynamic Real-Time Systems.	Heterogeneous Computing Workshop	2000	DBLP DOI BibTeX RDF	load balancing feasibility analysis, QoS, resource management, heterogeneous, allocation, unification, Dynamic real-time systems
23	Antonio Ferrández Rodríguez, Manuel Palomar, Lidia Moreno	An Empirical Approach to Spanish Anaphora Resolution.	Mach. Transl.	1999	DBLP DOI BibTeX RDF	Slot Unification Grammar, Spanish, anaphora resolution, partial parsing
23	J. C. Tay, S. Y. Huang, Hiok Chai Quek	CSL (Part I): Modelling General N-ary, Logical CSPs.	ICTAI	1997	DBLP DOI BibTeX RDF	constraint specification language, CSL, user-defined constraints, N-ary logical constraint satisfaction problems, constraint logic programming languages, expressive algebra, extended versions, transparent access, data structures, constraint programming, unification, syntax, logic programming languages, numerical constraints
23	Alessandro Armando, Alan Smaill, Ian Green	Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm.	ASE	1997	DBLP DOI BibTeX RDF	proof-planning paradigm, recursive functional programs, functional programming, correctness proofs, automatic synthesis, recursive programs, unification algorithm
23	Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov	Complexity and Expressive Power of Logic Programming.	CCC	1997	DBLP DOI BibTeX RDF	computational complexity, Logic programming, resolution, constraint logic programming, unification, expressive power
23	Sankar Virdhagriswaran, Mike Webb, Jeff Mallatt	Manufacturing collaboration resource discovery system (McRDS.	WETICE	1995	DBLP DOI BibTeX RDF	manufacturing collaboration resource discovery system, McRDS, product prototype, office automation tools, virtual database, product information databases, semantic messaging, semantic unification, Knowledge Query Manipulation Language, information messaging protocol, PDES/STEP, application protocols, Internet, query processing, query processing, groupware, CAD, CORBA, distributed databases, query languages, product development, product development, office automation, CAD/CAM, software standards, KQML, CAE, information brokering
23	Suad Alagic, Rajshekhar Sunderraman, Rajiv Bagai	Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping.	ECOOP	1994	DBLP DOI BibTeX RDF	semantic specifications, Object-oriented, logic programming, type systems, inheritance, polymorphism, subtyping, unification, deduction
23	Bill Keller	Formalisms for grammatical knowledge representation.	Artif. Intell. Rev.	1992	DBLP DOI BibTeX RDF	constituent structure, feature structures, knowledge representation, natural language, parsing, grammar, unification
23	Christian Prehofer	An Efficient Constraint Language for Polymorphic Order-sorted Resoluton.	JELIA	1992	DBLP DOI BibTeX RDF	Order-sorted Logic, Constraints, Polymorphism, Resolution, Unification
23	Benjamin Bell, Louis-François Pau	Contour Tracking and Corner Detection in a Logic Programming Environment.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	Prolog predicates, logic programming, computerised picture processing, computerised pattern recognition, computerised pattern recognition, unification, backtracking, corner detection, parameter selection, contour tracking, logic programming environment
23	Françoise Debart, Patrice Enjalbert, Madeleine Lescot	Multi-Modal Logic Programming using Equational and Order-Sorted Logic.	ALP	1990	DBLP DOI BibTeX RDF	Order-sorted Logic, Equationnal Methods, E-Resolution, Logic Programming, Modal Logic, Unification
23	Sergei Nirenburg, Lori S. Levin	Knowledge representation support.	Mach. Transl.	1989	DBLP DOI BibTeX RDF	constituent structure (c-structure), functional structure (f-structure), interlingua text (ILT), Lexical Functional Grammar, microtheories, unification
23	Hans Jürgen Ohlbach	A Resolution Calculus for Modal Logics.	CADE	1988	DBLP DOI BibTeX RDF	resolution principle, modal logic, unification
22	Robert Law	Using student blogs for documentation in software development projects.	ITiCSE	2011	DBLP DOI BibTeX RDF
22	Eric D. Trias, Jorge A. Navas, Elena S. Ackley, Stephanie Forrest, Manuel V. Hermenegildo	Negative Ternary Set-Sharing.	ICLP	2008	DBLP DOI BibTeX RDF
22	Ileana Ober, Ali Abou Dib, Louis Féraud, Christian Percebois	Towards Interoperability in Component Based Development with a Family of DSLs.	ECSA	2008	DBLP DOI BibTeX RDF	heterogeneous components, domain specific language (DSL), Specware, interoperability, formal semantics, category theory
22	François Bry, Tim Furche, Benedikt Linse	Simulation Subsumption or Déjà vu on the Web.	RR	2008	DBLP DOI BibTeX RDF
22	Srikanth Venkataraman, Ruchir Puri, Steve Griffith, Ankush Oberai, Robert Madge, Greg Yeric, Walter Ng, Yervant Zorian	Making Manufacturing Work For You.	DAC	2007	DBLP BibTeX RDF
22	Luc Steels, Joachim De Beule	Unify and Merge in Fluid Construction Grammar.	EELC	2006	DBLP DOI BibTeX RDF
22	Ming Zhao 0003, Tat-Seng Chua	Face Alignment with Unified Subspace Optimization of Active Statistical Models.	FGR	2006	DBLP DOI BibTeX RDF
22	Gopalan Nadathur, Xiaochu Qi	Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages.	LPAR	2005	DBLP DOI BibTeX RDF
22	Paul Agron, Leo Bachmair, Frank Nielsen	A Visual Interactive Framework for Formal Derivation.	International Conference on Computational Science (1)	2005	DBLP DOI BibTeX RDF
22	Christophe Ringeissen	Matching in a Class of Combined Non-disjoint Theories.	CADE	2003	DBLP DOI BibTeX RDF
22	Jan-Mark S. Wams, Maarten van Steen	A Flexible Middleware Layer for User-to-User Messaging.	DAIS	2003	DBLP DOI BibTeX RDF
22	Katrin Erk, Joachim Niehren	Parallelism Constraints.	RTA	2000	DBLP DOI BibTeX RDF
22	Bikash Chandra Ghosh, Vilas Wuwongse	A Direct Proof Procedure for Definite Conceptual Graph Programs.	ICCS	1995	DBLP DOI BibTeX RDF
22	Christophe Ringeissen	Combination of Matching Algorithms.	STACS	1994	DBLP DOI BibTeX RDF
22	Tobias Nipkow, Christian Prehofer	Type Checking Type Classes.	POPL	1993	DBLP DOI BibTeX RDF	Haskell
22	Maria-Virginia Aponte	Extending Record Typing to Type Parametric Modules with Sharing.	POPL	1993	DBLP DOI BibTeX RDF	Standard ML
22	Matthias Baaz, Richard Zach	Algorithmic Structuring of Cut-free Proofs.	CSL	1992	DBLP DOI BibTeX RDF
22	Michael Hanus	Parametric Order-Sorted Types in Logic Programming.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
22	Francis Klay	Undecidable Properties of Syntactic Theories.	RTA	1991	DBLP DOI BibTeX RDF
22	Jean-Pierre Jouannaud	Syntactic Theories.	MFCS	1990	DBLP DOI BibTeX RDF
22	A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn	ML Typability is DEXTIME-Complete.	CAAP	1990	DBLP DOI BibTeX RDF
22	Kim Marriott, Harald Søndergaard	On prolog and the occur check problem.	ACM SIGPLAN Notices	1989	DBLP DOI BibTeX RDF	Prolog
22	Staffan Bonnier, Jan Maluszynski	Towards a Clean Amalgamation of Logic Programs with External Procedures.	PLILP	1988	DBLP DOI BibTeX RDF
22	Hans-Albert Schneider, Werner Dilger	Information Processing with Associative Processors.	CONPAR	1986	DBLP DOI BibTeX RDF
22	Norihisa Suzuki	Inferring Types in Smalltalk.	POPL	1981	DBLP DOI BibTeX RDF
22	Tomasz Pietrzykowski	A Complete Mechanization of Second-Order Type Theory.	J. ACM	1973	DBLP DOI BibTeX RDF
20	Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi	Hints in Unification.	TPHOLs	2009	DBLP DOI BibTeX RDF
20	Raymond T. Boute	Making Temporal Logic Calculational: A Tool for Unification and Discovery.	FM	2009	DBLP DOI BibTeX RDF
20	Yossi Azar, Iftah Gamzu	Truthful Unification Framework for Packing Integer Programs with Choices.	ICALP (1)	2008	DBLP DOI BibTeX RDF
20	Martin J. Kollingbaum, Wamberto Weber Vasconcelos, Andrés García-Camino, Timothy J. Norman	Conflict Resolution in Norm-Regulated Environments Via Unification and Constraints.	DALT	2007	DBLP DOI BibTeX RDF
20	Greg D. Moody, Taylor Wells, Paul Benjamin Lowry	The Interactive Digital Entertainment (IDE) Unification Framework: Creating a Taxonomy of IDE and Lifestyle Computing.	HICSS	2007	DBLP DOI BibTeX RDF
20	Yong Sun, Yu (David) Shi, Fang Chen 0001, Vera Yuk Ying Chung	An efficient unification-based multimodal language processor in multimodal input fusion.	OZCHI	2007	DBLP DOI BibTeX RDF	fusion techniques & hybrid architectures, processing of language and action patterns
20	Hiroki Tanioka	A Method of Preferential Unification of Plural Retrieved Elements for XML Retrieval Task.	INEX	2006	DBLP DOI BibTeX RDF
20	S. K. Kashyap, J. R. Raol	Unification and Interpretation of Fuzzy Set Operations.	CCECE	2006	DBLP DOI BibTeX RDF
20	Jean Bézivin	On the unification power of models.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF	Models, MDA, Metamodels, MDE
20	Noureddine Chabini, Wayne H. Wolf	Unification of scheduling, binding, and retiming to reduce power consumption under timings and resources constraints.	IEEE Trans. Very Large Scale Integr. Syst.	2005	DBLP DOI BibTeX RDF
20	Jun Liu 0069, Huijuan Yang, Alex C. Kot	Relationships and unification of binary images data-hiding methods.	ICIP (1)	2005	DBLP DOI BibTeX RDF
20	Jungwon Cho, Seungdo Jeong, Byung-Uk Choi	A Fast Image Retrieval Using the Unification Search Method of Binary Classification and Dimensionality Condensation of Feature Vectors.	KES (3)	2005	DBLP DOI BibTeX RDF
20	Boris Köpf, Heiko Mantel	Eliminating Implicit Information Leaks by Transformational Typing and Unification.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF
20	Bradford Starkie, Henning Fernau	The Boisdale Algorithm - An Induction Method for a Subclass of Unification Grammar from Positive Data.	ICGI	2004	DBLP DOI BibTeX RDF
20	Xiao Wei Yin, Martin Fleury, Andy C. Downton	A Unification Framework for Tree and Block Wavelet Encoders.	ICPR (2)	2004	DBLP DOI BibTeX RDF
20	Atul Adya, Paramvir Bahl, Jitendra Padhye, Alec Wolman, Lidong Zhou	A Multi-Radio Unification Protocol for IEEE 802.11 Wireless Networks.	BROADNETS	2004	DBLP DOI BibTeX RDF
20	Jong-Bok Kim, Jaehyung Yang, Incheol Choi	Feature Unification and Constraint Satisfaction in Parsing Korean Case Phenomena.	Australian Conference on Artificial Intelligence	2004	DBLP DOI BibTeX RDF
20	Barbara Morawska 0001	Completeness of E-Unification with Eager Variable Elimination.	LPAR	2003	DBLP DOI BibTeX RDF
20	Hajime Shimada, Hideki Ando, Toshio Shimada	Pipeline stage unification: a low-energy consumption technique for future mobile processors.	ISLPED	2003	DBLP DOI BibTeX RDF	future process technology, pipeline stage, dynamic voltage scaling, low-power consumption
20	Noureddine Chabini, Ismaïl Chabini, El Mostapha Aboulhamid, Yvon Savaria	Unification of basic retiming and supply voltage scaling to minimize dynamic power consumption for synchronous digital designs.	ACM Great Lakes Symposium on VLSI	2003	DBLP DOI BibTeX RDF	supply voltage scaling, performance, power consumption, CMOS, retiming, digital design
20	Mark Johnson 0001	Learning and Parsing Stochastic Unification-Based Grammars.	COLT	2003	DBLP DOI BibTeX RDF
20	Stanislav Krajci, Rastislav Lencses, Jesús Medina 0001, Manuel Ojeda-Aciego, Peter Vojtás	A Similarity-Based Unification Model for Flexible Querying.	FQAS	2002	DBLP DOI BibTeX RDF
20	Gérard P. Huet	Higher Order Unification 30 Years Later.	TPHOLs	2002	DBLP DOI BibTeX RDF
20	Paolo Baldan, Andrea Bracciali, Roberto Bruni	Bisimulation by Unification.	AMAST	2002	DBLP DOI BibTeX RDF
20	Liviu-Virgil Ciortuz	A Framework for Inductive Learning of Typed-Unification Grammars.	ICGI	2002	DBLP DOI BibTeX RDF
20	Jayadev Misra	The Case against a Grand Unification Theory.	ICSR	2002	DBLP DOI BibTeX RDF
20	Temur Kutsia	Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms.	AISC	2002	DBLP DOI BibTeX RDF
20	Björn Gambäck	Unification-Based Lexicon and Morphology with Speculative Feature Signalling.	CICLing	2001	DBLP DOI BibTeX RDF
20	Mahmut T. Kandemir	Array Unification: A Locality Optimization Technique.	CC	2001	DBLP DOI BibTeX RDF
20	Ruvim Lipyanski	Pythagorean Triples in Unification Theory of Nilpotent Rings.	FCT	2001	DBLP DOI BibTeX RDF
20	Christopher Lynch, Barbara Morawska 0001	Goal-Directed E-Unification.	RTA	2001	DBLP DOI BibTeX RDF
20	David A. Duffy, Ian Toyn	Reasoning Inductively about Z Specifications via Unification.	ZB	2000	DBLP DOI BibTeX RDF
20	Pedro J. Martín, Antonio Gavilanes	Simultaneous Rigid Sorted Unification.	JELIA	2000	DBLP DOI BibTeX RDF
20	Nikolaj S. Bjørner, César A. Muñoz	Absolute Explicit Unification.	RTA	2000	DBLP DOI BibTeX RDF
20	Mark-Jan Nederhof	Preprocessing for Unification Parsing of Spoken Language.	Natural Language Processing	2000	DBLP DOI BibTeX RDF
20	Leonardo Maria Reyneri	Unification of neural and wavelet networks and fuzzy systems.	IEEE Trans. Neural Networks	1999	DBLP DOI BibTeX RDF