Search results for "unification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Peter E. Bulychev, Egor V. Kostylev, Vladimir A. Zakharov	Anti-unification Algorithms and Their Applications in Program Analysis.	Ershov Memorial Conference	2009	DBLP DOI BibTeX RDF
12	Qunli Wu, Hong Zheng, Xue Tan	The Problems of Unification and Coordination in the Development of E-Government in China.	IFITA (3)	2009	DBLP DOI BibTeX RDF	unified planning, e-government, countermeasures
12	Hermann Kaindl, Patrick Wagner 0003	A Unification of the Essence of Goal-Oriented Requirements Engineering.	ICSEA	2009	DBLP DOI BibTeX RDF
12	Christine Largeron, Bernard Kaddour, Maria Fernandez	SoftJaccard : une mesure de similarité entre ensembles de chaînes de caratères pour l'unification d'entités nommées.	EGC	2009	DBLP BibTeX RDF
12	Naoya Ohnishi, Atsushi Imiya, Tomoya Sakai 0002	Unification of Multichannel Motion Feature Using Boolean Polynomial.	ISVC (2)	2009	DBLP DOI BibTeX RDF
12	Costas P. Exarchos, Yorgos Goletsis, Dimitrios I. Fotiadis	Unification of Heterogeneous Data Towards the Prediction of Oral Cancer Reoccurrence.	AIAI Workshops	2009	DBLP BibTeX RDF
12	Christian Schulz 0009, Jan Alexandersson, Tilman Becker	Well-formed Default Unification in Non-deterministic Multiple Inheritance Hierarchies (short paper).	ICWS	2009	DBLP BibTeX RDF
12	Yosuke Matsusaka, Hiroyuki Fujii, Isao Hara	An extensible dialogue script for robot based on unification of state transition models.	CIRA	2009	DBLP DOI BibTeX RDF
12	Zádor Dániel Kelemen, Jos J. M. Trienekens, Rob J. Kusters, Katalin Balla	A Process Based Unification of Process-Oriented Software Quality Approaches.	ICGSE	2009	DBLP DOI BibTeX RDF
12	Franz Baader, Barbara Morawska 0001	Unification in the Description Logic EL.	Description Logics	2009	DBLP BibTeX RDF
12	David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino	On the Unification of Process Semantics: Observational Semantics.	SOFSEM	2009	DBLP DOI BibTeX RDF
12	Vincent van Leijen, Wilbert van Norden, Fok Bolderheij	Unification of radar and sonar coverage modeling.	FUSION	2009	DBLP BibTeX RDF
12	Tibor Bosse, Jan Treur	A Philosophical Foundation for Unification of Dynamic Modeling Methods Based on Higher-Order potentialities and their Reducers.	Adv. Complex Syst.	2008	DBLP DOI BibTeX RDF
12	Santiago Escobar 0001, José Meseguer 0001, Ralf Sasse	Variant Narrowing and Equational Unification.	WRLA	2008	DBLP DOI BibTeX RDF
12	Joe Hendrix, José Meseguer 0001	Order-sorted Equational Unification Revisited.	RULE	2008	DBLP DOI BibTeX RDF
12	Aldo Gangemi	Norms and plans as unification criteria for social collectives.	Auton. Agents Multi Agent Syst.	2008	DBLP DOI BibTeX RDF	Social relation, Ontology, Semantic web, Context, Multiagent system, Plan, Norm, Collective, Social agent, Intentionality, Knowledge community
12	Jiang Shu, Layne T. Watson, Naren Ramakrishnan, Frederick A. Kamke, Christopher L. North	Unification of problem solving environment implementation layers with XML-based specifications.	Adv. Eng. Softw.	2008	DBLP DOI BibTeX RDF
12	Jun Yao, Shinobu Miwa, Hajime Shimada, Shinji Tomita	A Dynamic Control Mechanism for Pipeline Stage Unification by Identifying Program Phases.	IEICE Trans. Inf. Syst.	2008	DBLP DOI BibTeX RDF
12	Teresa Alsinet, Carlos Iván Chesñevar, Lluís Godo, Sandra A. Sandri, Guillermo Ricardo Simari	Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification.	Int. J. Approx. Reason.	2008	DBLP DOI BibTeX RDF
12	Christophe Calvès, Maribel Fernández	A polynomial nominal unification algorithm.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
12	Gabrielle A. Reeves, Karen Eilbeck, Michele Magrane, Claire O'Donovan, Luisa Montecchi-Palazzi, Midori A. Harris, Sandra E. Orchard, Rafael C. Jiménez, Andreas Prlic, Tim J. P. Hubbard, Henning Hermjakob, Janet M. Thornton	The Protein Feature Ontology: a tool for the unification of protein feature annotations.	Bioinform.	2008	DBLP DOI BibTeX RDF
12	Paolo Marinelli, Fabio Vitali, Stefano Zacchiroli	Towards the unification of formats for overlapping markup.	New Rev. Hypermedia Multim.	2008	DBLP DOI BibTeX RDF
12	Sylvain Schmitz, Joseph Le Roux	Feature Unification in TAG Derivation Trees	CoRR	2008	DBLP BibTeX RDF
12	Sung-Pil Hong, Levent Tunçel	Unification of lower-bound analyses of the lift-and-project rank of combinatorial optimization polyhedra.	Discret. Appl. Math.	2008	DBLP DOI BibTeX RDF
12	Flávio L. C. de Moura, Mauricio Ayala-Rincón, Fairouz Kamareddine	Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions.	J. Appl. Log.	2008	DBLP DOI BibTeX RDF
12	Wojciech Dzik	Unification in some substructural logics of BL-algebras and hoops.	Reports Math. Log.	2008	DBLP BibTeX RDF
12	M. Z. Dai, S. I. Kim, Andrew Yap, Shaohua Liu, Arthur Cheng, Leeward Yi	A unification of interface-state generation and hole-injection for hot-carrier-injection stress in low and high-voltage NMOSFET.	Microelectron. Reliab.	2008	DBLP DOI BibTeX RDF
12	Itir Akdogan	A Review of: "Governing European Communications: From Unification to Coordination".	Inf. Soc.	2008	DBLP DOI BibTeX RDF
12	Vladimir V. Rybakov	Multi-modal and Temporal Logics with Universal Formula - Reduction of Admissibility to Validity and Unification.	J. Log. Comput.	2008	DBLP DOI BibTeX RDF
12	Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret	The Complexity of Monadic Second-Order Unification.	SIAM J. Comput.	2008	DBLP DOI BibTeX RDF
12	Thuy Vu, AiTi Aw, Min Zhang 0005	Term Extraction Through Unithood and Termhood Unification.	IJCNLP	2008	DBLP BibTeX RDF
12	Zeki Mustafa Dogan, Alfred Scharsky	Virtual Unification of the Earliest Christian Bible: Digitisation, Transcription, Translation and Physical Description of the Codex Sinaiticus.	ECDL	2008	DBLP DOI BibTeX RDF
12	Carlos Alberto Souza Jr., Ronaldo dos Santos Mello	An ontology-driven process for unification of XML instances.	WebMedia	2008	DBLP DOI BibTeX RDF
12	Jans Aasman	Unification of geospatial reasoning, temporal logic, & social network analysis in event-based systems.	DEBS	2008	DBLP DOI BibTeX RDF	RDF database, geospatial reasoning, geotemporal logic, social network analytics, metadata, OWL, RDFS, business intelligence, event-driven architectures, SPARQL, semantic technologies, graph database, event-based systems
12	Ekaterina Komendantskaya	Unification by Error-Correction.	NeSy	2008	DBLP BibTeX RDF
12	Mircea Marin (eds.)	Proceedings of the 22nd International Workshop on Unification, UNIF 2008, Castle of Hagenberg, Austria, July 18, 2008.	UNIF	2008	DBLP BibTeX RDF
12	François Marcotorchino	Essai de Typologie Structurelle des Indices de Similarité Vectoriels par Unification Relationnelle.	AAFD	2008	DBLP BibTeX RDF
12	Gianfranco Rossi	From Set Unification to Set Constraints.	Il Milione	2008	DBLP BibTeX RDF
12	Ülle Kotta, Palle Kotta, Miroslav Halás	Irreducibility and reduction of nonlinear control systems: Unification and extension via pseudo-linear algebra.	ICARCV	2008	DBLP DOI BibTeX RDF
12	Amine Dhraief, Nicolas Montavont	Toward Mobility and Multihoming Unification- The SHIM6 Protocol: A Case Study.	WCNC	2008	DBLP DOI BibTeX RDF
12	Sylvain Schmitz, Joseph Le Roux	Calculs d'unification sur les arbres de dérivation TAG.	TALN (Articles courts)	2008	DBLP BibTeX RDF
12	Wai Man To, Theodore Tryfonas, Dave W. Farthing	Audit Log Unification and Review with Log Management Information Bases.	DB&IS	2008	DBLP DOI BibTeX RDF
12	Keonsoo Lee, Minkoo Kim	A Novel Approach for Conflict Resolution in Context-Awareness Using Semantic Unification of Multi-Cognition.	PRIMA	2008	DBLP DOI BibTeX RDF
12	Claire Gardent	Integrating a Unification-Based Semantics in a Large Scale Lexicalised Tree Adjoining Grammar for French.	COLING	2008	DBLP BibTeX RDF
12	Iris Hui-Ru Jiang, Shung-Wei Lin, Yen-Ting Yu	Unification of obstacle-avoiding rectilinear Steiner tree construction.	SoCC	2008	DBLP DOI BibTeX RDF
12	Sylvain Schmitz, Joseph Le Roux	Feature Unification in TAG Derivation Trees.	TAG	2008	DBLP BibTeX RDF
12	Jans Aasman	Unification of Geospatial Reasoning, Temporal Logic, & Social Network Analysis in an RDF Database.	OIC	2008	DBLP BibTeX RDF
12	Robert P. Marinier III	A Computational Unification of Cognitive Control, Emotion, and Learning.		2008	RDF
12	Alberto Moraglio	Towards a geometric unification of evolutionary algorithms.		2008	RDF
12	Franz Baader, Andreas Bauer 0002, Alwen Tiu	Matching linear and non-linear trace patterns with regular policies.	UNIF	2008	DBLP BibTeX RDF
12	Mircea Marin, Temur Kutsia	Matching with Membership Constraints for Hedge and Context Variables.	UNIF	2008	DBLP BibTeX RDF
12	Allan Ramsay	A tractable logic of types.	UNIF	2008	DBLP BibTeX RDF
12	Jun Yao, Shinobu Miwa, Hajime Shimada, Shinji Tomita	Optimal pipeline depth with pipeline stage unification adoption.	SIGARCH Comput. Archit. News	2007	DBLP DOI BibTeX RDF
12	Wojciech Buszkowski	Rough Sets and Learning by Unification.	Fundam. Informaticae	2007	DBLP BibTeX RDF
12	Jacek Marciniec	From Unification Compactness to Learnability.	Fundam. Informaticae	2007	DBLP BibTeX RDF
12	Wenchang Chu, Qinglun Yan	Unification of the Quintuple and Septuple Product Identities.	Electron. J. Comb.	2007	DBLP DOI BibTeX RDF
12	Katrin Erk, Joachim Niehren	Dominance constraints in stratified context unification.	Inf. Process. Lett.	2007	DBLP DOI BibTeX RDF
12	Noboru Sebe	Unification of independent and sequential procedures for decentralized controller design.	Autom.	2007	DBLP DOI BibTeX RDF
12	David Verstraeten, Benjamin Schrauwen, Michiel D'Haene, Dirk Stroobandt	An experimental unification of reservoir computing methods.	Neural Networks	2007	DBLP DOI BibTeX RDF
12	Thierry Boy de la Tour, Mnacho Echenim	Permutative rewriting and unification.	Inf. Comput.	2007	DBLP DOI BibTeX RDF
12	Ruoming Jin, Yuri Breitbart, Chibuike Muoh	Data Discretization Unification.	ICDM	2007	DBLP DOI BibTeX RDF
12	Aldo Gangemi, Jos Lehmann, Carola Catenacci	Norms and plans as unification criteria for social collectives.	Normative Multi-agent Systems	2007	DBLP BibTeX RDF
12	Michel C. A. Klein, Peter Mika, Stefan Schlobach	Rough Description Logics for Modeling Uncertainty in Instance Unification.	URSW	2007	DBLP BibTeX RDF
12	Alexandre Kruszewski, Thierry-Marie Guerra, Salim Labiod	Stabilization of Takagi-Sugeno Discrete Models: Towards an Unification of the Results.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
12	Petra Steiner, Claudia Prün	The effects of diversification and unification on the inflectional paradigms of German nouns.	Exact Methods in the Study of Language and Text	2007	DBLP DOI BibTeX RDF
12	Martin Plümicke	Java Type Unification with Wildcards.	INAP/WLP	2007	DBLP DOI BibTeX RDF
12	H. Brendan McMahan, Geoffrey J. Gordon	A Unification of Extensive-Form Games and Markov Decision Processes.	AAAI	2007	DBLP BibTeX RDF
12	François Lareau	Vers une formalisation des décompositions sémantiques dans la Grammaire d'Unification Sens-Texte.	TALN (Posters)	2007	DBLP BibTeX RDF
12	José Ghislain Quenum	A Unification and Delegation Approach to Configure Generic Protocols for Agent Interactions.	IAT	2007	DBLP DOI BibTeX RDF
12	Wasif Gilani, Fabian Scheler, Daniel Lohmann, Olaf Spinczyk, Wolfgang Schröder-Preikschat	Unification of Static and Dynamic AOP for Evolution in Embedded Software Systems.	SC@ETAPS	2007	DBLP DOI BibTeX RDF
12	Yi Zhang 0003, Stephan Oepen, John Carroll 0001	Efficiency in Unification-Based N-Best Parsing.	IWPT	2007	DBLP BibTeX RDF
12	Sampo Pyysalo, Filip Ginter, Veronika Laippala, Katri Haverinen, Juho Heimonen, Tapio Salakoski	On the unification of syntactic annotations under the Stanford dependency scheme: A case study on BioInfer and GENIA.	BioNLP@ACL	2007	DBLP BibTeX RDF
12	J. Gerard Wolff	Medical diagnosis as pattern recognition in a framework of information compression by multiple alignment, unification and search.	Decis. Support Syst.	2006	DBLP DOI BibTeX RDF
12	Christophe Calvès, Maribel Fernández	Implementing Nominal Unification.	TERMGRAPH@ETAPS	2006	DBLP DOI BibTeX RDF
12	Swapna S. Gokhale, Kishor S. Trivedi	Analytical Models for Architecture-Based Software Reliability Prediction: A Unification Framework.	IEEE Trans. Reliab.	2006	DBLP DOI BibTeX RDF
12	Luis González Abril, Cecilio Angulo, Francisco Velasco Morente, Andreu Català	Dual unification of bi-class support vector machine formulations.	Pattern Recognit.	2006	DBLP DOI BibTeX RDF
12	Aaron Birkland, Golan Yona	BIOZON: a system for unification, management and analysis of heterogeneous biological data.	BMC Bioinform.	2006	DBLP DOI BibTeX RDF
12	Yunnan Wu, Kamal Jain, Sun-Yuan Kung	A unification of network coding and tree-packing (routing) theorems.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF	routing, multicast, network coding, steiner tree, flow
12	Frank Wolter, Michael Zakharyaschev	Undecidability of the unification and admissibility problems for modal and description logics	CoRR	2006	DBLP BibTeX RDF
12	Alin Suciu	Yet Another Efficient Unification Algorithm	CoRR	2006	DBLP BibTeX RDF
12	Adrian Paschke	A Typed Hybrid Description Logic Programming Language with Polymorphic Order-Sorted DL-Typed Unification for Semantic Web Type Systems	CoRR	2006	DBLP BibTeX RDF
12	Majid Khayari, Stéphane Schneider, Isabelle Kramer, Laurent Romary	Unification of multi-lingual scientific terminological resources using the ISO 16642 standard. The TermSciences initiative	CoRR	2006	DBLP BibTeX RDF
12	Max Tuengerthal, Ralf Küsters, Mathieu Turuani	Implementing a Unification Algorithm for Protocol Analysis with XOR	CoRR	2006	DBLP BibTeX RDF
12	David R. Karger, William Jones 0001	Data unification in personal information management.	Commun. ACM	2006	DBLP DOI BibTeX RDF
12	Robert Steven Patching, Chris J. Hinde, Stephen A. McCoy	Inconsistency and semantic unification.	Fuzzy Sets Syst.	2006	DBLP DOI BibTeX RDF
12	G. Belitskii, Ruvim Lipyanski	The unification type of the Pythagorean equation in varieties of nilpotent rings.	J. Symb. Comput.	2006	DBLP DOI BibTeX RDF
12	Agostino Dovier, Enrico Pontelli, Gianfranco Rossi	Set unification.	Theory Pract. Log. Program.	2006	DBLP DOI BibTeX RDF
12	Shuly Wintner	Introduction to Unification Grammars.	Recent Advances in Formal Languages and Applications	2006	DBLP DOI BibTeX RDF
12	Keigo Hirakawa, Xiao-Li Meng	An Empirical Bayes Em-Wavelet Unification for Simultaneous Denoising, Interpolation, and/Or Demosaicing.	ICIP	2006	DBLP DOI BibTeX RDF
12	Bastian Florentz, Tilo Mücke	Unification and Evaluation of Graph Drawing Algorithms for Different Application Domains.	IV	2006	DBLP DOI BibTeX RDF
12	Jason Polendo, Chunjiang Qian	A universal method for robust stabilization of nonlinear systems: unification and extension of smooth and non-smooth approaches.	ACC	2006	DBLP DOI BibTeX RDF
12	Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn	Simple unification-based type inference for GADTs.	ICFP	2006	DBLP DOI BibTeX RDF	type inference, generalized algebraic data types
12	Adrian Paschke	A Typed Hybrid Description Logic Programming Language with Polymorphic Order-Sorted DL-Typed Unification for Semantic Web Type Systems.	OWLED	2006	DBLP BibTeX RDF
12	Amandeep S. Sidhu, Tharam S. Dillon, Elizabeth Chang 0001	Unification of Protein Data and Knowledge Sources.	KES (1)	2006	DBLP DOI BibTeX RDF
12	Peter Weinstein	Model Unification in Support of Political Process.	AAAI Spring Symposium: Semantic Web Meets eGovernment	2006	DBLP BibTeX RDF
12	Koichiro Doi, Tetsuya Yamashita, Akihiro Yamamoto	An Efficient Algorithm for Computing Kernel Function Defined with Anti-unification.	ILP	2006	DBLP DOI BibTeX RDF
12	László Lengyel, Tihamer Levendovszky, Gergely Mezei, Bertalan Forstner, Hassan Charaf	Towards a Model-Based Unification of Mobile Platforms.	AICCSA	2006	DBLP DOI BibTeX RDF
12	Xin Mei, Weihong Cui, Mengquan Wu	Research on Unification of Spatial Reference of Multi-source Data in 3S Integration.	IGARSS	2006	DBLP DOI BibTeX RDF
12	Iryna Kozlova, Norbert Ritter	An Approach to Unification of XML and Object-Relational Data Models.	iiWAS	2006	DBLP BibTeX RDF
12	Dale A. Lambert	A Unification of Sensor and Higher-Level Fusion.	FUSION	2006	DBLP DOI BibTeX RDF