Search results for "unification"

Hits ?▲	Authors	Title	Venue	Year	Link
12	Kosaku Kimura, Yoshihide Nomura, Hidetoshi Kurihara, Koji Yamamoto 0002, Rieko Yamamoto	Multi-query Unification for Generating Efficient Big Data Processing Components from a DFD.	IEEE CLOUD	2013	DBLP DOI BibTeX RDF
12	Marcin Gorawski, Aleksander Chrószcz, Anna Gorawska	Customer Unification in E-Commerce.	IDEAL	2013	DBLP DOI BibTeX RDF
12	David A. Plaisted, Swaha Miller	The Relative Power of Semantics and Unification.	Programming Logics	2013	DBLP DOI BibTeX RDF
12	Nate Kushman, Regina Barzilay	Using Semantic Unification to Generate Regular Expressions from Natural Language.	HLT-NAACL	2013	DBLP BibTeX RDF
12	Takahito Aoto 0001, Munehiro Iwami	Termination of Rule-Based Calculi for Uniform Semi-Unification.	LATA	2013	DBLP DOI BibTeX RDF
12	Marcin Gorawski, Aleksander Chrószcz, Anna Gorawska	User Identity Unification in e-Commerce.	ICSS	2013	DBLP DOI BibTeX RDF
12	Petr Homola	E-Unification of Feature Structures.	KICSS	2013	DBLP DOI BibTeX RDF
12	Mathieu Raynal, Emmanuel Dubois 0001, Bénédicte Schmitt	Towards Unification for Pointing Task Evaluation in 3D Desktop Virtual Environment.	SouthCHI	2013	DBLP DOI BibTeX RDF
12	Jorge Picado, Javier Gutiérrez García	Variants of normality and their duals: a pointfree unification of insertion and extension theorems for real-valued functions.	TACL	2013	DBLP DOI BibTeX RDF
12	Antonio Di Nola, Revaz Grigolia, Giacomo Lenzi	Projectivity and unification in the varieties of locally finite monadic MV-algebras.	TACL	2013	DBLP DOI BibTeX RDF
12	Shaahin Madani, Ibrahim Khalil	Garbled Routing (GR): Towards Unification of Anonymous Networks.	TrustCom/ISPA/IUCC	2013	DBLP DOI BibTeX RDF
12	Imed Eddine Saidi, Taoufiq Dkaki, Nacereddine Zarour, Pierre-Jean Charrel	Towards Unification of Requirements Engineering Approaches using Semantics-based Process.	KDIR/KMIS	2013	DBLP DOI BibTeX RDF
12	Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret	A Variant of Higher-Order Anti-Unification.	RTA	2013	DBLP DOI BibTeX RDF
12	Konstantin Korovin, Barbara Morawska 0001 (eds.)	27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013	UNIF@RTA/TLCA	2013	DBLP BibTeX RDF
12	Christophe Calvès	Unifying Nominal Unification.	RTA	2013	DBLP DOI BibTeX RDF
12	One-Soon Her, Yun-Ru Chen	Unification of Numeral Classifiers and Plural Markers: Empirical Facts and Implications.	PACLIC	2013	DBLP BibTeX RDF
12	Franz Baader, Oliver Fernandez Gil, Barbara Morawska 0001	Hybrid EL-Unification is NP-complete.	Description Logics	2013	DBLP BibTeX RDF
12	Franz Baader, Oliver Fernandez Gil, Barbara Morawska 0001	Hybrid Unification in the Description Logic.	FroCos	2013	DBLP DOI BibTeX RDF
12	Aaron D. Ames, Matthew J. Powell	Towards the Unification of Locomotion and Manipulation through Control Lyapunov Functions and Quadratic Programs.	CPSW@CISS	2013	DBLP DOI BibTeX RDF
12	Eric Norige, Alex X. Liu, Eric Torng	A Ternary Unification Framework for optimizing TCAM-based packet classification systems.	ANCS	2013	DBLP DOI BibTeX RDF
12	Shreyaben Brahmakshatriya, Sushma Danturi, Kimberly A. Gero, Paliath Narendran	Unication Problems Modulo a Theory of Until.	UNIF@RTA/TLCA	2013	DBLP DOI BibTeX RDF
12	Tatyana A. Novikova, Vladimir A. Zakharov	Is it possible to unify sequential programs?	UNIF@RTA/TLCA	2013	DBLP DOI BibTeX RDF
12	María Alpuente, Santiago Escobar 0001, Javier Espert	Detecting Modular ACU Structural Symmetries.	UNIF@RTA/TLCA	2013	DBLP DOI BibTeX RDF
12	Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen	Hierarchical Combination of Unication Algorithms (Extended Abstract).	UNIF@RTA/TLCA	2013	DBLP DOI BibTeX RDF
12	Germano Resconi, Chris J. Hinde	Introduction to Active Sets and Unification.	Trans. Comput. Collect. Intell.	2012	DBLP DOI BibTeX RDF
12	Juri Belikov, Ülle Kotta, Maris Tõnso	State-space realization of nonlinear control systems: unification and extension via pseudo-linear algebra.	Kybernetika	2012	DBLP BibTeX RDF
12	Jordi Levy, Mateu Villaret	Nominal Unification from a Higher-Order Perspective.	ACM Trans. Comput. Log.	2012	DBLP DOI BibTeX RDF
12	Clemente Rubio-Manzano	Design and implementation of a fuzzy logic programming language using weak unification.	AI Commun.	2012	DBLP DOI BibTeX RDF
12	Horst Bunke, Kaspar Riesen	Towards the unification of structural and statistical pattern recognition.	Pattern Recognit. Lett.	2012	DBLP DOI BibTeX RDF
12	Onur Can Sert, Kayhan Dursun, Tansel Özyer, Jamal Jida, Reda Alhajj	The Unification and Assessment of Multi-Objective Clustering Results of Categorical Datasets with H-Confidence Metric.	J. Univers. Comput. Sci.	2012	DBLP DOI BibTeX RDF
12	Zude Zhu, Peter Hagoort, John X. Zhang, Gangyi Feng, Hsuan-Chih Chen, Marcel C. M. Bastiaansen, Suiping Wang	The anterior left inferior frontal gyrus contributes to semantic unification.	NeuroImage	2012	DBLP DOI BibTeX RDF
12	Paul Langacker	Grand unification.	Scholarpedia	2012	DBLP DOI BibTeX RDF
12	Philip Ehrlich	The absolute arithmetic continuum and the unification of all numbers great and small.	Bull. Symb. Log.	2012	DBLP DOI BibTeX RDF
12	Farrukh Mukhamedov, Mansoor Saburov	On Unification of the Strong Convergence Theorems for a Finite Family of Total Asymptotically Nonexpansive Mappings in Banach Spaces.	J. Appl. Math.	2012	DBLP DOI BibTeX RDF
12	Qi Kang, Jing An, Lei Wang 0006, Qidi Wu	Unification and Diversity of Computation Models for Generalized Swarm Intelligence.	Int. J. Artif. Intell. Tools	2012	DBLP DOI BibTeX RDF
12	Tanvir Ahmed 0001, Mohammad Saiedur Rahaman, Mohammad Saidur Rahman 0001, Manzur H. Khan	A Coherent Distributed Grid Service for Assimilation and Unification of Heterogeneous Data Source	CoRR	2012	DBLP BibTeX RDF
12	Tracy Holloway King	Unification Grammars Nissim Francez* and Shuly Wintner‡ (*Technion-Israel Institute of Technology and ‡University of Haifa) Cambridge University Press, 2012, xii+312 pp; hardbound, ISBN 978-1-107-01417-6, $95.00.	Comput. Linguistics	2012	DBLP DOI BibTeX RDF
12	Siva Anantharaman, Hai Lin 0005, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch	Unification Modulo Homomorphic Encryption.	J. Autom. Reason.	2012	DBLP DOI BibTeX RDF
12	Wojciech Dzik, Piotr Wojtylak	Projective unification in modal logic.	Log. J. IGPL	2012	DBLP DOI BibTeX RDF
12	Katarzyna Slomczynska	Unification and projectivity in Fregean varieties.	Log. J. IGPL	2012	DBLP DOI BibTeX RDF
12	Mohammad Ardeshir, Vahid Vaezian	A unification of the basic logics of Sambin and Visser.	Log. J. IGPL	2012	DBLP DOI BibTeX RDF
12	Murdoch James Gabbay	Meta-variables as infinite lists in nominal terms unification and rewriting.	Log. J. IGPL	2012	DBLP DOI BibTeX RDF
12	Dmitry Chernyavskiy, Natalia G. Miloslavskaya	A concept of unification of network security policies.	SIN	2012	DBLP DOI BibTeX RDF
12	Simona Colucci, Francesco M. Donini	Using Prolog Unification to Solve Non-standard Reasoning Problems in Description Logics.	CILC	2012	DBLP BibTeX RDF
12	Patricia Conde Céspedes, François Marcotorchino	Modularisation et Recherche de Communautés dans les réseaux complexes par Unification Relationnelle.	AAFD	2012	DBLP BibTeX RDF
12	Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michaël Rusinowitch	Unification Modulo Chaining.	LATA	2012	DBLP DOI BibTeX RDF
12	François Bry, Sebastian Schaffert	Simulation Unification: Beyond Querying Semistructured Data (Invited Talk).	ICLP (Technical Communications)	2012	DBLP DOI BibTeX RDF
12	Takuma Otsuka, Katsuhiko Ishiguro, Hiroshi Sawada, Hiroshi G. Okuno	Bayesian Unification of Sound Source Localization and Separation with Permutation Resolution.	AAAI	2012	DBLP DOI BibTeX RDF
12	Siva Anantharaman, Serdar Erbatur, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch	Unification Modulo Synchronous Distributivity.	IJCAR	2012	DBLP DOI BibTeX RDF
12	Andrew M. Marshall, Paliath Narendran	New Algorithms for Unification Modulo One-Sided Distributivity and Its Variants.	IJCAR	2012	DBLP DOI BibTeX RDF
12	Alexander Leitsch, Tomer Libal	A Resolution Calculus for Second-order Logic with Eager Unification.	PAAR@IJCAR	2012	DBLP DOI BibTeX RDF
12	Franz Baader, Julian Mendez 0001, Barbara Morawska 0001	UEL: Unification Solver for the Description Logic ℇℒ - System Description.	IJCAR	2012	DBLP DOI BibTeX RDF
12	Franz Baader, Stefan Borgwardt, Barbara Morawska 0001	SAT Encoding of Unification in ℇℒℋR+ w.r.t. Cycle-Restricted Ontologies.	IJCAR	2012	DBLP DOI BibTeX RDF
12	Po-Cheng Pan, Hung-Ming Chen, Yi-Kan Cheng, Jill Liu, Wei-Yi Hu	Configurable analog routing methodology via technology and design constraint unification.	ICCAD	2012	DBLP DOI BibTeX RDF
12	Rouzbeh Farahmand, Gerald Penn	Flexible Structural Analysis of Near-Meet-Semilattices for Typed Unification-Based Grammar Design.	COLING	2012	DBLP BibTeX RDF
12	Shin-ya Nishizaki	Incorporating First-Order Unification into Functional Language via First-Class Environments.	SPIT	2012	DBLP DOI BibTeX RDF
12	Carles Creus, Adrià Gascón, Guillem Godoy	One-context Unification with STG-Compressed Terms is in NP.	RTA	2012	DBLP DOI BibTeX RDF
12	Franz Baader, Stefan Borgwardt, Barbara Morawska 0001	Extending Unification in EL Towards General TBoxes.	KR	2012	DBLP BibTeX RDF
12	Sergey A. Stupnikov	Унификация модели данных, основанной на многомерных массивах, при интеграции неоднородных информационных ресурсов (Unification of an Array Data Model for the Integration of Heterogeneous Information Resources).	RCDL	2012	DBLP BibTeX RDF
12	Raymond W. Yeung	A unification of network coding and routing.	ITA	2012	DBLP DOI BibTeX RDF
12	Ryotaro Kamimura	Separation and Unification of Individuality and Collectivity and Its Application to Explicit Class Structure in Self-Organizing Maps.	ICANN (2)	2012	DBLP DOI BibTeX RDF
12	Franz Baader, Stefan Borgwardt, Julian Mendez 0001, Barbara Morawska 0001	UEL: Unification Solver for EL.	Description Logics	2012	DBLP BibTeX RDF
12	Franz Baader, Stefan Borgwardt, Barbara Morawska 0001	A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes.	Description Logics	2012	DBLP BibTeX RDF
12	Timm Lichte	Synchronous Tree Unification Grammar.	TAG	2012	DBLP BibTeX RDF
12	Ines Ben Messaoud 0002, Jamel Feki, Gilles Zurfluh	A first step for building a document warehouse: Unification of XML documents.	RCIS	2012	DBLP DOI BibTeX RDF
12	Saad Tanveer, Aslam Muhammad 0001, Ana María Martínez Enríquez, Gonzalo Escalada-Imaz	Phonetic Unification of Multiple Accents for Spanish and Arabic Languages.	MCPR	2012	DBLP DOI BibTeX RDF
12	Joseph S. Sventek, Alexandros Koliousis	Unification of Publish/Subscribe Systems and Stream Databases - The Impact on Complex Event Processing.	Middleware	2012	DBLP DOI BibTeX RDF
12	Franz Baader, Stefan Borgwardt, Barbara Morawska 0001	A Goal-Oriented Algorithm for Unification in ℇℒℋR+ w.r.t. Cycle-Restricted Ontologies.	Australasian Conference on Artificial Intelligence	2012	DBLP DOI BibTeX RDF
12	Gergely Varró, Anthony Anjorin, Andy Schürr	Unification of Compiled and Interpreter-Based Pattern Matching Techniques.	ECMFA	2012	DBLP DOI BibTeX RDF
12	Thomas Given-Wilson	Concurrent pattern unification		2012	RDF
12	Kimberly A. Gero, Christopher Bouchard, Paliath Narendran	Some Notes on Basic Syntactic Mutation.	UNIF	2012	DBLP DOI BibTeX RDF
12	Fred Y. Ye	A unification of three models for the h-index.	J. Assoc. Inf. Sci. Technol.	2011	DBLP DOI BibTeX RDF
12	Fred Y. Ye	A theoretical approach to the unification of informetric models by wave-heat equations.	J. Assoc. Inf. Sci. Technol.	2011	DBLP DOI BibTeX RDF
12	Zeeshan Ali Rana, Mian M. Awais, Shafay Shamail	Nomenclature unification of software product measures.	IET Softw.	2011	DBLP DOI BibTeX RDF
12	Saber Benharzallah, Sahli Siham	Approximate XQuery Reformulation Based on GLAV Mapping and Unification.	Int. J. Web Appl.	2011	DBLP BibTeX RDF
12	Adrià Gascón, Guillem Godoy, Manfred Schmidt-Schauß	Unification and matching on compressed terms.	ACM Trans. Comput. Log.	2011	DBLP DOI BibTeX RDF
12	Abdourrahmane M. Atto, Dominique Pastor, Grégoire Mercier	Wavelet shrinkage: unification of basic thresholding functions and thresholds.	Signal Image Video Process.	2011	DBLP DOI BibTeX RDF
12	Kristian Uldall Kristiansen, Phil L. Palmer, Mark Roberts	A Unification of Models of Tethered Satellites.	SIAM J. Appl. Dyn. Syst.	2011	DBLP DOI BibTeX RDF
12	Ünal Ufuktepe, Sinan Kapçak	Unification of calculus on Time Scales with mathematica.	Appl. Math. Comput.	2011	DBLP DOI BibTeX RDF
12	Hacer Ozden	p-Adic distribution of the unification of the Bernoulli, Euler and Genocchi polynomials.	Appl. Math. Comput.	2011	DBLP DOI BibTeX RDF
12	Gianfranco Rossi	From set unification to set constraints.	Intelligenza Artificiale	2011	DBLP DOI BibTeX RDF
12	Serdar Erbatur, Andrew M. Marshall, Deepak Kapur, Paliath Narendran	Unification over Distributive Exponentiation (Sub)Theories.	J. Autom. Lang. Comb.	2011	DBLP DOI BibTeX RDF
12	Raf Vandebril, Gianna M. Del Corso	A unification of unitary similarity transforms to compressed representations.	Numerische Mathematik	2011	DBLP DOI BibTeX RDF
12	Juergen Mangler, Stefanie Rinderle-Ma	IUPC: Identification and Unification of Process Constraints	CoRR	2011	DBLP BibTeX RDF
12	Alexis Akira Toda	Unification of Maximum Entropy and Bayesian Inference via Plausible Reasoning	CoRR	2011	DBLP BibTeX RDF
12	David Romero-Hernández, David de Frutos-Escrig	On the Unification of Process Semantics: Logical Semantics	SOS	2011	DBLP DOI BibTeX RDF
12	Yael Sygal, Shuly Wintner	Towards Modular Development of Typed Unification Grammars.	Comput. Linguistics	2011	DBLP DOI BibTeX RDF
12	Sergey Babenyshev, Vladimir V. Rybakov	Unification in linear temporal logic LTL.	Ann. Pure Appl. Log.	2011	DBLP DOI BibTeX RDF
12	Takashi Ninomiya, Takuya Matsuzaki, Nobuyuki Shimizu, Hiroshi Nakagawa	Deterministic shift-reduce parsing for unification-based grammars.	Nat. Lang. Eng.	2011	DBLP DOI BibTeX RDF
12	Krzysztof Grabczewski, Norbert Jankowski	Saving time and memory in computational intelligence system with machine unification and task spooling.	Knowl. Based Syst.	2011	DBLP DOI BibTeX RDF
12	Sean A. Fulop	Erratum to: Grammar Induction by Unification of Type-logical Lexicons.	J. Log. Lang. Inf.	2011	DBLP DOI BibTeX RDF
12	Tomohiro Umetani, Kenji Inoue, Tatsuo Arai	Pose Estimation of Construction Materials Using Multiple ID Devices for Parts and Packets Unification.	Comput. Aided Civ. Infrastructure Eng.	2011	DBLP DOI BibTeX RDF
12	Christian Straßer, Dunja Seselja	Towards the Proof-theoretic Unification of Dung's Argumentation Framework: an Adaptive Logic Approach.	J. Log. Comput.	2011	DBLP DOI BibTeX RDF
12	Emilio Jesús Gallego Arias, James Lipton, Julio Mariño, Pablo Nogueira	First-order unification using variable-free relational algebra.	Log. J. IGPL	2011	DBLP DOI BibTeX RDF
12	María Alpuente, Santiago Escobar 0001, José Iborra	Modular termination of basic narrowing and equational unification.	Log. J. IGPL	2011	DBLP DOI BibTeX RDF
12	Franz Baader, Silvio Ghilardi	Unification in modal and description logics.	Log. J. IGPL	2011	DBLP DOI BibTeX RDF
12	Janusz Kacprzyk, Hannu Nurmi, Slawomir Zadrozny	The Role of the OWA Operators as a Unification Tool for the Representation of Collective Choice Sets.	Recent Developments in the Ordered Weighted Averaging Operators	2011	DBLP DOI BibTeX RDF
12	Mario Bunge	Two Unification Strategies: Analysis or Reduction, and Synthesis or Integration.	Otto Neurath and the Unity of Science	2011	DBLP DOI BibTeX RDF
12	Rosalie Iemhoff	Unification in Logic.	WoLLIC	2011	DBLP DOI BibTeX RDF
12	Ülle Kotta, Palle Kotta, Maris Tõnso, Miroslav Halás	State-space realization of nonlinear input-output equations: Unification and extension via pseudo-linear algebra.	ICCA	2011	DBLP DOI BibTeX RDF