Search results for "unification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Qing Li 0005, Sung-Hyon Myaeng, Yun Jin, Bo-Yeong Kang	Concept Unification of Terms in Different Languages for IR.	ACL	2006	DBLP BibTeX RDF
12	Daniel Feinstein, Shuly Wintner	Highly Constrained Unification Grammars.	ACL	2006	DBLP BibTeX RDF
12	Sylvain Kahane	Polarized Unification Grammars.	ACL	2006	DBLP BibTeX RDF
12	Philip Turner	Unification of digital evidence from disparate sources (Digital Evidence Bags).	Digit. Investig.	2005	DBLP DOI BibTeX RDF
12	Jim S. Tiller	Unification: Sooner or Later.	Inf. Secur. J. A Glob. Perspect.	2005	DBLP DOI BibTeX RDF
12	Andreas Witt, Daniela Goecke, Felix Sasaki, Harald Lüngen	Unification of XML Documents with Concurrent Markup.	Lit. Linguistic Comput.	2005	DBLP DOI BibTeX RDF
12	Kristin M. Rosen	Analysis of speech segment duration with the lognormal distribution: A basis for unification and comparison.	J. Phonetics	2005	DBLP DOI BibTeX RDF
12	Richard K. Martin, Koen Vanbleu, Ming Ding, Geert Ysebaert, Milos Milosevic, Brian L. Evans, Marc Moonen, C. Richard Johnson Jr.	Unification and evaluation of equalization structures and design algorithms for discrete multitone modulation systems.	IEEE Trans. Signal Process.	2005	DBLP DOI BibTeX RDF
12	Manfred Schmidt-Schauß, Klaus U. Schulz	Decidability of bounded higher-order unification.	J. Symb. Comput.	2005	DBLP DOI BibTeX RDF
12	Venkatesh Choppella, Christopher T. Haynes	Source-tracking unification.	Inf. Comput.	2005	DBLP DOI BibTeX RDF
12	Petros Maragos	Lattice Image Processing: A Unification of Morphological and Fuzzy Algebraic Systems.	J. Math. Imaging Vis.	2005	DBLP DOI BibTeX RDF
12	Wenbing Zhao 0001, Louise E. Moser, P. M. Melliar-Smith	Unification of Transactions and Replication in Three-Tier Architectures Based on CORBA.	IEEE Trans. Dependable Secur. Comput.	2005	DBLP DOI BibTeX RDF	Fault tolerance, CORBA, replication, transaction processing, three-tier architectures
12	Georgios B. Giannakis, Paul A. Anghel, Zhengdao Wang	Generalized Multicarrier CDMA: Unification and Linear Equalization.	EURASIP J. Adv. Signal Process.	2005	DBLP DOI BibTeX RDF
12	Philip Turner	Unification of Digital Evidence from Disparate Sources (Digital Evidence Bags).	DFRWS	2005	DBLP BibTeX RDF
12	John Carroll 0001, Stephan Oepen	High Efficiency Realization for a Wide-Coverage Unification Grammar.	IJCNLP	2005	DBLP DOI BibTeX RDF
12	Nikolaos Avourdiadis, Andrew Blyth	Data Unification and Data Fusion of Intrusion Detection Logs in a Network Centric Environment.	ECIW	2005	DBLP BibTeX RDF
12	Isabelle Tellier	Inférence grammaticale et grammaires catégorielles: vers la Grande Unification!	CAP	2005	DBLP BibTeX RDF
12	Hamid Abdul Basit, Damith C. Rajapakse, Stan Jarzabek	An Empirical Study on Limits of Clone Unification Using Generics.	SEKE	2005	DBLP BibTeX RDF
12	Neil J. Gunther	Unification of Amdahl's Law, LogP and Other Performance Models for Message-Passing Architectures.	IASTED PDCS	2005	DBLP BibTeX RDF
12	Jeroen Keppens, Burkhard Schafer 0001	Assumption Based Peg Unification for Crime Scenario Modelling.	JURIX	2005	DBLP BibTeX RDF
12	Juan P. Palacios, José Cremades, Carmen Costilla	Towards a Web Digital Archive Ontological Unification.	ICITA (1)	2005	DBLP DOI BibTeX RDF
12	Ariel Arbiser	Towards the unification of intuitive and formal game concepts with applications to computer chess.	DiGRA Conference	2005	DBLP BibTeX RDF
12	Sylvain Kahane, François Lareau	Grammaire d'Unification Sens-Texte : modularité et polarisation.	TALN (Articles longs)	2005	DBLP BibTeX RDF
12	Jun Yao 0001, Hajime Shimada, Yasuhiko Nakashima, Shin-ichiro Mori, Shinji Tomita	Program Phase Detection Based Dynamic Control Mechanisms for Pipeline Stage Unification Adoption.	ISHPC	2005	DBLP DOI BibTeX RDF
12	Takashi Ninomiya, Yoshimasa Tsuruoka, Yusuke Miyao, Jun'ichi Tsujii	Efficacy of Beam Thresholding, Unification Filtering and Hybrid Parsing in Probabilistic HPSG Parsing.	IWPT	2005	DBLP BibTeX RDF
12	Liviu Ciortuz	The Quick Check Pre-unification Filter for Typed Grammars: Extensions.	IWPT	2005	DBLP BibTeX RDF
12	Micha Elsner, Mary D. Swift, James F. Allen, Daniel Gildea	Online Statistics for a Unification-Based Dialogue Parser.	IWPT	2005	DBLP BibTeX RDF
12	Witold Drozdzynski, Hans-Ulrich Krieger, Jakub Piskorski, Ulrich Schäfer	SProUT - A General-Purpose NLP Framework Integrating Finite-State and Unification-Based Grammar Formalisms.	FSMNLP	2005	DBLP DOI BibTeX RDF
12	Chun-Sik Yoo, Seon-Mi Woo, Yong-Sung Kim	Unification of XML DTD for XML Documents with Similar Structure.	ICCSA (3)	2005	DBLP DOI BibTeX RDF
12	Srinath Vadlamani, Scott E. Parker, Yang Chen, Charlson C. Kim	The particle-continuum method: an algorithmic unification of particle-in-cell and continuum methods.	Comput. Phys. Commun.	2004	DBLP DOI BibTeX RDF
12	Jacek Marciniec	Optimal Unification of Infinite Sets of Types.	Fundam. Informaticae	2004	DBLP BibTeX RDF
12	Malcolm W. Stevens	Unification of relative time frames for digital forensics.	Digit. Investig.	2004	DBLP DOI BibTeX RDF
12	Olfa Ben Naceur-Mourali, Christophe Gonzales	Une unification des algorithmes d'inférence de Pearl et de Jensen.	Rev. d'Intelligence Artif.	2004	DBLP DOI BibTeX RDF
12	Pietro Cenciarelli, Alessandro Tiberi	Rational Unification in 28 Characters.	TERMGRAPH	2004	DBLP DOI BibTeX RDF
12	Silvio Ghilardi, Lorenzo Sacchetti	Filtering unification and most general unifiers in modal logic.	J. Symb. Log.	2004	DBLP DOI BibTeX RDF
12	Huub M. M. ten Eikelder, A. A. van Erk	Unification of some Least Squares Clustering Methods.	J. Math. Model. Algorithms	2004	DBLP DOI BibTeX RDF
12	Witold Drozdzynski, Hans-Ulrich Krieger, Jakub Piskorski, Ulrich Schäfer, Feiyu Xu 0001	Shallow Processing with Unification and Typed Feature Structures - Foundations and Applications.	Künstliche Intell.	2004	DBLP BibTeX RDF
12	Hideo Ogawa	Affine Invariant Partial Shape Matching by means of Unification and Expansion of Local Correspondences.	IEICE Trans. Inf. Syst.	2004	DBLP BibTeX RDF
12	Sho Kikkawa, Hisashi Yoshida	On unification of equivalent bandwidths of a random process.	IEEE Signal Process. Lett.	2004	DBLP DOI BibTeX RDF
12	Christian Urban, Andrew M. Pitts, Murdoch Gabbay	Nominal unification.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
12	Robert A. Herrmann	The best possible unification for any collection of physical theories.	Int. J. Math. Math. Sci.	2004	DBLP DOI BibTeX RDF
12	Junshi Yazaki, Keiichi Kojima, Kouji Suzuki, Naoki Kishimoto, Shoshi Kikuchi	The Rice PIPELINE: a unification tool for plant functional genomics.	Nucleic Acids Res.	2004	DBLP DOI BibTeX RDF
12	Richard M. Troy III	Computational Unification: a Vision for Connecting Researchers	CoRR	2004	DBLP BibTeX RDF
12	Florentin Smarandache	Unification of Fusion Theories	CoRR	2004	DBLP BibTeX RDF
12	Florentin Smarandache	An In-Depth Look at Information Fusion Rules & the Unification of Fusion Theories	CoRR	2004	DBLP BibTeX RDF
12	Liviu-Virgil Ciortuz	The Quick Check Pre-unification Filter for Typed Grammars: Further Advances.	Sci. Ann. Cuza Univ.	2004	DBLP BibTeX RDF
12	Silvio Ghilardi	Unification, finite duality and projectivity in varieties of Heyting algebras.	Ann. Pure Appl. Log.	2004	DBLP DOI BibTeX RDF
12	Jesús Medina 0001, Manuel Ojeda-Aciego, Peter Vojtás	Similarity-based unification: a multi-adjoint approach.	Fuzzy Sets Syst.	2004	DBLP DOI BibTeX RDF
12	Petri Selonen, Mika Siikarla, Kai Koskimies, Tommi Mikkonen	Towards the Unification of Patterns and Profiles in UML.	Nord. J. Comput.	2004	DBLP BibTeX RDF
12	Philip J. Reny, Arthur J. Robson	Reinterpreting mixed strategy equilibria: a unification of the classical and Bayesian views.	Games Econ. Behav.	2004	DBLP DOI BibTeX RDF
12	Alberto Oliart, Wayne Snyder	Fast algorithms for uniform semi-unification.	J. Symb. Comput.	2004	DBLP DOI BibTeX RDF
12	Manfred Schmidt-Schauß	Decidability of bounded second order unification.	Inf. Comput.	2004	DBLP DOI BibTeX RDF
12	Fumihiko Asano, Zhi Wei Luo, Masaki Yamakita	Unification of dynamic gait generation methods via variable virtual gravity and its control performance analysis.	IROS	2004	DBLP DOI BibTeX RDF
12	Ulrik Pagh Schultz	A Unification of Inheritance and Automatic Program Specialization.	GPCE	2004	DBLP DOI BibTeX RDF
12	Flávio L. C. de Moura	Understanding Higher Order Unification via Explicit Substitutions and Patterns.	IJCAR Doctoral Programme	2004	DBLP BibTeX RDF
12	Sylvain Kahane	Grammaires d'unification polarisées.	TALN (Articles longs)	2004	DBLP BibTeX RDF
12	Saurabh N. Adya, S. Chaturvedi, Jarrod A. Roy, David A. Papa, Igor L. Markov	Unification of partitioning, placement and floorplanning.	ICCAD	2004	DBLP DOI BibTeX RDF
12	Jan W. Amtrup	Efficient Finite State Unification Morphology.	COLING	2004	DBLP BibTeX RDF
12	David Crombie, Roger Lenoir, Neil McKenzie, Klaus Miesenberger	Interfacing the Interface: Unification Through Separation.	User Interfaces for All	2004	DBLP DOI BibTeX RDF
12	Laura Kallmeyer, Maribel Romero	LTAG Semantics with Semantic Unification.	TAG+	2004	DBLP BibTeX RDF
12	Luc Charest, El Mostapha Aboulhamid, Guy Bois	Using Design Patterns for Type Unification and Introspection in SystemC.	IWSOC	2004	DBLP DOI BibTeX RDF
12	Yasuo Matsuyama, Satoshi Yoshinaga, Hirofumi Okuda, Keisuke Fukumoto, Satoshi Nagatsuma, Kazuya Tanikawa, Hiroto Hakui, Ryusuke Okuhara, Naoto Katsumata	Towards the Unification of Human Movement, Animation and Humanoid in the Network.	ICONIP	2004	DBLP DOI BibTeX RDF
12	Saurabh N. Adya	Unification of VLSI placement and floorplanning.		2004	RDF
12	María Ángeles Galán García	Categorical Unification.		2004	RDF
12	Andrew Blyth	An XML-based architecture to perform data integration and data unification in vulnerability assessments.	Inf. Secur. Tech. Rep.	2003	DBLP DOI BibTeX RDF
12	Marco Bellia, M. Eugenia Occhiuto	N-axioms Parallel Unification.	Fundam. Informaticae	2003	DBLP BibTeX RDF
12	Michel Ménard, Vincent Courboulay, Pierre-André Dardignac	Possibilistic and probabilistic fuzzy clustering: unification within the framework of the non-extensive thermostatistics.	Pattern Recognit.	2003	DBLP DOI BibTeX RDF
12	J. Gerard Wolff	Information Compression by Multiple Alignment, Unification and Search as a Unifying Principle in Computing and Cognition.	Artif. Intell. Rev.	2003	DBLP DOI BibTeX RDF
12	Zhuhan Jiang, Olivier Y. de Vel, Bruce E. Litow	Unification and extension of weighted finite automata applicable to image compression.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
12	J. Gerard Wolff	Probabilistic Reasoning as Information Compression by Multiple Alignment, Unification and Search: An Introduction and Overview	CoRR	2003	DBLP BibTeX RDF
12	J. Gerard Wolff	Mathematics and Logic as Information Compression by Multiple Alignment Unification and Search	CoRR	2003	DBLP BibTeX RDF
12	J. Gerard Wolff	'Computing' as Information Compression by Multiple Alignment Unification and Search	CoRR	2003	DBLP BibTeX RDF
12	J. Gerard Wolff	Information Compression by Multiple Alignment, Unification and Search as a Unifying Principle in Computing and Cognition	CoRR	2003	DBLP 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	CoRR	2003	DBLP BibTeX RDF
12	J. Gerard Wolff	Unsupervised Learning in a Framework of Information Compression by Multiple Alignment, Unification and Search	CoRR	2003	DBLP BibTeX RDF
12	J. Gerard Wolff	Unsupervised Grammar Induction in a Framework of Information Compression by Multiple Alignment, Unification and Search	CoRR	2003	DBLP BibTeX RDF
12	Rodrigo Readi Nasser	A Note on First Order Unification.	Bull. EATCS	2003	DBLP BibTeX RDF
12	Tony Abou-Assaleh, Nick Cercone	Relaxed unification--Proposal.	Appl. Math. Lett.	2003	DBLP DOI BibTeX RDF
12	Liviu-Virgil Ciortuz	Inductive learning of attribute path values in typed-unification grammars.	Sci. Ann. Cuza Univ.	2003	DBLP BibTeX RDF
12	Andrei Voronkov	Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF
12	Conor McBride	First-order unification by structural recursion.	J. Funct. Program.	2003	DBLP DOI BibTeX RDF
12	Michio Oyamaguchi, Yoshikatsu Ohta	The unification problem for confluent right-ground term rewriting systems.	Inf. Comput.	2003	DBLP DOI BibTeX RDF
12	Greg Meredith	Documents as Processes: A Unification of the Entire Web Service Stack.	WISE	2003	DBLP DOI BibTeX RDF
12	Srividya Srinivasaraghavan, Wayne P. Burleson	Interconnect Effort - A Unification of Repeater Insertion and Logical Effort.	ISVLSI	2003	DBLP DOI BibTeX RDF
12	Pieter Wisse	The Constitutional Force of Perspective Phenomenology: Philosophical Unification in Information Systems.	AMCIS	2003	DBLP BibTeX RDF
12	Wassim M. Haddad, VijaySekhar Chellaboina, Sergey G. Nersesov	A unification between partial stability of state-dependent impulsive systems and stability theory for time-dependent impulsive systems.	ACC	2003	DBLP DOI BibTeX RDF
12	Gang Tao	A unification of multivariable mrac ]based on high frequency gain matrix decompositions.	ACC	2003	DBLP DOI BibTeX RDF
12	Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi 0001	Unification & Sharing in Timed Automata Verification.	SPIN	2003	DBLP DOI BibTeX RDF
12	Miguel A. Laguna, Bruno González-Baixauli, Oscar López, Francisco José García-Peñalvo	Software Process and Reuse: A Required Unification.	OOIS	2003	DBLP DOI BibTeX RDF
12	Sergey V. Petoukhov	The Biperiodic Table and Attributive Conception of Genetic Code: A Problem of Unification Bases of Biological Languages.	METMBS	2003	DBLP BibTeX RDF
12	Manny Rayner, Beth Ann Hockey, John Dowding	An Open-Source Environment for Compiling Typed Unification Grammars into Speech Recognisers.	EACL	2003	DBLP BibTeX RDF
12	Frederik Fouvry	Lexicon Acquisition with a large-coverage unification-based grammar.	EACL	2003	DBLP BibTeX RDF
12	Sylvain Kahane	Les signes grammaticaux dans l'interface sémantique-syntaxe d'une grammaire d'unification.	TALN (Articles longs)	2003	DBLP BibTeX RDF
12	Brian D. Davison 0001	Toward a unification of text and link analysis.	SIGIR	2003	DBLP DOI BibTeX RDF	RageRank, knowledge representation, search engines, authorities, link analysis, eigenvectors, HITS, hubs
12	J. Gerard Wolff	Unsupervised Grammar Induction in a Framework of Information Compression by Multiple Alignment, Unification and Search.	ECML Workshop on Learning Contex-Free Grammars	2003	DBLP BibTeX RDF
12	Carol C. Burt, Barrett R. Bryant, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston	Model Driven Security: Unification of Authorization Models for Fine-Grain Access Control.	EDOC	2003	DBLP DOI BibTeX RDF
12	Montserrat Marimon	On distributing the analysis process of a broad-coverage unification-based grammar of spanish.		2003	RDF
12	Barbara Dziemidowicz	Optimal Unification and Learning Algorithms for Categorial Grammars.	Fundam. Informaticae	2002	DBLP BibTeX RDF
12	Erik Weber, Maarten Van Dyck	Unification And Explanation.	Synth.	2002	DBLP DOI BibTeX RDF
12	Thomas Bartelborth	Explanatory Unification.	Synth.	2002	DBLP DOI BibTeX RDF