Search results for "Unification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Joachim Peer	Bringing Together Semantic Web and Web Services.	ISWC	2002	DBLP DOI BibTeX RDF
15	Chris Mellish	DCGs: Parsing as Deduction?	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
15	Christopher Lynch, Barbara Morawska 0001	Basic Syntactic Mutation.	CADE	2002	DBLP DOI BibTeX RDF
15	Franz Baader, Cesare Tinelli	Combining Decision Procedures for Positive Theories Sharing Constructors.	RTA	2002	DBLP DOI BibTeX RDF
15	Gianluca Amato, Francesca Scozzari	A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties.	LOPSTR	2002	DBLP DOI BibTeX RDF
15	Christopher Lynch, Barbara Morawska 0001	Complexity of Linear Standard Theories.	LPAR	2001	DBLP DOI BibTeX RDF
15	Ole Lehrmann Madsen	Virtual Classes and Their Implementation.	CC	2001	DBLP DOI BibTeX RDF
15	Samir Genaim, Michael Codish	The Def-inite Approach to Dependency Analysis.	ESOP	2001	DBLP DOI BibTeX RDF
15	Éric Villemonte de la Clergerie	Natural Language Tabular Parsing.	ICLP	2001	DBLP DOI BibTeX RDF
15	Wolfgang Lux	Adding Linear Constraints over Real Numbers to Curry.	FLOPS	2001	DBLP DOI BibTeX RDF
15	Kenneth D. Boese, Andrew B. Kahng, Stefanus Mantik	On the relevance of wire load models.	SLIP	2001	DBLP DOI BibTeX RDF
15	Sergio Antoy, Rachid Echahed, Michael Hanus	A needed narrowing strategy.	J. ACM	2000	DBLP DOI BibTeX RDF	call-by-need, narrowing strategies, rewrite systems, functional logic programming languages
15	Guillem Godoy, Robert Nieuwenhuis	Paramodulation with Built-in Abelian Groups.	LICS	2000	DBLP DOI BibTeX RDF	term rewriting, automated deduction
15	Reinhard Pichler	Negation Elimination from Simple Equational Formulae.	ICALP	2000	DBLP DOI BibTeX RDF
15	Anatoly E. Voevudko	Steps Toward Next Generation Computer Based Systems.	ECBS	1999	DBLP DOI BibTeX RDF	Processor based architecture, unified linguistic and access support, scripting and programming languages, distributed systems, integration, operating systems, software, hardware, portability, Web-based systems
15	Christophe Ringeissen, Éric Monfroy	Generating Propagation Rules for Finite Domains: A Mixed Approach.	New Trends in Constraints	1999	DBLP DOI BibTeX RDF
15	Salimeh Behnia, Hélène Waeselynck	Test Criteria Definition for B Models.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
15	Atsushi Ohori, Nobuaki Yoshida	Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML.	ICFP	1999	DBLP DOI BibTeX RDF
15	Kunihiko Sadakane	A Modified Burrows-Wheeler Transformation for Case-Insensitive Search with Application to Suffix Array Compression.	Data Compression Conference	1999	DBLP DOI BibTeX RDF
15	Shigeki Hagihara, Naoki Yonezaki	Resolution Method for Modal Logic with Well-Founded Frames.	CSL	1999	DBLP DOI BibTeX RDF
15	María Alpuente, Moreno Falaschi, Germán Vidal	Partial Evaluation of Functional Logic Programs.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	conditional term-rewriting systems, integration of functional and logic programming, narrowing strategies, partial evaluation
15	Miki Hermann, Gernot Salzer	On the Word, Subsumption, and Complement Problem for Recurrent Term Schematizations.	MFCS	1998	DBLP DOI BibTeX RDF
15	Harald Ganzinger, Florent Jacquemard, Margus Veanes	Rigid Reachability.	ASIAN	1998	DBLP DOI BibTeX RDF
15	Karsten Schmidt 0004	Verification of Siphons and Traps for Algebraic Petri Nets.	ICATPN	1997	DBLP DOI BibTeX RDF	THEORY: Analysis and synthesis, Higher level net models, structure and behaviour of nets
15	Sabrina Mantaci, Daniele Micciancio	An Algorithm for the Solution of Tree Equations.	TAPSOFT	1997	DBLP DOI BibTeX RDF
15	C. A. R. Hoare, Jifeng He 0001	Unifying Theories for Parallel Programming.	Euro-Par	1997	DBLP DOI BibTeX RDF
15	Xining Li	Program Sharing: A New Implementation Approach for Prolog.	PLILP	1996	DBLP DOI BibTeX RDF
15	Jürgen Stuber	Superposition Theorem Proving for Albelian Groups Represented as Integer Modules.	RTA	1996	DBLP DOI BibTeX RDF
15	Herbert Kuchen, Josef Anastasiadis	Higher Order Babel: Language and Implementation.	ELP	1996	DBLP DOI BibTeX RDF
15	Franz Baader, Klaus U. Schulz	Combination of Constraint Solving Techniques: An Algebraic POint of View.	RTA	1995	DBLP DOI BibTeX RDF
15	Gerda Janssens, Maurice Bruynooghe, Vincent Englebert	Abstracting Numerical Values in CLP(H, N).	PLILP	1994	DBLP DOI BibTeX RDF
15	A. J. Kfoury, J. B. Wells	A Direct Algorithm for Type Inference in the Rank-2 Fragment of the Second-Order lambda-Calculus.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	ML
15	Andrew Kennedy	Dimension Types.	ESOP	1994	DBLP DOI BibTeX RDF
15	Phillip C.-Y. Sheu, Song Bong Yoo	A Knowledge-based Program Transformation System	CAiSE	1994	DBLP DOI BibTeX RDF
15	Bertil Folliot, Pierre Sens 0001	GATOSTAR: A Fault Tolerant Load Sharing Facility for Parallel Applications.	EDCC	1994	DBLP DOI BibTeX RDF
15	Stan Z. Li	Markov Random Field Models in Computer Vision.	ECCV (2)	1994	DBLP DOI BibTeX RDF
15	Franz Baader, Klaus U. Schulz	Combination Techniques and Decision Problems for Disunification.	RTA	1993	DBLP DOI BibTeX RDF
15	Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli	Some Experimental Results in Implementing a Logic Language with Multi-head Clauses on a Transputer Architecture.	ELP	1993	DBLP DOI BibTeX RDF
15	Harold Boley	Finite Domains and Exclusions as First-Class Citizens.	ELP	1993	DBLP DOI BibTeX RDF
15	António L. Furtado 0001	Analogy by generalization - and the quest of the grail.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF
15	Gary Lindstrom, Jan Maluszynski, Takeshi Ogi	Our LIPS Are Sealed: Interfacing Functional and Logic Programming Systems.	PLILP	1992	DBLP DOI BibTeX RDF
15	Tobias Nipkow, Lawrence C. Paulson	Isabelle-91.	CADE	1992	DBLP DOI BibTeX RDF
15	Jane Hesketh, Alan Bundy, Alan Smaill	Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs.	CADE	1992	DBLP DOI BibTeX RDF
15	Natraj Arni, Sergio Greco, Domenico Saccà	Set-Term Matching in Logic Programming.	ICDT	1992	DBLP DOI BibTeX RDF
15	Hans-Joachim Goltz	A Constructive Type System Based on Data Terms.	JELIA	1992	DBLP DOI BibTeX RDF
15	Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi	Embedding Finite Sets in a Logic Programming Language.	ELP	1992	DBLP DOI BibTeX RDF
15	Hassan Aït-Kaci, Andreas Podelski	Logic Programming with Functions over Order-Sorted Feature Terms.	ELP	1992	DBLP DOI BibTeX RDF
15	James K. McDowell, Mark A. Kramer, James F. Davis	Guest Editor's Introduction.	IEEE Expert	1991	DBLP DOI BibTeX RDF
15	Robert M. MacGregor, Mark H. Burstein	Using a Description Classifier to Enhance Knowledge Representation.	IEEE Expert	1991	DBLP DOI BibTeX RDF
15	Wolfgang Henhapl, Stefan Kaes, Gregor Snelting	Utilizing Fifth Generation Technology in Software Development Tools.	Software Development Environments and CASE Technology	1991	DBLP DOI BibTeX RDF
15	Giuseppe Attardi, Mauro Gaspari	Multilanguage Interoperability.	PLILP	1991	DBLP DOI BibTeX RDF
15	Rita Loogen	From Reduction Machines To Narrowing Machines.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
15	Tsau Young Lin	Relational Data Models and Category Theory (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
15	Ursula Martin, Tobias Nipkow	Ordered Rewriting and Confluence.	CADE	1990	DBLP DOI BibTeX RDF
15	Hans-Jürgen Bürckert	A Resolution Principle for Clauses with Constraints.	CADE	1990	DBLP DOI BibTeX RDF
15	David J. Pym, Lincoln A. Wallen	Investigations into Proof-Search in a System of First-Order Dependent Function Types.	CADE	1990	DBLP DOI BibTeX RDF
15	Hans Leiß	Polymorphic Constructs in Natural and Programming Languages.	JELIA	1990	DBLP DOI BibTeX RDF
15	Mark E. Stickel	A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog.	DISCO	1990	DBLP DOI BibTeX RDF
15	Katherine A. Yelick, Joseph L. Zachary	Moded Type Systems for Logic Programming.	POPL	1989	DBLP DOI BibTeX RDF
15	Hiroshi Tsuda, Kôiti Hasida, Hidetosi Sirai	cu-Prolog and its Application to a JPSG Parser.	LP	1989	DBLP DOI BibTeX RDF
15	Milind Gandhe, G. Venkatesh	Improving Prolog Performance by Inductive Proof Generalizations.	KBCS	1989	DBLP DOI BibTeX RDF
15	Kam-Fai Wong, M. Howard Williams	A Type Driven Hardware Engine for Prolog Clause Retrieval over a Large Knowledge Base.	ISCA	1989	DBLP DOI BibTeX RDF	Prolog
15	Isabelle Attali	Compiling TYPOL with Attribute Grammars.	PLILP	1988	DBLP DOI BibTeX RDF
15	Frank Pfenning, Conal Elliott	Higher-Order Abstract Syntax.	PLDI	1988	DBLP DOI BibTeX RDF
15	K. S. H. S. R. Bhatta, Harish Karnick	A Resolution Rule for Well-Formed Formulae.	FSTTCS	1988	DBLP DOI BibTeX RDF
15	H. B. M. Jonkers	Description Algebra.	Algebraic Methods	1987	DBLP DOI BibTeX RDF
15	Hans-Albert Schneider	An Improvement of Deduction Plans: Refutation Plans.	CADE	1986	DBLP DOI BibTeX RDF
15	Cynthia Dwork, Paris C. Kanellakis, Larry J. Stockmeyer	Parallel Algorithms for Term Matching.	CADE	1986	DBLP DOI BibTeX RDF
15	Kiyoshi Akama	Inheritance Hierarchy Mechanism in Prolog.	LP	1986	DBLP DOI BibTeX RDF
15	Jieh Hsiang, Mandayam K. Srivas	A PROLOG Environment for Developing and Reasoning about Data Types.	TAPSOFT, Vol.2	1985	DBLP DOI BibTeX RDF
15	Gary Lindstrom	Functional Programming and the Logical Variable.	POPL	1985	DBLP DOI BibTeX RDF
15	Alexis Koster	Compiling prolog programs for parallel execution on a cellular machine.	ACM Annual Conference	1984	DBLP DOI BibTeX RDF	Prolog
12	Yingjie Mei, Yongmeng Liu, Jiahao Li, Huilin Wu, Chuanzhi Sun, Dawei Wang 0007, Jiubin Tan	Digital Twin of Large-Scale Coaxiality Measuring Instrument With Six Dimensions: Realizing the Unification of Aeroengine Rotors Measurement and Assembly.	IEEE Trans. Ind. Informatics	2024	DBLP DOI BibTeX RDF
12	Abir U. Igamberdiev	Biological thermodynamics: Ervin Bauer and the unification of life sciences and physics.	Biosyst.	2024	DBLP DOI BibTeX RDF
12	Franziska Schropp, Thomas E. Konrad, Marie Revellio, Barbara Feichtinger	Transmission problems? An embedded approach for unification of Latin prefixes and text variants during text matching.	Digit. Scholarsh. Humanit.	2024	DBLP DOI BibTeX RDF
12	Chengcheng Zhang, Tianyi Zang, Tianyi Zhao	KGE-UNIT: toward the unification of molecular interactions prediction based on knowledge graph and multi-task learning on drug discovery.	Briefings Bioinform.	2024	DBLP DOI BibTeX RDF
12	Chunlei Peng, Zimo Kong, Decheng Liu, Nannan Wang 0001, Xinbo Gao 0001	Disguised Heterogeneous Face Generation With Iterative-Adversarial Style Unification.	IEEE Trans. Multim.	2024	DBLP DOI BibTeX RDF
12	Marcin Jan Schroeder	Theoretical Unification of the Fractured Aspects of Information.	CoRR	2024	DBLP DOI BibTeX RDF
12	Yulan Hu, Sheng Ouyang, Zhirui Yang, Ge Chen, Junchen Wan, Xiao Wang, Yong Liu	Exploring Task Unification in Graph Representation Learning via Generative Approach.	CoRR	2024	DBLP DOI BibTeX RDF
12	Yingbo Hua, Md Saydur Rahman	Unification of Secret Key Generation and Wiretap Channel Transmission.	CoRR	2024	DBLP DOI BibTeX RDF
12	Ahmed Bhayat, Johannes Schoisswohl, Michael Rawson 0001	Superposition with Delayed Unification.	CoRR	2024	DBLP DOI BibTeX RDF
12	Koji Hashimoto, Yuji Hirono, Akiyoshi Sannai	Unification of Symmetries Inside Neural Networks: Transformer, Feedforward and Neural ODE.	CoRR	2024	DBLP DOI BibTeX RDF
12	Jiahao Nie 0001, Zhiwei He, Xudong Lv, Xueyi Zhou, Dong-Kyu Chae, Fei Xie	Towards Category Unification of 3D Single Object Tracking on Point Clouds.	CoRR	2024	DBLP DOI BibTeX RDF
12	Théophile Champion, Howard Bowman, Dimitrije Markovic, Marek Grzes	Reframing the Expected Free Energy: Four Formulations and a Unification.	CoRR	2024	DBLP DOI BibTeX RDF
12	Emanuele Sansone, Robin Manhaeve	A Bayesian Unification of Self-Supervised Clustering and Energy-Based Models.	CoRR	2024	DBLP DOI BibTeX RDF
12	Xiaonan Li, Yucong Yan	Three-way decision: a unification of two-universe models of rough sets.	Appl. Intell.	2024	DBLP DOI BibTeX RDF
12	Ike Mulder, Robbert Krebbers	Unification for Subformula Linking under Quantifiers.	CPP	2024	DBLP DOI BibTeX RDF
12	Magnus Madsen, Jaco van de Pol, Troels Henriksen	Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
12	David Cao, Rose Kunkel, Chandrakana Nandi, Max Willsey, Zachary Tatlock, Nadia Polikarpova	babble: Learning Better Abstractions with E-Graphs and Anti-unification.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
12	Ziyu Shen, Wenbin Shen 0001, Shuangxi Zhang, C. K. Shum, Tengxu Zhang, Lin He, Zhan Cai, Si Xiong, Lingxuan Wang	Unification of a Global Height System at the Centimeter-Level Using Precise Clock Frequency Signal Links.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
12	Shang Jiang, Jian Zhang 0041, Weiguo Wang, Yingjun Wang	Automatic Inspection of Bridge Bolts Using Unmanned Aerial Vision and Adaptive Scale Unification-Based Deep Learning.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
12	Alexandros Syrakos, Oliver F. Oxtoby, Eugene De Villiers, Stylianos Varchanis, Yannis Dimakopoulos, John Tsamopoulos	A unification of least-squares and Green-Gauss gradients under a common projection-based gradient reconstruction framework.	Math. Comput. Simul.	2023	DBLP DOI BibTeX RDF
12	Ron Cottam, Roger Vounckx	Entropy is better related to unification than to order.	Biosyst.	2023	DBLP DOI BibTeX RDF
12	Florin F. Nichita	Unification Theories: Rings, Boolean Algebras and Yang-Baxter Systems.	Axioms	2023	DBLP DOI BibTeX RDF
12	Yi Han, Hao Zhu 0009, Licheng Jiao, Xiaoyu Yi 0002, Xiaotong Li, Biao Hou, Wenping Ma 0001, Shuang Wang 0001	SSMU-Net: A Style Separation and Mode Unification Network for Multimodal Remote Sensing Image Classification.	IEEE Trans. Geosci. Remote. Sens.	2023	DBLP DOI BibTeX RDF
12	Paolo Aglianò, Sara Ugolini	Projectivity and unification in substructural logics of generalized rotations.	Int. J. Approx. Reason.	2023	DBLP DOI BibTeX RDF
12	Mieczyslaw Cichon, Burcu Silindir, Ahmet Yantir, Seçil Gergün	Generalized Polynomials and Their Unification and Extension to Discrete Calculus.	Symmetry	2023	DBLP DOI BibTeX RDF
12	Paolo Di Sia	Symmetry and the Nanoscale: Advances in Analytical Modeling in the Perspective of Holistic Unification.	Symmetry	2023	DBLP DOI BibTeX RDF
12	Ismail Shahin, Ali Bou Nassif, Rameena Thomas, Shibani Hamsa	Novel Task-Based Unification and Adaptation (TUA) Transfer Learning Approach for Bilingual Emotional Speech Data.	Inf.	2023	DBLP DOI BibTeX RDF
12	Daniela Ponce, Martina Husáková, Tomás Nacházel, Vladimír Bures, Pavel Cech, Peter Mikulecký, Kamila Stekerová, Petr Tucník, Marek Zanker, Karel Mls, Ioanna Triantafyllou, Frantisek Babic	Unification of tsunami-related terminology: Ontology engineering perspective.	Comput. Geosci.	2023	DBLP DOI BibTeX RDF