Search results for "unification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Hasan M. Jamil	Computing subgraph isomorphic queries using structural unification and minimum graph structures.	SAC	2011	DBLP DOI BibTeX RDF
12	Pipei Huang, Shiyin Qin, Donghuan Lu	A Novel Approach to Image Assessment by Seeking Unification of Subjective and Objective Criteria Based on Supervised Learning.	MIRAGE	2011	DBLP DOI BibTeX RDF
12	Muhammad Aqeel Wahlah, Kees Goossens	PUMA: Placement Unification with Mapping and Guaranteed Throughput Allocation on an FPGA Using a Hardwired NoC.	DSD	2011	DBLP DOI BibTeX RDF
12	Andreas Abel 0001, Brigitte Pientka	Higher-Order Dynamic Pattern Unification for Dependent Types and Records.	TLCA	2011	DBLP DOI BibTeX RDF
12	Martin Schmidt 0002, Helmar Gust, Kai-Uwe Kühnberger, Ulf Krumnack	Refinements of Restricted Higher-Order Anti-Unification for Heuristic-Driven Theory Projection.	KI	2011	DBLP DOI BibTeX RDF
12	Franz Baader, Barbara Morawska 0001, Jan Otop (eds.)	Proceedings of the 25th International Workshop on Unification, UNIF 2011, Wroclaw, Poland, July 31, 2011.	UNIF	2011	DBLP BibTeX RDF
12	Steven Eker	Fast Sort Computations for Order-Sorted Matching and Unification.	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
12	Ondrej Klíma 0001, Libor Polák	Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups.	Algebraic Foundations in Computer Science	2011	DBLP DOI BibTeX RDF
12	Menghan Chen, Beijun Shen	A semantic unification approach for M2M applications based on ontology.	WiMob	2011	DBLP DOI BibTeX RDF
12	Eva García, Luis de Marcos, Antonio García-Cabot, José Ramón Hilera	A system for usable unification of interfaces of learning objects in m-learning.	ITiCSE	2011	DBLP DOI BibTeX RDF
12	Atsutomo Kobayashi, Buntarou Shizuki, Jiro Tanaka	Data Unification on a Dataflow Visual Language for Vjing.	DMS	2011	DBLP BibTeX RDF
12	Zhiqiang Liu, Christopher Lynch	Efficient General Unification for XOR with Homomorphism.	CADE	2011	DBLP DOI BibTeX RDF
12	Franz Baader, Thanh Binh Nguyen 0003, Stefan Borgwardt, Barbara Morawska 0001	Unification in the Description Logic EL without the Top Concept.	CADE	2011	DBLP DOI BibTeX RDF
12	Serdar Erbatur, Christopher Lynch, Paliath Narendran	Unification in a Theory of Blind Signatures.	TABLEAUX (Workshops, Tutorials, and Short Papers)	2011	DBLP BibTeX RDF
12	Vladimir V. Rybakov	Agents' Logics with Common Knowledge and Uncertainty: Unification Problem, Algorithm for Construction Solutions.	KES (1)	2011	DBLP DOI BibTeX RDF
12	Vladimir V. Rybakov	Chance Discovery and Unification in Linear Modal Logic.	KES (2)	2011	DBLP DOI BibTeX RDF
12	César Jesús Pardo Calvache, Francisco J. Pino, Félix García 0001, Mario Piattini, Maria Teresa Baldassarre, Sandra Lemus	Homogenization, Comparison and Integration: A Harmonizing Strategy for the Unification of Multi-models in the Banking Sector.	PROFES	2011	DBLP DOI BibTeX RDF
12	Matthew Skala, Gerald Penn	Approximate Bit Vectors for Fast Unification.	MOL	2011	DBLP DOI BibTeX RDF
12	Claire Bonial, William J. Corvey, Martha Palmer, Volha Petukhova, Harry Bunt	A Hierarchical Unification of LIRICS and VerbNet Semantic Roles.	ICSC	2011	DBLP DOI BibTeX RDF	thematic roleset, semantic annotation, lexical resources
12	Wen-Ran Zhang	YinYang bipolar atom and quantum cellular automation - A unification.	BIBM Workshops	2011	DBLP DOI BibTeX RDF
12	Santiago Escobar 0001, Deepak Kapur, Christopher Lynch, Catherine Meadows 0001, José Meseguer 0001, Paliath Narendran, Ralf Sasse	Protocol analysis in Maude-NPA using unification modulo homomorphic encryption.	PPDP	2011	DBLP DOI BibTeX RDF
12	Temur Kutsia, Jordi Levy, Mateu Villaret	Anti-Unification for Unranked Terms and Hedges.	RTA	2011	DBLP DOI BibTeX RDF
12	Francisco Durán 0001, Steven Eker, Santiago Escobar 0001, José Meseguer 0001, Carolyn L. Talcott	Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6.	RTA	2011	DBLP DOI BibTeX RDF
12	Adrià Gascón, Sebastian Maneth, Lander Ramos	First-Order Unification on Compressed Terms.	RTA	2011	DBLP DOI BibTeX RDF
12	Anatoli Gorchetchnikov, Massimiliano Versace, Heather Ames, Ben Chandler, Jasmin Léveillé, Gennady Livitz, Ennio Mingolla, Greg Snider, Rick Amerson, Dick Carter, Hisham Abdalla, Muhammad Shakeel Qureshi	Review and unification of learning framework in Cog Ex Machina platform for memristive neuromorphic hardware.	IJCNN	2011	DBLP DOI BibTeX RDF
12	Hassan Aït-Kaci	A Sorted-Graph Unification Approach to the Semantic Web.	Web Intelligence	2011	DBLP DOI BibTeX RDF
12	Hiroyuki Okamura, Tadashi Dohi	Unification of Software Reliability Models Using Markovian Arrival Processes.	PRDC	2011	DBLP DOI BibTeX RDF
12	Germano Resconi, Christopher J. Hinde	Active Sets and Unification.	KES-AMSTA	2011	DBLP DOI BibTeX RDF
12	Yohan Jo, Alice Oh	Aspect and sentiment unification model for online review analysis.	WSDM	2011	DBLP DOI BibTeX RDF
12	Franz Baader, Thanh Binh Nguyen 0003, Stefan Borgwardt, Barbara Morawska 0001	Unification in the Description Logic EL without the Top Concept.	Description Logics	2011	DBLP BibTeX RDF
12	Dylan Seychell, Alexiei Dingli	RULIE: Rule Unification for Learning Information Extraction.	LDH	2011	DBLP BibTeX RDF
12	Thanh Binh Nguyen 0003	Decidability of Unification in EL without Top Constructor.	RR	2011	DBLP DOI BibTeX RDF
12	Ines Ben Messaoud 0002, Jamel Feki, Kaïs Khrouf, Gilles Zurfluh	Unification of XML Document Structures for Document Warehouse (DocW).	ICEIS (1)	2011	DBLP BibTeX RDF
12	Yael Sygal	Modular development of typed unification grammars: a mathematical and computational infrastracture for grammar engineering.		2011	RDF
12	Stefan Ciobaca	Computing finite variants for subterm convergent rewrite systems.	UNIF	2011	DBLP BibTeX RDF
12	Lukasz Stafiniak	Joint Constraint Abduction Problems.	UNIF	2011	DBLP BibTeX RDF
12	Wojciech Dzik, Piotr Wojtylak	Projective Unifiers in Modal Logics.	UNIF	2011	DBLP BibTeX RDF
12	Franz Baader, Nguyen Thanh Binh 0003, Stefan Borgwardt, Barbara Morawska 0001	Computing Local Unifiers in the Description Logic EL without the Top Concept.	UNIF	2011	DBLP BibTeX RDF
12	Yosuke Matsusaka, Hiroyuki Fujii, Isao Hara	An Extensible Dialogue Script for a Robot Based on Unification of State-Transition Models.	J. Robotics	2010	DBLP DOI BibTeX RDF
12	Ülle Kotta, Palle Kotta, Miroslav Halás	Reduction and transfer equivalence of nonlinear control systems: unification and extension via pseudo-linear algebra.	Kybernetika	2010	DBLP BibTeX RDF
12	José Ghislain Quenum, Samir Aknine	A unification-based approach to configure generic protocols into agent interaction models.	Int. J. Agent Oriented Softw. Eng.	2010	DBLP DOI BibTeX RDF
12	Arekhandia Patrick Eigbe, Brian J. Sauser, John T. Boardman	Soft systems analysis of the unification of test and evaluation and program management: A study of a Federal Aviation Administration's strategy.	Syst. Eng.	2010	DBLP DOI BibTeX RDF
12	Marcel C. M. Bastiaansen, Lilla Magyari, Peter Hagoort	Syntactic Unification Operations Are Reflected in Oscillatory Dynamics during On-line Sentence Comprehension.	J. Cogn. Neurosci.	2010	DBLP DOI BibTeX RDF
12	Grzegorz Bancerek	A Model of Mizar Concepts - Unification.	Formaliz. Math.	2010	DBLP DOI BibTeX RDF
12	Mohammed Belkhatir	CLOVIS: towards precision-oriented text-based video retrieval through the unification of automatically-extracted concepts and relations of the visual and audio/speech contents.	J. Intell. Inf. Syst.	2010	DBLP DOI BibTeX RDF
12	Clare Horsman, William J. Munro	Hybrid Hypercomputing: Towards a Unification of Quantum and Classical Computation.	Int. J. Unconv. Comput.	2010	DBLP BibTeX RDF
12	Ichiro Mitsuhashi, Michio Oyamaguchi, Kunihiro Matsuura	The Unification Problem for Confluent Semi-Constructor TRSs.	IEICE Trans. Inf. Syst.	2010	DBLP DOI BibTeX RDF
12	Tineke M. Snijders, Karl Magnus Petersson, Peter Hagoort	Effective connectivity of cortical and subcortical regions during unification of sentence structure.	NeuroImage	2010	DBLP DOI BibTeX RDF
12	Hiroaki Nishikawa	A first-order system approach for diffusion equation. II: Unification of advection and diffusion.	J. Comput. Phys.	2010	DBLP DOI BibTeX RDF
12	Yin Yang, Guodong Rong, Luis G. Torres, Xiaohu Guo	Real-time hybrid solid simulation: spectral unification of deformable and rigid materials.	Comput. Animat. Virtual Worlds	2010	DBLP DOI BibTeX RDF
12	Jaroslaw Pykacz	Unification of Two Approaches to Quantum Logic: Every Birkhoff - von Neumann Quantum Logic is a Partial Infinite-Valued Łukasiewicz Logic.	Stud Logica	2010	DBLP DOI BibTeX RDF
12	Y. Lu, B. Hu, J. Yu	Unification and Simplification of Dynamics of Limited-DOF Parallel Manipulators with Linear Active Legs.	Int. J. Robotics Autom.	2010	DBLP DOI BibTeX RDF
12	Sreekanth Malladi	Disabling equational theories in unification for cryptographic protocol analysis through tagging	CoRR	2010	DBLP BibTeX RDF
12	Jordi Levy, Mateu Villaret	Nominal Unification from a Higher-Order Perspective	CoRR	2010	DBLP BibTeX RDF
12	Anders Schack-Nielsen, Carsten Schürmann	Pattern Unification for the Lambda Calculus with Linear and Affine Types	LFMTP	2010	DBLP DOI BibTeX RDF
12	Adrià Gascón, Guillem Godoy, Manfred Schmidt-Schauß	Unification and Matching on Compressed Terms	CoRR	2010	DBLP BibTeX RDF
12	Franz Baader, Barbara Morawska 0001	Unification in the Description Logic EL	Log. Methods Comput. Sci.	2010	DBLP BibTeX RDF
12	Maribel Fernández (eds.)	Proceedings 24th International Workshop on Unification, UNIF 2010, Edinburgh, United Kingdom, 14th July 2010.	UNIF	2010	DBLP DOI BibTeX RDF
12	Juliette Rouchier	The Bounds of Reason: Game Theory and the Unification of the Behavioral Sciences by Herbert Gintis.	J. Artif. Soc. Soc. Simul.	2010	DBLP BibTeX RDF
12	Guillaume Prigent, Florian Vichot, Fabrice Harrouet	IpMorph: fingerprinting spoofing unification.	J. Comput. Virol.	2010	DBLP DOI BibTeX RDF
12	Patrice Auffret	SinFP, unification of active and passive operating system fingerprinting.	J. Comput. Virol.	2010	DBLP DOI BibTeX RDF
12	Sean A. Fulop	Grammar Induction by Unification of Type-logical Lexicons.	J. Log. Lang. Inf.	2010	DBLP DOI BibTeX RDF
12	James Cheney	Equivariant Unification.	J. Autom. Reason.	2010	DBLP DOI BibTeX RDF
12	Temur Kutsia, Jordi Levy, Mateu Villaret	On the relation between Context and Sequence Unification.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
12	Adrià Gascón, Guillem Godoy, Manfred Schmidt-Schauß, Ashish Tiwari 0001	Context unification with one context variable.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
12	Gilles Dowek, Murdoch James Gabbay, Dominic P. Mulligan	Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques.	Log. J. IGPL	2010	DBLP DOI BibTeX RDF
12	Yi Zhang 0003, Stephan Oepen, John Carroll 0001	Efficiency in Unification-Based N-Best Parsing.	Trends in Parsing Technology	2010	DBLP DOI BibTeX RDF
12	Andréia B. Avelar, Flávio L. C. de Moura, André Luiz Galdino, Mauricio Ayala-Rincón	Verification of the Completeness of Unification Algorithms à la Robinson.	WoLLIC	2010	DBLP DOI BibTeX RDF
12	Franz Baader, Barbara Morawska 0001	SAT Encoding of Unification in EL.	LPAR (Yogyakarta)	2010	DBLP DOI BibTeX RDF
12	Amine Dhraief, Abdelfettah Belghith	Suitability analysis of mobility and multihoming unification.	ICWUS	2010	DBLP DOI BibTeX RDF
12	Pascual Julián Iranzo, Clemente Rubio-Manzano	An efficient fuzzy unification method and its implementation into the Bousi~Prolog system.	FUZZ-IEEE	2010	DBLP DOI BibTeX RDF
12	François Bry, Tim Furche, Clemens Ley, Bruno Marnette, Benedikt Linse, Sebastian Schaffert	Datalog Relaunched: Simulation Unification and Value Invention.	Datalog	2010	DBLP DOI BibTeX RDF
12	Andrew S. Miner, Yaping Jing	A Formal Language toward the Unification of Model Checking and Performance Evaluation.	ASMTA	2010	DBLP DOI BibTeX RDF
12	Norbert Jankowski, Krzysztof Grabczewski	Increasing Efficiency of Data Mining Systems by Machine Unification and Double Machine Cache.	ICAISC (1)	2010	DBLP DOI BibTeX RDF
12	Christian Kruschitz, Martin Hitz	Bringing formalism and unification to human-computer interaction design patterns.	PEICS@EICS	2010	DBLP DOI BibTeX RDF
12	Roman Barták	Constraint Models for Reasoning on Unification in Inductive Logic Programming.	AIMSA	2010	DBLP DOI BibTeX RDF
12	Ramana Kumar, Michael Norrish	(Nominal) Unification by Recursive Descent with Triangular Substitutions.	ITP	2010	DBLP DOI BibTeX RDF
12	Tom Kwiatkowski, Luke Zettlemoyer, Sharon Goldwater, Mark Steedman	Inducing Probabilistic CCG Grammars from Logical Form with Higher-Order Unification.	EMNLP	2010	DBLP BibTeX RDF
12	Temur Kutsia, Mircea Marin	Order-Sorted Unification with Regular Expression Sorts.	RTA	2010	DBLP DOI BibTeX RDF
12	Jordi Levy, Mateu Villaret	An Efficient Nominal Unification Algorithm.	RTA	2010	DBLP DOI BibTeX RDF
12	Benedikt Linse	Data integration on the (semantic) web with rules and rich unification.		2010	RDF
12	Sophie Rodier	Une tentative d'unification et de résolution des problèmes de modélisation et d'optimisation dans les systèmes hospitaliers . Application au nouvel hôpital Estaing. (An attempt to unify and solve the questions of modeling and optimization within the hospital systems. Application to the New Estaing Hospital).		2010	RDF
12	Sunil Kothari, James L. Caldwell	A Machine Checked Model of Idempotent MGU Axioms For Lists of Equational Constraints	UNIF	2010	DBLP DOI BibTeX RDF
12		Unification Framework.	Encyclopedia of Biometrics	2009	DBLP DOI BibTeX RDF
12	David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino	On the Unification of Process Semantics: Equational Semantics.	MFPS	2009	DBLP DOI BibTeX RDF
12	Cathelijne M. J. Y. Tesink, Karl Magnus Petersson, Jos J. A. Van Berkum, Danielle van den Brink, Jan K. Buitelaar, Peter Hagoort	Unification of Speaker and Meaning in Language Comprehension: An fMRI Study.	J. Cogn. Neurosci.	2009	DBLP DOI BibTeX RDF
12	Hayato Chiba	Extension and Unification of Singular Perturbation Methods for ODEs Based on the Renormalization Group Method.	SIAM J. Appl. Dyn. Syst.	2009	DBLP DOI BibTeX RDF
12	Jordi Levy, Mateu Villaret	Simplifying the signature in second-order unification.	Appl. Algebra Eng. Commun. Comput.	2009	DBLP DOI BibTeX RDF
12	Ruoming Jin, Yuri Breitbart, Chibuike Muoh	Data discretization unification.	Knowl. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Gini index, MDLP, G 2 test, Entropy, Discretization, Chi-square test
12	Qing Li 0005, Yuanzhu Peter Chen, Sung-Hyon Myaeng, Yun Jin, Bo-Yeong Kang	Concept unification of terms in different languages via web mining for Information Retrieval.	Inf. Process. Manag.	2009	DBLP DOI BibTeX RDF
12	Wen-Ran Zhang	The logic of YinYang and the science of TCM: An eastern road to the unification of nature, agents and medicine.	Int. J. Funct. Informatics Pers. Medicine	2009	DBLP DOI BibTeX RDF
12	Hui Liu 0002, Jinglei Zhao, Ruzhan Lu	Toward the Formal Verification of a Unification System.	IEEE Trans. Syst. Man Cybern. Part B	2009	DBLP DOI BibTeX RDF
12	Hui Liu 0002, Jinglei Zhao, Ruzhan Lu	Toward the Formal Verification of a Unification System.	IEEE Trans. Syst. Man Cybern. Part B	2009	DBLP DOI BibTeX RDF
12	Patrik Björkholm, Erik L. L. Sonnhammer	Comparative analysis and unification of domain-domain interaction networks.	Bioinform.	2009	DBLP DOI BibTeX RDF
12	Xiaochu Qi	An Implementation of the Language Lambda Prolog Organized around Higher-Order Pattern Unification	CoRR	2009	DBLP BibTeX RDF
12	Claudio Sacerdoti Coen, Enrico Tassi	Nonuniform Coercions via Unification Hints	TYPES	2009	DBLP DOI BibTeX RDF
12	Yourim Yoon, Yong-Hyuk Kim, Alberto Moraglio, Byung Ro Moon	A Mathematical Unification of Geometric Crossovers Defined on Phenotype Space	CoRR	2009	DBLP BibTeX RDF
12	Robert P. Marinier III, John E. Laird, Richard L. Lewis	A computational unification of cognitive behavior and emotion.	Cogn. Syst. Res.	2009	DBLP DOI BibTeX RDF
12	Nicholas L. Cassimatis	Flexible Inference with Structured Knowledge through Reasoned Unification.	IEEE Intell. Syst.	2009	DBLP DOI BibTeX RDF
12	Mark Burgin	Theory of Information - Fundamentality, Diversity and Unification		2009	DOI RDF