Search results for "unification"

Hits ?▲	Authors	Title	Venue	Year	Link
12	Michael Schroeder 0001, Ralf Schweimeier	Arguments and Misunderstandings: Fuzzy Unification for Negotiating Agents.	CLIMA	2002	DBLP DOI BibTeX RDF
12	Marco Piastra	Fuzzy unification and first order probabilistic logic.	Int. J. Intell. Syst.	2002	DBLP DOI BibTeX RDF
12	Ljiljana Biukovic	Unification of cyber-jurisdiction rules: just how close are the EU and the US?	Telematics Informatics	2002	DBLP DOI BibTeX RDF
12	Sergei G. Vorobyov	forall-Exists5-equational theory of context unification is undecidable.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
12	Pedro J. Martín, Antonio Gavilanes	Simultaneous Rigid Sorted Unification for Tableaux.	Stud Logica	2002	DBLP DOI BibTeX RDF
12	Jan Freudenberg, Ralf Zimmer, Daniel Hanisch, Thomas Lengauer	A hypergraph-based method for unification of existing protein structure- and sequence-families.	Silico Biol.	2002	DBLP BibTeX RDF
12	Ronaldo dos Santos Mello, Silvana Castano, Carlos A. Heuser	A Method for the Unification of XML Schemata.	Inf. Softw. Technol.	2002	DBLP DOI BibTeX RDF
12	Grigory Mashevitzky	Unification Types of Completely Regular Semigroups.	J. Autom. Reason.	2002	DBLP DOI BibTeX RDF
12	Manfred Schmidt-Schauß	A Decision Algorithm for Stratified Context Unification.	J. Log. Comput.	2002	DBLP DOI BibTeX RDF
12	Patrik Eklund, Manuel Ojeda-Aciego (eds.)	Unification in Non-Classical Logics, UNCL 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002	UNCL@ICALP	2002	DBLP BibTeX RDF
12	Tele Tan, Jiayi Chen, Philippe Mulhem	SmartAlbum - Towards Unification of Approaches for Image Retrieval.	ICPR (3)	2002	DBLP DOI BibTeX RDF
12	Asli Tunç, Yesim Ulusu	Obstacles on the Path to Cyber-Unification: Issues Related to the Internet in Turkey.	ICWI	2002	DBLP BibTeX RDF
12	Nadia Bouassida, Hanêne Ben-Abdallah, Faïez Gargouri, Abdelmajid Ben Hamadou	Stepwise framework design by application unification.	SMC	2002	DBLP DOI BibTeX RDF
12	Robert Moore	A Complete, Efficient Sentence-Realization Algorithm for Unification Grammar.	INLG	2002	DBLP BibTeX RDF
12	Helmut Schmid	A Generative Probability Model for Unification-Based Grammars.	COLING	2002	DBLP BibTeX RDF
12	Montserrat Marimon	Integrating Shallow Linguistic Processing into a Unification-based Spanish Grammar.	COLING	2002	DBLP BibTeX RDF
12	Efrat Jaeger, Nissim Francez, Shuly Wintner	Guaranteeing Parsing Termination of Unification Grammars.	COLING	2002	DBLP BibTeX RDF
12	Bernd Kiefer, Hans-Ulrich Krieger, Detlef Prescher	A Novel Disambiguation Method for Unification-Based Grammars Using Probabilistic Context-Free Approximations.	COLING	2002	DBLP BibTeX RDF
12	Johan Bos	Compilation of Unification Grammars with Compositional Semantics to Speech Recognition Packages.	COLING	2002	DBLP BibTeX RDF
12	Wenbing Zhao 0001, Louise E. Moser, P. M. Melliar-Smith	Unification of Replication and Transaction Processing in Three-Tier Architectures.	ICDCS	2002	DBLP DOI BibTeX RDF
12	Liviu Ciortuz	Learning Attribute Values in Typed-unification Grammars: On Generalised Rule Reduction.	CoNLL	2002	DBLP BibTeX RDF
12	Manfred Schmidt-Schauß, Klaus U. Schulz	Decidability of Bounded Higher-Order Unification.	CSL	2002	DBLP DOI BibTeX RDF
12	Franz Baader, Ralf Küsters	Unification in a Description Logic with Inconsistency and Transitive Closure of Roles.	Description Logics	2002	DBLP BibTeX RDF
12	Jason Baldridge, John Dowding, Susana Early	Leo: an Architecture for Sharing Resources for Unification-Based Grammars.	LREC	2002	DBLP BibTeX RDF
12	Domenico M. Pisanelli, Massimo Battaglia, Aldo Gangemi, Geri Steve	Ontological Analysis for the Unification of Biology.	AMIA	2002	DBLP BibTeX RDF
12	Stuart Geman, Mark Johnson	Dynamic programming for parsing and estimation of stochastic unification-based grammars.	ACL	2002	DBLP BibTeX RDF
12	Aline Villavicencio	The acquisition of a unification-based generalised categorial grammar.		2002	RDF
12	Patrik Eklund, Manuel Ojeda-Aciego	Preface.	UNCL@ICALP	2002	DBLP DOI BibTeX RDF
12	Kim Gerdes	Tree Unification Grammarstar: Problems and Proposals for Topology, TAG, and German.	FGMOL	2001	DBLP DOI BibTeX RDF
12	R. Ramesh 0001, I. V. Ramakrishnan, R. C. Sekar 0001	Automata-driven efficient subterm unification.	Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
12	Mauricio Ayala-Rincón, Ivan E. Tavares de Araújo	Unification Modulo Presburger Arithmetic and Other Decidable Theories.	Rev. Colomb. de Computación	2001	DBLP DOI BibTeX RDF
12	Jan-Georg Smaus	Analysis of Polymorphically Typed Logic Programs Using ACI-Unification	CoRR	2001	DBLP BibTeX RDF
12	Agostino Dovier, Enrico Pontelli, Gianfranco Rossi	Set Unification	CoRR	2001	DBLP BibTeX RDF
12	Noriko Tomuro, Steven L. Lytinen	Nonminimal Derivations in Unification-Based Parsing.	Comput. Linguistics	2001	DBLP DOI BibTeX RDF
12	Franz Baader, Paliath Narendran	Unification of Concept Terms in Description Logics.	J. Symb. Comput.	2001	DBLP DOI BibTeX RDF
12	Mauricio Ayala-Rincón, Fairouz Kamareddine	Unification via the lambda se-Style of Explicit Substitutions.	Log. J. IGPL	2001	DBLP DOI BibTeX RDF
12	Gerry Wolff	Information Compression by Multiple Alignment, Unification and Search as a Framework for Human-Like Reasoning.	Log. J. IGPL	2001	DBLP DOI BibTeX RDF
12	Gilles Dowek	Higher-Order Unification and Matching.	Handbook of Automated Reasoning	2001	DBLP DOI BibTeX RDF
12	Franz Baader, Wayne Snyder	Unification Theory.	Handbook of Automated Reasoning	2001	DBLP DOI BibTeX RDF
12	Arsène Sabas, Sylvain Delisle, Mourad Badri	Vers une unification des méthodologies de développement des Systèmes Multiagents (poster).	JFIADSMA	2001	DBLP BibTeX RDF
12	Manny Rayner, John Dowding, Beth Ann Hockey	A baseline method for compiling typed unification grammars into context free language models.	INTERSPEECH	2001	DBLP DOI BibTeX RDF
12	Noriko Sugimoto, Hiroki Ishizaka, Takeshi Shinohara	An Efficient Derivation for Elementary Formal Systems Based on Partial Unification.	Discovery Science	2001	DBLP DOI BibTeX RDF
12	T. W. Lee, K. C. Tan, E. F. Khor	Control system design unification and automation-a way forward in CACSD via evolutionary computation.	CEC	2001	DBLP DOI BibTeX RDF
12	Kouji Tsumura	Unification of modeling, estimation and controller design.	CDC	2001	DBLP DOI BibTeX RDF
12	Liviu-Virgil Ciortuz	On Compilation of the Quick-Check Filter for Feature Structure Unification.	IWPT	2001	DBLP BibTeX RDF
12	Liviu-Virgil Ciortuz	On Specialised Compilation of Parsing Rules in Unification Grammars.	IWPT	2001	DBLP BibTeX RDF
12	Fuliang Weng, Naiyong Jin, Jie Meng, Yujia Zhu	A Novel Probabilistic Model for Link Unification Grammar.	IWPT	2001	DBLP BibTeX RDF
12	Jan Freudenberg, Ralf Zimmer, Daniel Hanisch, Thomas Lengauer	A new Method for Unification of Existing Protein Structure- and Sequence-Families.	German Conference on Bioinformatics	2001	DBLP BibTeX RDF
12	Håkan Johansson	Understanding Multimodal Interaction by Exploiting Unification and Integration Rules.	NODALIDA	2001	DBLP BibTeX RDF
12	Jesús Medina 0001, Manuel Ojeda-Aciego, Peter Vojtás	Similarity-based unification: a multi-adjoint approach.	EUSFLAT Conf.	2001	DBLP BibTeX RDF
12	Franz Baader, Ralf Küsters	Unification in a Description Logic with Transitive Closure of Roles.	Description Logics	2001	DBLP BibTeX RDF
12	Noriko Tomuro, Steven L. Lytinen	Abstract Left-corner Parsing for Unification Grammars.	NLPRS	2001	DBLP BibTeX RDF
12	John Dowding, Beth Ann Hockey, Jean Mark Gawron, Christopher Culy	Practical Issues in Compiling Typed Unification Grammars for Speech Recognition.	ACL	2001	DBLP BibTeX RDF
12	Ferrante Formato, Giangiacomo Gerla, Maria I. Sessa	Similarity-based Unification.	Fundam. Informaticae	2000	DBLP DOI BibTeX RDF
12	Edelcio G. de Souza	Multideductive Logic And The Theoretic-Formal Unification Of Physical Theories.	Synth.	2000	DBLP DOI BibTeX RDF
12	Peter Vojtás	Declarative and procedural semantics of fuzzy similarity based unification.	Kybernetika	2000	DBLP BibTeX RDF
12	Joachim Niehren, Sophie Tison, Ralf Treinen	On rewrite constraints and context unification.	Inf. Process. Lett.	2000	DBLP DOI BibTeX RDF
12	Alexandre Boudet	Unification of Higher-order Patterns modulo Simple Syntactic Equational Theories.	Discret. Math. Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
12	Jia Lee, Kenichi Morita, Hiroki Asou, Katsunobu Imai	Uniquely Parsable Unification Grammars and Their Parser Implemented in Prolog.	Grammars	2000	DBLP DOI BibTeX RDF
12	J. Gerard Wolff	Syntax, Parsing and Production of Natural Language in a Framework of Information Compression by Multiple Alignment, Unification and Search.	J. Univers. Comput. Sci.	2000	DBLP DOI BibTeX RDF
12	Michael Codish, Vitaly Lagoon	Type dependencies for logic programs using ACI-unification.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
12	Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov	Decidability and complexity of simultaneous rigid E-unification with one variable and related results.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
12	Neculai Curteanu, Paul-Gabriel Holban	A set-theoretic approach to linguistic feature structures and unification algorithms (I).	Comput. Sci. J. Moldova	2000	DBLP BibTeX RDF
12	Neculai Curteanu, Paul-Gabriel Holban	A set-theoretic approach to linguistic feature structures and unification algorithms (II).	Comput. Sci. J. Moldova	2000	DBLP BibTeX RDF
12	Oleg Kiselyov, Paul Fisher	Image Compression with Iterated Function Systems, Finite Automata and Zerotrees: Grand Unification	CoRR	2000	DBLP BibTeX RDF
12	Mark Johnson, Stefan Riezler	Exploiting auxiliary distributions in stochastic unification-based grammars	CoRR	2000	DBLP BibTeX RDF
12	Manny Rayner, Beth Ann Hockey, Frankie James, Elizabeth Owen Bratt, Sharon Goldwater, Jean Mark Gawron	Compiling Language Models from a Linguistically Motivated Unification Grammar	CoRR	2000	DBLP BibTeX RDF
12	Mark Johnson, Stuart Geman, Stephen Canon, Zhiyi Chi, Stefan Riezler	Estimators for Stochastic "Unification-Based" Grammars	CoRR	2000	DBLP BibTeX RDF
12	Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer	Unification and passive inference rules for modal logics.	J. Appl. Non Class. Logics	2000	DBLP DOI BibTeX RDF
12	David M. Drury	The unification of the Lorentz and Coulomb gauges of electromagnetic theory.	IEEE Trans. Educ.	2000	DBLP DOI BibTeX RDF
12	Harald Ganzinger, Florent Jacquemard, Margus Veanes	Rigid Reachability, The Non-Symmetric Form of Rigid E-Unification.	Int. J. Found. Comput. Sci.	2000	DBLP DOI BibTeX RDF
12	Claire Gardent	Deaccenting and Higher-Order Unification.	J. Log. Lang. Inf.	2000	DBLP DOI BibTeX RDF
12	Dieter Hutter, Michael Kohlhase	Managing Structural Information by Higher-Order Colored Unification.	J. Autom. Reason.	2000	DBLP DOI BibTeX RDF
12	Klaus U. Schulz	Tractable and intractable instances of combination problems for unification and disunification.	J. Log. Comput.	2000	DBLP DOI BibTeX RDF
12	Miki Hermann, Phokion G. Kolaitis	Unification Algorithms Cannot Be Combined in Polynomial Time.	Inf. Comput.	2000	DBLP DOI BibTeX RDF
12	Jordi Levy, Margus Veanes	On the Undecidability of Second-Order Unification.	Inf. Comput.	2000	DBLP DOI BibTeX RDF
12	Gilles Dowek, Thérèse Hardin, Claude Kirchner	Higher Order Unification via Explicit Substitutions.	Inf. Comput.	2000	DBLP DOI BibTeX RDF
12	Qing Guo, Paliath Narendran, David A. Wolfram	Complexity of Nilpotent Unification and Matching Problems.	Inf. Comput.	2000	DBLP DOI BibTeX RDF
12	Toshio Morita, Hiroyasu Iwata, Shigeki Sugano	Human Symbiotic Robot Design Based on Division and Unification of Functional Requirements.	ICRA	2000	DBLP DOI BibTeX RDF
12	Mohamed-Zakaria Kurdi	Semantic tree unification grammar: a new formalism for spoken language processing.	INTERSPEECH	2000	DBLP DOI BibTeX RDF
12	David R. Gilbert, Michael Schroeder 0001	FURY: Fuzzy Unification and Resolution Based on Edit Distance.	BIBE	2000	DBLP DOI BibTeX RDF
12	Doina Tatar	Unification Grammars in Natural Language Processing.	Recent Topics in Mathematical and Computational Linguistics	2000	DBLP BibTeX RDF
12	Mads Tofte, Lars Birkedal	Unification and polymorphism in region inference.	Proof, Language, and Interaction	2000	DBLP BibTeX RDF
12	Mark Johnson, Stefan Riezler	Exploiting auxiliary distributions in stochastic unification-based grammars.	ANLP	2000	DBLP BibTeX RDF
12	Manny Rayner, Beth Ann Hockey, Frankie James, Elizabeth Owen Bratt, Sharon Goldwater, Jean Mark Gawron	Compiling Language Models from a Linguistically Motivated Unification Grammar.	COLING	2000	DBLP BibTeX RDF
12	Marcel P. van Lohuizen	Exploiting Parallelism in Unification-based Parsing.	IWPT	2000	DBLP BibTeX RDF
12	Alon Lavie, Carolyn Penstein Rosé	Optimal Ambiguity Packing in Context-free Parsers with Interleaved Unification.	IWPT	2000	DBLP BibTeX RDF
12	Jan W. Amtrup	Hypergraph Unification-based Parsing for Incremental Speech Processing.	IWPT	2000	DBLP BibTeX RDF
12	Rémi Zajac, Jan W. Amtrup	Modular Unification-based Parsers.	IWPT	2000	DBLP BibTeX RDF
12	Julia Ann Johnson, Mengchi Liu, Hong Chen	Unification of Knowledge Discovery and Data Mining Using Rough Sets Approach in a Real-World Application.	Rough Sets and Current Trends in Computing	2000	DBLP DOI BibTeX RDF
12	Toni Badia, Angels Egea	A Strategy for the Syntactic Parsing of Corpora: from Constraint Grammar Output to Unification-based Processing.	LREC	2000	DBLP BibTeX RDF
12	L. Yaroslavsky	Nonlinear signal processing filters: A unification approach.	EUSIPCO	2000	DBLP BibTeX RDF
12	Marcel P. van Lohuizen	Memory-Efficient and Thread-Safe Quasi-Destructive Graph Unification.	ACL	2000	DBLP BibTeX RDF
12	David Bodoff	A Re-Unification of Two Competing Models for Document Retrieval.	J. Am. Soc. Inf. Sci.	1999	DBLP DOI BibTeX RDF
12	Benedetto Intrigila, Paola Inverardi, Marisa Venturini Zilli	A Comprehensive Setting for Matching and Unification over Iterative Terms.	Fundam. Informaticae	1999	DBLP DOI BibTeX RDF
12	Erik Weber	Unification: What is it, how do we Reach and why do we Want it?	Synth.	1999	DBLP DOI BibTeX RDF
12	Ilpo Halonen, Jaakko Hintikka	Unification - It's Magnificent But Is It Explanation?	Synth.	1999	DBLP DOI BibTeX RDF
12	Gerhard Schurz	Explanation as Unification.	Synth.	1999	DBLP DOI BibTeX RDF
12	Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck	Exploiting Type Analysis for Unification in a Distributed Environment.	Comput. Artif. Intell.	1999	DBLP BibTeX RDF
12	Silvio Ghilardi	Unification in Intuitionistic Logic.	J. Symb. Log.	1999	DBLP DOI BibTeX RDF