Search results for "unification"

Hits ?▲	Authors	Title	Venue	Year	Link
12	Peter Backeman, Philipp Rümmer	Theorem Proving with Bounded Rigid E-Unification.	CADE	2015	DBLP DOI BibTeX RDF
12	Tomer Libal	Regular Patterns in Second-Order Unification.	CADE	2015	DBLP DOI BibTeX RDF
12	Toshihiro Hanawa, Yuetsu Kodama, Taisuke Boku, Hideharu Amano, Hitoshi Murai, Masayuki Umemura, Mitsuhisa Sato	Towards Unification of Accelerated Computing and Interconnection For Extreme-Scale Computing.	ARC	2015	DBLP DOI BibTeX RDF
12	Peter Backeman, Philipp Rümmer	Efficient Algorithms for Bounded Rigid E-unification.	TABLEAUX	2015	DBLP DOI BibTeX RDF
12	Rodrigo Geraldo Ribeiro, Carlos Camarão 0001	A Mechanized Textbook Proof of a Type Unification Algorithm.	SBMF	2015	DBLP DOI BibTeX RDF
12	Gavin Rens	Speeding up Online POMDP Planning - Unification of Observation Branches by Belief-state Compression Via Expected Feature Values.	ICAART (2)	2015	DBLP BibTeX RDF
12	Claudio Delli Bovi, Luis Espinosa Anke, Roberto Navigli	Knowledge Base Unification via Sense Embeddings and Disambiguation.	EMNLP	2015	DBLP DOI BibTeX RDF
12	Konstantin Sokolov, Dimitri Timofeev, Alexander Samochadin	Process Extraction from Texts using Semantic Unification.	KMIS	2015	DBLP DOI BibTeX RDF
12	Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos	Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification.	RTA	2015	DBLP DOI BibTeX RDF
12	Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret	Nominal Anti-Unification.	RTA	2015	DBLP DOI BibTeX RDF
12	Adrià Gascón, Manfred Schmidt-Schauß, Ashish Tiwari 0001	Two-Restricted One Context Unification is in Polynomial Time.	CSL	2015	DBLP DOI BibTeX RDF
12	Peter Backeman, Philipp Rümmer	Free Variables and Theories: Revisiting Rigid E-unification.	FroCos	2015	DBLP DOI BibTeX RDF
12	Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen	Unification and Matching in Hierarchical Combinations of Syntactic Theories.	FroCos	2015	DBLP DOI BibTeX RDF
12	B. H. Shekar, Bharathi Pilar, Josef Kittler	An unification of Inner Distance Shape Context and Local Binary Pattern for Shape Representation and Classification.	PerMIn	2015	DBLP DOI BibTeX RDF
12	Mariusz Chmielewski, Piotr Stapor	Medical Data Unification Using Ontology-Based Semantic Model Structural Analysis.	ISAT (3)	2015	DBLP DOI BibTeX RDF
12	Sergey A. Stupnikov, Natalia G. Miloslavskaya, Vladimir Budzko	Unification of Graph Data Models for Heterogeneous Security Information Resources' Integration.	FiCloud	2015	DBLP DOI BibTeX RDF
12	Guohua Zhou, Jianping Xu, Jinping Wang	Constant-Frequency Peak-Ripple-Based Control of Buck Converter in CCM: Review, Unification, and Duality.	IEEE Trans. Ind. Electron.	2014	DBLP DOI BibTeX RDF
12	Nadav Rotem, Yosi Ben-Asher	Block Unification IF-conversion for High Performance Architectures.	IEEE Comput. Archit. Lett.	2014	DBLP DOI BibTeX RDF
12	Melissa A. Haendel, James P. Balhoff, Frederic B. Bastian, David C. Blackburn, Judith A. Blake, Yvonne M. Bradford, Aurélie Comte, Wasila M. Dahdul, Thomas Dececchi, Robert E. Druzinsky, Terry F. Hayamizu, Nizar Ibrahim, Suzanna E. Lewis, Paula M. Mabee, Anne Niknejad, Marc Robinson-Rechavi, Paul C. Sereno, Christopher J. Mungall	Unification of multi-species vertebrate anatomy ontologies for comparative biology in Uberon.	J. Biomed. Semant.	2014	DBLP DOI BibTeX RDF
12	Dolf Rami	On the unification argument for the predicate view on proper names.	Synth.	2014	DBLP DOI BibTeX RDF
12	Simone Bova, Leonardo Manuel Cabrer	Unification and Projectivity in De Morgan and Kleene Algebras.	Order	2014	DBLP DOI BibTeX RDF
12	Anand Rangarajan 0001	Revisioning the unification of syntax, semantics and statistics in shape analysis.	Pattern Recognit. Lett.	2014	DBLP DOI BibTeX RDF
12	Maayan Zhitomirsky-Geffet, Judit Bar-Ilan	Towards maximal unification of semantically diverse ontologies for controversial domains.	Aslib J. Inf. Manag.	2014	DBLP DOI BibTeX RDF
12	Hacer Ozden, Yilmaz Simsek	Modification and unification of the Apostol-type numbers and polynomials and their applications.	Appl. Math. Comput.	2014	DBLP DOI BibTeX RDF
12	Zainab Ali Khalaf, Tan Tien Ping	Novel Noun Pronunciation Unification Approach to Improve Story Boundary Identification in the Transcription of Malay News Broadcasts.	Int. J. Comput. Sci. Appl.	2014	DBLP BibTeX RDF
12	Sandi Klavzar, Mohammad J. Nadjafi-Arani	Wiener index in weighted graphs via unification of Θ∗Θ∗-classes.	Eur. J. Comb.	2014	DBLP DOI BibTeX RDF
12	Janos X. Binder, Sune Pletscher-Frankild, Kalliopi Tsafou, Christian Stolte, Seán I. O'Donoghue, Reinhard Schneider 0002, Lars Juhl Jensen	COMPARTMENTS: unification and visualization of protein subcellular localization evidence.	Database J. Biol. Databases Curation	2014	DBLP DOI BibTeX RDF
12	Mikolas Janota, Leroy Chew, Olaf Beyersdorff	On Unification of QBF Resolution-Based Calculi.	Electron. Colloquium Comput. Complex.	2014	DBLP BibTeX RDF
12	Ivaylo Hristakiev, Detlef Plump	A Unification Algorithm for GP 2.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2014	DBLP DOI BibTeX RDF
12	Jochen Burghardt, Birgit Heinz	Implementing Anti-Unification Modulo Equational Theory.	CoRR	2014	DBLP BibTeX RDF
12	Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michaël Rusinowitch	Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining.	Log. Methods Comput. Sci.	2014	DBLP DOI BibTeX RDF
12	Jochen Burghardt	Regular Substitution Sets: A Means of Controlling E-Unification.	CoRR	2014	DBLP BibTeX RDF
12	Samson Abramsky, Mehrnoosh Sadrzadeh	Semantic Unification A sheaf theoretic approach to natural language.	CoRR	2014	DBLP BibTeX RDF
12	Zádor Dániel Kelemen	Process Based Unification for Multi-Model Software Process Improvement.	CoRR	2014	DBLP BibTeX RDF
12	Justin B. Kinney	Unification of Field Theory and Maximum Entropy Methods for Learning Probability Densities.	CoRR	2014	DBLP BibTeX RDF
12	Jonathan Scarlett, Alfonso Martinez, Albert Guillén i Fàbregas	The Saddlepoint Approximation: A Unification of Exponents, Dispersions and Moderate Deviations.	CoRR	2014	DBLP BibTeX RDF
12	Clément Aubert, Marc Bagnol	Unification and Logarithmic Space.	CoRR	2014	DBLP BibTeX RDF
12	J. Gerard Wolff	Medical diagnosis as pattern recognition in a framework of information compression by multiple alignment, unification and search.	CoRR	2014	DBLP BibTeX RDF
12	Jürgen Wedekind	On the Universal Generation Problem for Unification Grammars.	Comput. Linguistics	2014	DBLP DOI BibTeX RDF
12	Shaahin Madani, Ibrahim Khalil	Garbled Routing (GR): A generic framework towards unification of anonymous communication systems.	J. Netw. Comput. Appl.	2014	DBLP DOI BibTeX RDF
12	Jeroen P. Goudsmit, Rosalie Iemhoff	On unification and admissible rules in Gabbay-de Jongh logics.	Ann. Pure Appl. Log.	2014	DBLP DOI BibTeX RDF
12	Temur Kutsia, Jordi Levy, Mateu Villaret	Anti-unification for Unranked Terms and Hedges.	J. Autom. Reason.	2014	DBLP DOI BibTeX RDF
12	Gianluca Amato, Francesca Scozzari	Optimal multibinding unification for sharing and linearity analysis.	Theory Pract. Log. Program.	2014	DBLP DOI BibTeX RDF
12	Vladimir V. Rybakov	Projective formulas and unification in linear temporal logic LTLU.	Log. J. IGPL	2014	DBLP DOI BibTeX RDF
12	Andréia Borges Avelar, André Luiz Galdino, Flávio Leonardo Cavalcanti de Moura, Mauricio Ayala-Rincón	First-order unification in the PVS proof assistant.	Log. J. IGPL	2014	DBLP DOI BibTeX RDF
12	Zhiqiang Liu, Christopher Lynch	Efficient general AGH-unification.	Inf. Comput.	2014	DBLP DOI BibTeX RDF
12	Anuradha D. Thakare, C. A. Dhote	New Unification Matching Scheme for efficient information retrieval using Genetic Algorithm.	ICACCI	2014	DBLP DOI BibTeX RDF
12	Alexander Baumgartner, Temur Kutsia	Unranked Second-Order Anti-Unification.	WoLLIC	2014	DBLP DOI BibTeX RDF
12	Habib M. Fardoun, Daniyal M. Alghazzawi, Lorenzo Carretero Gonzalez	Global Unification Model of Studies based on similar subjects.	FedCSIS	2014	DBLP DOI BibTeX RDF
12	Nesrine Ben Beldi, Lionel Roucoules, François Malburet, Tomasz Krysinski, Pierre Gauthier	Unification of Multiple Models for Complex System Development.	PLM	2014	DBLP DOI BibTeX RDF
12	Temur Kutsia, Christophe Ringeissen (eds.)	Proceedings of the 28th International Workshop on Unification, UNIF 2014, Vienna, Austria, July 13, 2014.	UNIF	2014	DBLP BibTeX RDF
12	Artur Jez	Context Unification is in PSPACE.	ICALP (2)	2014	DBLP DOI BibTeX RDF
12	Giri Panamoottil Krishnan, Nikolaos Tsantalis	Unification and refactoring of clones.	CSMR-WCRE	2014	DBLP DOI BibTeX RDF
12	Samson Abramsky, Mehrnoosh Sadrzadeh	Semantic Unification - A Sheaf Theoretic Approach to Natural Language.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
12	Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows 0001, Paliath Narendran, Christophe Ringeissen	On Asymmetric Unification and the Combination Problem in Disjoint Theories.	FoSSaCS	2014	DBLP DOI BibTeX RDF
12	Alexander Stotsky	High order algorithms in robust least-squares estimation with SDD information matrix: Redesign, simplification and unification.	CDC	2014	DBLP DOI BibTeX RDF
12	Núria Cuní	Scientific Outputs: Integration and Unification of Catalan CRIS Information Systems.	CRIS	2014	DBLP DOI BibTeX RDF
12	Christos Bouras, Vassilis Tsogkas	Evaluating the Unification of Multiple Information Retrieval Techniques into a News Indexing Service.	DATA	2014	DBLP DOI BibTeX RDF
12	Olaf Beyersdorff, Leroy Chew, Mikolas Janota	On Unification of QBF Resolution-Based Calculi.	MFCS (2)	2014	DBLP DOI BibTeX RDF
12	Matthew A. Kelly, Douglas J. K. Mewhort, Robert L. West	The Memory Tesseract: Distributed MINERVA and the Unification of Memory.	CogSci	2014	DBLP BibTeX RDF
12	Santiago Escobar 0001, Konstantin Korovin, Vladimir V. Rybakov (eds.)	UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, Manchester, UK, July 1, 2012	UNIF	2014	DBLP BibTeX RDF
12	Bernard P. Serpette, Pascal Manoury, Emmanuel Chailloux	Unification des couleurs dans un λ-calcul polychrome.	JFLA	2014	DBLP BibTeX RDF
12	Ashay Rane, Rakesh Krishnaiyer, Chris J. Newburn, James C. Browne, Leonardo Fialho, Zakhar Matveev	Unification of Static and Dynamic Analyses to Enable Vectorization.	LCPC	2014	DBLP DOI BibTeX RDF
12	Fan Yang, Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001, Paliath Narendran	Theories of Homomorphic Encryption, Unification, and the Finite Variant Property.	PPDP	2014	DBLP DOI BibTeX RDF
12	Ana Margarida Sousa, Maria Olívia Pereira, Nuno F. Azevedo, Anália Lourenço	Designing an Ontology Tool for the Unification of Biofilms Data.	PACBB	2014	DBLP DOI BibTeX RDF
12	Gabor Karsai	Unification or Integration? The Challenge of Semantics in Heterogeneous Modeling Languages.	GEMOC@MoDELS	2014	DBLP BibTeX RDF
12	David F. Ferraiolo, Serban I. Gavrila, Wayne A. Jansen	On the unification of access control and data services.	IRI	2014	DBLP DOI BibTeX RDF
12	Alexander Baumgartner, Temur Kutsia	A Library of Anti-unification Algorithms.	JELIA	2014	DBLP DOI BibTeX RDF
12	Tony Hoare	Laws of Programming: The Algebraic Unification of Theories of Concurrency.	CONCUR	2014	DBLP DOI BibTeX RDF
12	Takashi Ichijo, Nagisa Munekata, Tetsuo Ono	Unification of demonstrative pronouns in a small group guided by a robot.	HAI	2014	DBLP DOI BibTeX RDF
12	Clément Aubert, Marc Bagnol	Unification and Logarithmic Space.	RTA-TLCA	2014	DBLP DOI BibTeX RDF
12	Khaled Benali, Sidi Ahmed Rahal	OntoWM: An Ontology for Unification and Description of Web Mining.	ICAASE	2014	DBLP BibTeX RDF
12	Jiali Wang, Yue Zhang	Research and Implementation of Holter Data Format Unification.	ICMB	2014	DBLP DOI BibTeX RDF
12	Tatsuya Akutsu, Jesper Jansson 0001, Atsuhiro Takasu, Takeyuki Tamura	On the Parameterized Complexity of Associative and Commutative Unification.	IPEC	2014	DBLP DOI BibTeX RDF
12	Alan P. Schaum	Bayesian solutions to non-Bayesian detection problems: Unification through fusion.	AIPR	2014	DBLP DOI BibTeX RDF
12	Adrià Gascón	Variants of unification considering compression and context variables.		2014	RDF
12	Maria Paola Bonacina, David A. Plaisted	Constraint Manipulation in SGGS.	UNIF	2014	DBLP BibTeX RDF
12	Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen	Hierarchical Combination of Matching Algorithms (Extended Abstract).	UNIF	2014	DBLP BibTeX RDF
12	Franz Baader, Barbara Morawska 0001	Matching with respect to general concept inclusions in the Description Logic EL.	UNIF	2014	DBLP BibTeX RDF
12	José Meseguer 0001	Extensible Symbolic System Analysis.	UNIF	2014	DBLP BibTeX RDF
12	Michiru Nagatsu	The limits of unification for theory appraisal: a case of economics and psychology.	Synth.	2013	DBLP DOI BibTeX RDF
12	Jyrko Correa-Morris	An indication of unification for different clustering approaches.	Pattern Recognit.	2013	DBLP DOI BibTeX RDF
12	Bénédicte Schmitt, Mathieu Raynal, Cédric Bach, David Croenne, Emmanuel Dubois 0001	Vers une unification de l'évaluation de la tâche de pointage en environnement virtuel 3D.	Tech. Sci. Informatiques	2013	DBLP DOI BibTeX RDF
12	Armin Sajadi, Mohammad Reza Matash Borujerdi	Machine translation based on unification link grammar.	Artif. Intell. Rev.	2013	DBLP DOI BibTeX RDF
12	Francois Fagan, Jan H. van Vuuren	A unification of the prevalent views on exploitation, exploration, intensification and diversification.	Int. J. Metaheuristics	2013	DBLP DOI BibTeX RDF
12	Ruining He, Guoqiang Liang, Yuchun Ma, Yu Wang 0002, Jinian Bian	Unification of PR Region floorplanning and Fine-Grained Placement for Dynamic Partially Reconfigurable FPGAs.	J. Circuits Syst. Comput.	2013	DBLP DOI BibTeX RDF
12	Sareh Zendehrouh, Shahriar Gharibzadeh, Farzad Towhidkhah	Modeling error detection in human brain: A preliminary unification of reinforcement learning and conflict monitoring theories.	Neurocomputing	2013	DBLP DOI BibTeX RDF
12	Artur Jez	Context unification is in PSPACE.	CoRR	2013	DBLP BibTeX RDF
12	David Heckerman, Dan Geiger	Learning Bayesian Networks: A Unification for Discrete and Gaussian Domains	CoRR	2013	DBLP BibTeX RDF
12	Daniel Speicher, Andri Bremm	Clone Removal in Java Programs as a Process of Stepwise Unification	CoRR	2013	DBLP BibTeX RDF
12	Gianluca Amato, Francesca Scozzari	Optimal multi-binding unification for sharing and linearity analysis.	CoRR	2013	DBLP BibTeX RDF
12	Tatsuya Akutsu, Takeyuki Tamura, Atsuhiro Takasu	On the Parameterized Complexity of Associative and Commutative Unification.	CoRR	2013	DBLP BibTeX RDF
12	Vincenzo Marra, Luca Spada	Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras.	Ann. Pure Appl. Log.	2013	DBLP DOI BibTeX RDF
12	Sergei Odintsov, Vladimir V. Rybakov	Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic IPC+.	Ann. Pure Appl. Log.	2013	DBLP DOI BibTeX RDF
12	Germano Resconi, Ignazio Licata, Davide Fiscaletti	Unification of Quantum and Gravity by Non Classical Information Entropy Space.	Entropy	2013	DBLP DOI BibTeX RDF
12	Wassim M. Haddad	A Unification between Dynamical System Theory and Thermodynamics Involving an Energy, Mass, and Entropy State Space Formalism.	Entropy	2013	DBLP DOI BibTeX RDF
12	Tien-Yu Hsu	A Digital Museum Framework Based on a Member-Centred Virtual-and-Physical Unification Service Model.	Int. J. Humanit. Arts Comput.	2013	DBLP DOI BibTeX RDF
12	Bill Stoddart, Frank Zeyda	A unification of probabilistic choice within a design-based model of reversible computation.	Formal Aspects Comput.	2013	DBLP DOI BibTeX RDF
12	Mohammad Ali Bagheri, Qigang Gao, Sergio Escalera	A Framework towards the Unification of Ensemble Classification Methods.	ICMLA (2)	2013	DBLP DOI BibTeX RDF
12	Zainab Ali Khalaf, Tan Tien Ping	Automatic Identification of Broadcast News Story Boundaries using the Unification Method for Popular Nouns.	FedCSIS	2013	DBLP BibTeX RDF