|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1037 occurrences of 720 keywords
|
|
|
Results
Found 3060 publication records. Showing 3060 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
24 | Patrik Eklund, Maria A. Galán, Jesús Medina 0001, Manuel Ojeda-Aciego, Agustín Valverde |
A categorical approach to unification of generalised terms. |
UNCL@ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Robin N. Banerjee, Andrés Bujosa |
Syntactic Unification as a Geometric Operation in Free Modules over certain Rings. |
UNCL@ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Temur Kutsia |
Pattern Unification with Sequence Variables, Flexible Arity Symbols. |
UNCL@ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Teresa Alsinet, Lluís Godo, Sandra A. Sandri |
Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description. |
UNCL@ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Liviu-Virgil Ciortuz |
Scaling up the Abstract Machine for Unification of OSF-Terms to do Head-Corner Parsing with Large-Scale Typed Unification Grammars. |
WLP |
2000 |
DBLP BibTeX RDF |
|
24 | Gérald Point |
AltaRica : Contribution à l'unification des méthodes formelles et de la sûreté de fonctionnement. (AltaRica: Contribution to the unification of formal methods and safety assessment). |
|
2000 |
RDF |
|
24 | Margus Veanes |
The Relation Between Second-Order Unification and Simultaneous Rigid E-Unification. |
LICS |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Paliath Narendran, Friedrich Otto |
Single Versus Simultaneous Equational Unification and Equational Unification for Variable-Permuting Theories. |
J. Autom. Reason. |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Gilles Amiot |
On decision problems for second order unification. |
UNIF |
1995 |
DBLP BibTeX RDF |
|
24 | Manfred Schmidt-Schauß |
An Algorithm for Distributive Unification. |
UNIF |
1995 |
DBLP BibTeX RDF |
|
24 | Jordi Levy |
A Decidable Second-Order Unification Problem. |
UNIF |
1995 |
DBLP BibTeX RDF |
|
24 | Jason Brown, Lincoln A. Wallen |
Representing Unification in a Logical Framework. |
UNIF |
1995 |
DBLP BibTeX RDF |
|
24 | Francisco J. Durán, Ernesto Pimentel 0001 |
Objects communication by extending the unification. |
UNIF |
1995 |
DBLP BibTeX RDF |
|
24 | Heinz Faßbender, Heiko Vogler |
A Universal Unification Algorithm Based on Unification-Driven Leftmost Outermost Narrowing. |
Acta Cybern. |
1994 |
DBLP BibTeX RDF |
|
24 | Bertrand Delsart |
E-unification en demonstration automatique. (E-unification in automated deduction). |
|
1994 |
RDF |
|
24 | Eric Domenjoud |
AC Unification Through Order-Sorted AC1 Unification. |
J. Symb. Comput. |
1992 |
DBLP BibTeX RDF |
|
24 | Masaaki Nagata |
An Empirical Study on Rule Granularity and Unification Interleaving Toward an Efficient Unification-Based Parsing System. |
COLING |
1992 |
DBLP BibTeX RDF |
|
24 | Frank Pfenning |
Unification and Anti-Unification in the Calculus of Constructions |
LICS |
1991 |
DBLP DOI BibTeX RDF |
|
24 | Hubert Comon |
Unification et disunification : théorie et applications. (Unification and disunification in free algebras and in initial algebras : theory and applications). |
|
1988 |
RDF |
|
24 | Jean-Christophe Ianeselli |
Un opérateur d'unification pour une machine base de connaissance PROLOG. (An unification operator for a PROLOG knowledge base machine). |
|
1985 |
RDF |
|
23 | Grazyna Brzykcy |
Data Integration in a System with Agents' Models. |
KES-AMSTA |
2008 |
DBLP DOI BibTeX RDF |
Prolog-like computations, unification, schema mapping, query rewriting, P2P system, XML data |
23 | Bart Jacobs 0001, Sjaak Smetsers, Ronny Wichers Schreur |
Code-carrying theories. |
Formal Aspects Comput. |
2007 |
DBLP DOI BibTeX RDF |
Compression, Code generation, Functional languages, Unification, PVS, Proof assistants |
23 | Agostino Dovier, Andrea Formisano 0001, Eugenio G. Omodeo |
Decidability results for sets with atoms. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
Prenex sentences, set-hyperset theories, syllogistics, unification, quantifier elimination, satisfiability problem |
23 | Mathieu Baudet |
Deciding security of protocols against off-line guessing attacks. |
CCS |
2005 |
DBLP DOI BibTeX RDF |
second-order e-unification, formal methods, security protocols, guessing attacks |
23 | William C. Chu, Chih-Wei Lu, Chih-Hung Chang, Yeh-Ching Chung, Yueh-Min Huang, Baowen Xu |
Software Maintainability Improvement: Integrating Standards and Models. |
COMPSAC |
2002 |
DBLP DOI BibTeX RDF |
model unification and integration, XML, UML, software maintenance, software standards |
23 | Eui-nam Huh, Lonnie R. Welch, Behrooz A. Shirazi, Charles Cavanaugh |
Heterogeneous Resource Management for Dynamic Real-Time Systems. |
Heterogeneous Computing Workshop |
2000 |
DBLP DOI BibTeX RDF |
load balancing feasibility analysis, QoS, resource management, heterogeneous, allocation, unification, Dynamic real-time systems |
23 | Antonio Ferrández Rodríguez, Manuel Palomar, Lidia Moreno |
An Empirical Approach to Spanish Anaphora Resolution. |
Mach. Transl. |
1999 |
DBLP DOI BibTeX RDF |
Slot Unification Grammar, Spanish, anaphora resolution, partial parsing |
23 | J. C. Tay, S. Y. Huang, Hiok Chai Quek |
CSL (Part I): Modelling General N-ary, Logical CSPs. |
ICTAI |
1997 |
DBLP DOI BibTeX RDF |
constraint specification language, CSL, user-defined constraints, N-ary logical constraint satisfaction problems, constraint logic programming languages, expressive algebra, extended versions, transparent access, data structures, constraint programming, unification, syntax, logic programming languages, numerical constraints |
23 | Alessandro Armando, Alan Smaill, Ian Green |
Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. |
ASE |
1997 |
DBLP DOI BibTeX RDF |
proof-planning paradigm, recursive functional programs, functional programming, correctness proofs, automatic synthesis, recursive programs, unification algorithm |
23 | Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov |
Complexity and Expressive Power of Logic Programming. |
CCC |
1997 |
DBLP DOI BibTeX RDF |
computational complexity, Logic programming, resolution, constraint logic programming, unification, expressive power |
23 | Sankar Virdhagriswaran, Mike Webb, Jeff Mallatt |
Manufacturing collaboration resource discovery system (McRDS. |
WETICE |
1995 |
DBLP DOI BibTeX RDF |
manufacturing collaboration resource discovery system, McRDS, product prototype, office automation tools, virtual database, product information databases, semantic messaging, semantic unification, Knowledge Query Manipulation Language, information messaging protocol, PDES/STEP, application protocols, Internet, query processing, query processing, groupware, CAD, CORBA, distributed databases, query languages, product development, product development, office automation, CAD/CAM, software standards, KQML, CAE, information brokering |
23 | Suad Alagic, Rajshekhar Sunderraman, Rajiv Bagai |
Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping. |
ECOOP |
1994 |
DBLP DOI BibTeX RDF |
semantic specifications, Object-oriented, logic programming, type systems, inheritance, polymorphism, subtyping, unification, deduction |
23 | Bill Keller |
Formalisms for grammatical knowledge representation. |
Artif. Intell. Rev. |
1992 |
DBLP DOI BibTeX RDF |
constituent structure, feature structures, knowledge representation, natural language, parsing, grammar, unification |
23 | Christian Prehofer |
An Efficient Constraint Language for Polymorphic Order-sorted Resoluton. |
JELIA |
1992 |
DBLP DOI BibTeX RDF |
Order-sorted Logic, Constraints, Polymorphism, Resolution, Unification |
23 | Benjamin Bell, Louis-François Pau |
Contour Tracking and Corner Detection in a Logic Programming Environment. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1990 |
DBLP DOI BibTeX RDF |
Prolog predicates, logic programming, computerised picture processing, computerised pattern recognition, computerised pattern recognition, unification, backtracking, corner detection, parameter selection, contour tracking, logic programming environment |
23 | Françoise Debart, Patrice Enjalbert, Madeleine Lescot |
Multi-Modal Logic Programming using Equational and Order-Sorted Logic. |
ALP |
1990 |
DBLP DOI BibTeX RDF |
Order-sorted Logic, Equationnal Methods, E-Resolution, Logic Programming, Modal Logic, Unification |
23 | Sergei Nirenburg, Lori S. Levin |
Knowledge representation support. |
Mach. Transl. |
1989 |
DBLP DOI BibTeX RDF |
constituent structure (c-structure), functional structure (f-structure), interlingua text (ILT), Lexical Functional Grammar, microtheories, unification |
23 | Hans Jürgen Ohlbach |
A Resolution Calculus for Modal Logics. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
resolution principle, modal logic, unification |
22 | Robert Law |
Using student blogs for documentation in software development projects. |
ITiCSE |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Eric D. Trias, Jorge A. Navas, Elena S. Ackley, Stephanie Forrest, Manuel V. Hermenegildo |
Negative Ternary Set-Sharing. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Ileana Ober, Ali Abou Dib, Louis Féraud, Christian Percebois |
Towards Interoperability in Component Based Development with a Family of DSLs. |
ECSA |
2008 |
DBLP DOI BibTeX RDF |
heterogeneous components, domain specific language (DSL), Specware, interoperability, formal semantics, category theory |
22 | François Bry, Tim Furche, Benedikt Linse |
Simulation Subsumption or Déjà vu on the Web. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Srikanth Venkataraman, Ruchir Puri, Steve Griffith, Ankush Oberai, Robert Madge, Greg Yeric, Walter Ng, Yervant Zorian |
Making Manufacturing Work For You. |
DAC |
2007 |
DBLP BibTeX RDF |
|
22 | Luc Steels, Joachim De Beule |
Unify and Merge in Fluid Construction Grammar. |
EELC |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Ming Zhao 0003, Tat-Seng Chua |
Face Alignment with Unified Subspace Optimization of Active Statistical Models. |
FGR |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Gopalan Nadathur, Xiaochu Qi |
Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Paul Agron, Leo Bachmair, Frank Nielsen |
A Visual Interactive Framework for Formal Derivation. |
International Conference on Computational Science (1) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Christophe Ringeissen |
Matching in a Class of Combined Non-disjoint Theories. |
CADE |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Jan-Mark S. Wams, Maarten van Steen |
A Flexible Middleware Layer for User-to-User Messaging. |
DAIS |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Katrin Erk, Joachim Niehren |
Parallelism Constraints. |
RTA |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Bikash Chandra Ghosh, Vilas Wuwongse |
A Direct Proof Procedure for Definite Conceptual Graph Programs. |
ICCS |
1995 |
DBLP DOI BibTeX RDF |
|
22 | Christophe Ringeissen |
Combination of Matching Algorithms. |
STACS |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Tobias Nipkow, Christian Prehofer |
Type Checking Type Classes. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
Haskell |
22 | Maria-Virginia Aponte |
Extending Record Typing to Type Parametric Modules with Sharing. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
Standard ML |
22 | Matthias Baaz, Richard Zach |
Algorithmic Structuring of Cut-free Proofs. |
CSL |
1992 |
DBLP DOI BibTeX RDF |
|
22 | Michael Hanus |
Parametric Order-Sorted Types in Logic Programming. |
TAPSOFT, Vol.2 |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Francis Klay |
Undecidable Properties of Syntactic Theories. |
RTA |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Jean-Pierre Jouannaud |
Syntactic Theories. |
MFCS |
1990 |
DBLP DOI BibTeX RDF |
|
22 | A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn |
ML Typability is DEXTIME-Complete. |
CAAP |
1990 |
DBLP DOI BibTeX RDF |
|
22 | Kim Marriott, Harald Søndergaard |
On prolog and the occur check problem. |
ACM SIGPLAN Notices |
1989 |
DBLP DOI BibTeX RDF |
Prolog |
22 | Staffan Bonnier, Jan Maluszynski |
Towards a Clean Amalgamation of Logic Programs with External Procedures. |
PLILP |
1988 |
DBLP DOI BibTeX RDF |
|
22 | Hans-Albert Schneider, Werner Dilger |
Information Processing with Associative Processors. |
CONPAR |
1986 |
DBLP DOI BibTeX RDF |
|
22 | Norihisa Suzuki |
Inferring Types in Smalltalk. |
POPL |
1981 |
DBLP DOI BibTeX RDF |
|
22 | Tomasz Pietrzykowski |
A Complete Mechanization of Second-Order Type Theory. |
J. ACM |
1973 |
DBLP DOI BibTeX RDF |
|
20 | Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi |
Hints in Unification. |
TPHOLs |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Raymond T. Boute |
Making Temporal Logic Calculational: A Tool for Unification and Discovery. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Yossi Azar, Iftah Gamzu |
Truthful Unification Framework for Packing Integer Programs with Choices. |
ICALP (1) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Martin J. Kollingbaum, Wamberto Weber Vasconcelos, Andrés García-Camino, Timothy J. Norman |
Conflict Resolution in Norm-Regulated Environments Via Unification and Constraints. |
DALT |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Greg D. Moody, Taylor Wells, Paul Benjamin Lowry |
The Interactive Digital Entertainment (IDE) Unification Framework: Creating a Taxonomy of IDE and Lifestyle Computing. |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Yong Sun, Yu (David) Shi, Fang Chen 0001, Vera Yuk Ying Chung |
An efficient unification-based multimodal language processor in multimodal input fusion. |
OZCHI |
2007 |
DBLP DOI BibTeX RDF |
fusion techniques & hybrid architectures, processing of language and action patterns |
20 | Hiroki Tanioka |
A Method of Preferential Unification of Plural Retrieved Elements for XML Retrieval Task. |
INEX |
2006 |
DBLP DOI BibTeX RDF |
|
20 | S. K. Kashyap, J. R. Raol |
Unification and Interpretation of Fuzzy Set Operations. |
CCECE |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Jean Bézivin |
On the unification power of models. |
Softw. Syst. Model. |
2005 |
DBLP DOI BibTeX RDF |
Models, MDA, Metamodels, MDE |
20 | Noureddine Chabini, Wayne H. Wolf |
Unification of scheduling, binding, and retiming to reduce power consumption under timings and resources constraints. |
IEEE Trans. Very Large Scale Integr. Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Jun Liu 0069, Huijuan Yang, Alex C. Kot |
Relationships and unification of binary images data-hiding methods. |
ICIP (1) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Jungwon Cho, Seungdo Jeong, Byung-Uk Choi |
A Fast Image Retrieval Using the Unification Search Method of Binary Classification and Dimensionality Condensation of Feature Vectors. |
KES (3) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Boris Köpf, Heiko Mantel |
Eliminating Implicit Information Leaks by Transformational Typing and Unification. |
Formal Aspects in Security and Trust |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Bradford Starkie, Henning Fernau |
The Boisdale Algorithm - An Induction Method for a Subclass of Unification Grammar from Positive Data. |
ICGI |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Xiao Wei Yin, Martin Fleury, Andy C. Downton |
A Unification Framework for Tree and Block Wavelet Encoders. |
ICPR (2) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Atul Adya, Paramvir Bahl, Jitendra Padhye, Alec Wolman, Lidong Zhou |
A Multi-Radio Unification Protocol for IEEE 802.11 Wireless Networks. |
BROADNETS |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Jong-Bok Kim, Jaehyung Yang, Incheol Choi |
Feature Unification and Constraint Satisfaction in Parsing Korean Case Phenomena. |
Australian Conference on Artificial Intelligence |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Barbara Morawska 0001 |
Completeness of E-Unification with Eager Variable Elimination. |
LPAR |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Hajime Shimada, Hideki Ando, Toshio Shimada |
Pipeline stage unification: a low-energy consumption technique for future mobile processors. |
ISLPED |
2003 |
DBLP DOI BibTeX RDF |
future process technology, pipeline stage, dynamic voltage scaling, low-power consumption |
20 | Noureddine Chabini, Ismaïl Chabini, El Mostapha Aboulhamid, Yvon Savaria |
Unification of basic retiming and supply voltage scaling to minimize dynamic power consumption for synchronous digital designs. |
ACM Great Lakes Symposium on VLSI |
2003 |
DBLP DOI BibTeX RDF |
supply voltage scaling, performance, power consumption, CMOS, retiming, digital design |
20 | Mark Johnson 0001 |
Learning and Parsing Stochastic Unification-Based Grammars. |
COLT |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Stanislav Krajci, Rastislav Lencses, Jesús Medina 0001, Manuel Ojeda-Aciego, Peter Vojtás |
A Similarity-Based Unification Model for Flexible Querying. |
FQAS |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Gérard P. Huet |
Higher Order Unification 30 Years Later. |
TPHOLs |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Paolo Baldan, Andrea Bracciali, Roberto Bruni |
Bisimulation by Unification. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Liviu-Virgil Ciortuz |
A Framework for Inductive Learning of Typed-Unification Grammars. |
ICGI |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Jayadev Misra |
The Case against a Grand Unification Theory. |
ICSR |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Temur Kutsia |
Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Björn Gambäck |
Unification-Based Lexicon and Morphology with Speculative Feature Signalling. |
CICLing |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Mahmut T. Kandemir |
Array Unification: A Locality Optimization Technique. |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Ruvim Lipyanski |
Pythagorean Triples in Unification Theory of Nilpotent Rings. |
FCT |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Christopher Lynch, Barbara Morawska 0001 |
Goal-Directed E-Unification. |
RTA |
2001 |
DBLP DOI BibTeX RDF |
|
20 | David A. Duffy, Ian Toyn |
Reasoning Inductively about Z Specifications via Unification. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Pedro J. Martín, Antonio Gavilanes |
Simultaneous Rigid Sorted Unification. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Nikolaj S. Bjørner, César A. Muñoz |
Absolute Explicit Unification. |
RTA |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Mark-Jan Nederhof |
Preprocessing for Unification Parsing of Spoken Language. |
Natural Language Processing |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Leonardo Maria Reyneri |
Unification of neural and wavelet networks and fuzzy systems. |
IEEE Trans. Neural Networks |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 3060 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|