|
|
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 |
20 | Chi-Hung Chi, Jun-Li Yuan |
Sequential Unification and Aggressive Lookahead Mechanisms for Data Memory Accesses. |
PaCT |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Bruce J. McAdam |
On the Unification of Substitutions in Type Interfaces. |
IFL |
1998 |
DBLP DOI BibTeX RDF |
|
20 | P. Krisko, Peter Marcincák, Peter Mihók, J. Sabol, Peter Vojtás |
Low Retrieval Remote Querying Dialogue with Fuzzy Conceptual, Syntactical and Linguistical Unification. |
FQAS |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov |
The Decidability of Simultaneous Rigid E-Unification with One Variable. |
RTA |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Christopher Lynch |
The Unification Problem for One Relation Thue Systems. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Sébastien Limet, Pierre Réty |
E-Unification by Means of Tree Tuple Synchronized Grammars. |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Yuri Gurevich, Andrei Voronkov |
Monadic Simultaneous Rigid E-Unification and Related Problems. |
ICALP |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck |
Improving Distributed Unification through Type Analysis. |
Euro-Par |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Tru H. Cao, Peter N. Creasy, Vilas Wuwongse |
Fuzzy Unification and Resolution Proof Procedure for Fuzzy Conceptual Graph Programs. |
ICCS |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Ralph E. Melton, David Garlan |
Architectural unification. |
CASCON |
1997 |
DBLP BibTeX RDF |
|
20 | Myles F. Barrett, Marshall E. Giguere |
A Note on Covariance and Contravariance Unification. |
ACM SIGPLAN Notices |
1996 |
DBLP DOI BibTeX RDF |
C++ |
20 | Roland Fettig, Bernd Löchner |
Unification of Higher-Order patterns in a Simply Typed Lambda-Calculus with Finite Products and terminal Type. |
RTA |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Lena Magnusson |
An Algorithm for Checking Incomplete Proof Objects in Type Theory with Localization and Unification. |
TYPES |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Matthias Baaz, Gernot Salzer |
Semi-Unification and Generalizations of a Particularly Simple Form. |
CSL |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Manfred Schmidt-Schauß |
Unification Under One-Sided Distributivity with a Multiplicative Unit. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Konrad Slind |
AC Unification in HOL90. |
HUG |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Krzysztof R. Apt, Sandro Etalle |
On the Unification Free Prolog Programs. |
MFCS |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Chris Fickert, Thomas A. Sudkamp |
Unification based FP interpreters. |
ACM SIGPLAN Notices |
1992 |
DBLP DOI BibTeX RDF |
FP |
20 | Gernot Salzer |
The Unification of Infinite Sets of Terms and Its Applications. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
20 | Christophe Ringeissen |
Unification in a Combination of Equational Theories with Shared Constants and its Application to Primal Algebras. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
20 | Limor Fix, Nissim Francez, Orna Grumberg |
Program Composition via Unification. |
ICALP |
1992 |
DBLP DOI BibTeX RDF |
|
20 | Daniel J. Dougherty, Patricia Johann |
A Combinatory Logic Approach to Higher-order E-unification (Extended Abstract). |
CADE |
1992 |
DBLP DOI BibTeX RDF |
|
20 | Alexandre Boudet |
Unification in Order-Sorted Algebras with Overloading. |
CADE |
1992 |
DBLP DOI BibTeX RDF |
|
20 | David A. Wolfram |
Rewriting, and Equational Unification: the Higher-Order Cases. |
RTA |
1991 |
DBLP DOI BibTeX RDF |
|
20 | Daniel J. Dougherty, Patricia Johann |
An Improved General E-Unification Method. |
CADE |
1990 |
DBLP DOI BibTeX RDF |
|
20 | Gian-Luigi Ferrari 0002, Ugo Montanari |
Towards the Unification of Models for Concurrency. |
CAAP |
1990 |
DBLP DOI BibTeX RDF |
|
20 | Mohamed Adi, Claude Kirchner |
AC-Unification Race: The System Solving Approach And Its Implementation. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
20 | Yulin Feng, Junbo Liu |
A Temporal Approach to Algebraic Specifications. |
CONCUR |
1990 |
DBLP DOI BibTeX RDF |
|
20 | Susan M. Merritt |
A Top Down Unification of Minimum Cost Spanning Tree Algorithms. |
SIGCOMM |
1989 |
DBLP DOI BibTeX RDF |
|
20 | Conal Elliott |
Higher-order Unification with Dependent Function Types. |
RTA |
1989 |
DBLP DOI BibTeX RDF |
|
20 | Hans-Joachim Goltz |
Functional Data Term Models and Semantic Unification. |
ALP |
1988 |
DBLP DOI BibTeX RDF |
|
20 | Katsumi Tanaka, Masatoshi Yoshikawa |
Towards Abstracting Complex Database Objects: Generalization, Reduction and Unification of Set-type Objects (Extended Abstract). |
ICDT |
1988 |
DBLP DOI BibTeX RDF |
|
20 | James A. Brown 0001, Ramiro Guerreiro |
APL2 implementations of unification. |
APL |
1987 |
DBLP DOI BibTeX RDF |
APL |
20 | Joxan Jaffar, Jean-Louis Lassez |
From Unification to Constraints. |
LP |
1987 |
DBLP DOI BibTeX RDF |
|
20 | Gregor Snelting, Wolfgang Henhapl |
Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis. |
POPL |
1986 |
DBLP DOI BibTeX RDF |
|
20 | Hubert Comon |
Sufficient Completness, Term Rewriting Systems and "Anti-Unification". |
CADE |
1986 |
DBLP DOI BibTeX RDF |
|
20 | Ursula Martin, Tobias Nipkow |
Unification in Boolean Rings. |
CADE |
1986 |
DBLP DOI BibTeX RDF |
|
20 | Katherine A. Yelick |
Combining Unification Algorithms for Confined Regular Equational Theories. |
RTA |
1985 |
DBLP DOI BibTeX RDF |
|
20 | Jörg H. Siekmann |
Universal Unification. |
CADE |
1984 |
DBLP DOI BibTeX RDF |
|
20 | Peter Wegner |
On the Unification of Data and Program Abstraction in Ada. |
POPL |
1983 |
DBLP DOI BibTeX RDF |
|
15 | Chuan-Kai Lin, Tim Sheard |
Pointwise generalized algebraic data types. |
TLDI |
2010 |
DBLP DOI BibTeX RDF |
pointwise baseline, pointwise unification, pointwise unifier, gadts |
15 | Adrià Gascón, Guillem Godoy, Manfred Schmidt-Schauß |
Context Matching for Compressed Terms. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
context variables, tree compression, matching, unification |
15 | Ye Zhang 0002, Torben Amtoft, Flemming Nielson |
From generic to specific: off-line optimization for a general constraint solver. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
off-line optimization, solver technology, constraints, program analysis, datalog, unification |
15 | Didier Rémy, Boris Yakobowski |
From ML to MLF: graphic type constraints with efficient type inference. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
type generalization, type instantiation, graphs, ML, types, type inference, unification, system F, binders, type constraints, MLF |
15 | Mohammad Reza Kakoee, Mohammad Riazati, Siamak Mohammadi |
Enhancing the Testability of RTL Designs Using Efficiently Synthesized Assertions. |
ISQED |
2008 |
DBLP DOI BibTeX RDF |
Assertion Synthesis, Assertion Unification, Online Testing |
15 | Rylan Cottrell, Robert J. Walker, Jörg Denzinger |
Jigsaw: a tool for the small-scale reuse of source code. |
ICSE Companion |
2008 |
DBLP DOI BibTeX RDF |
anti-unification, reuse, similarity, correspondence |
15 | Satish Chandra 0001, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík |
Type inference for locality analysis of distributed data structures. |
PPoPP |
2008 |
DBLP DOI BibTeX RDF |
equality-based constraint system, type inference, unification, x10, partitioned global address space |
15 | Barbara Dziemidowicz-Gryz |
On Learnability of Restricted Classes of Categorial Grammars. |
Stud Logica |
2007 |
DBLP DOI BibTeX RDF |
learning function, learning algorithm, unification, categorial grammar |
15 | Rylan Cottrell, Joseph J. C. Chang, Robert J. Walker, Jörg Denzinger |
Determining detailed structural correspondence for generalization tasks. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
anti-unification, generalization, similarity, tool support, correspondence |
15 | Yichuan Jiang, Jiuchuan Jiang, Toru Ishida 0001 |
Agent coordination by trade-off between locally diffusion effects and socially structural influences. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
local diffusion, unification trend, coordination, multiagent system, social influence |
15 | Spyridon Triantafyllis, Matthew J. Bridges, Easwaran Raman, Guilherme Ottoni, David I. August |
A framework for unrestricted whole-program optimization. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
interprocedural optimization, procedure unification, region encapsulation, region formation, whole-program analysis, whole-program optimization, specialization, interprocedural analysis, inlining, path-sensitive analysis, superblock, region-based compilation |
15 | Yong Sun, Fang Chen 0001, Yu (David) Shi, Vera Yuk Ying Chung |
A novel method for multi-sensory data fusion in multimodal human computer interaction. |
OZCHI |
2006 |
DBLP DOI BibTeX RDF |
multimodal grammar, speech and gesture multimodal interfaces, unification-based multimodal input fusion |
15 | Wojciech Plandowski |
Satisfiability of word equations with constants is in PSPACE. |
J. ACM |
2004 |
DBLP DOI BibTeX RDF |
String unification, word equations |
15 | Hans M. Jacobson |
Improved clock-gating through transparent pipelining. |
ISLPED |
2004 |
DBLP DOI BibTeX RDF |
adaptive pipeline depth, dynamic pipeline scaling, optimal pipeline clocking, pipeline stage unification, transparent pipeline, low power, high performance, microarchitecture, circuits, clock gating |
15 | Aleksandar Nanevski, Brigitte Pientka, Frank Pfenning |
A modal foundation for meta-variables. |
MERLIN |
2003 |
DBLP DOI BibTeX RDF |
modal type theory, pattern unification, logical frameworks |
15 | Claudio Gutierrez 0001 |
Satisfiability of Word Equations with Constants is in Exponential Space. |
FOCS |
1998 |
DBLP DOI BibTeX RDF |
Makanin's algorithm, word combinatorics, free semigroups, algorithms, unification, word equations |
15 | Lunjin Lu |
A Mode Analysis of Logic Programs by Abstract Interpretation. |
Ershov Memorial Conference |
1996 |
DBLP DOI BibTeX RDF |
Abstract Unification, Abstract Interpretation, Sharing, Aliasing, Mode |
15 | Frank Ng, Gregory Butler, Judy Kay |
An Intelligent Tutoring System for the Dijkstra-Gries Methodology. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
Dijkstra-Gries, symbolic algebra, user modeling, inheritance, intelligent tutoring systems, unification, object-oriented systems, programming methodology, teaching programming, re-use |
15 | Hassan Aït-Kaci, Andreas Podelski |
Functions as Passive Constraints in LIFE. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
?-terms, committed-choice languages, first-order terms, relative simplification, matching, unification, residuation, coroutining, concurrent constraint programming |
15 | Martin C. Emele, Ulrich Heid, Stefan Momma, Rémi Zajac |
Interactions between linguistic constraints: Procedural vs. declarative approaches. |
Mach. Transl. |
1992 |
DBLP DOI BibTeX RDF |
multilingual generation, typed feature terms, order-sorted unification, constraint solving |
15 | María Alpuente, Moreno Falaschi, Ferdinando Manzo |
Analyses of Inconsistency for Incremental Equational Logic Programming. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
Equational logic programming, universal unification, Abstract interpretation, term rewriting systems |
15 | Gertjan van Noord, Joke Dorrepaal, Pim van der Eijk, Maria Florenza, Herbert Ruessink, Louis des Tombe |
An overview of MiMo2. |
Mach. Transl. |
1991 |
DBLP DOI BibTeX RDF |
Dutch, unification grammar, computability, symmetry, reversibility, transfer, English, declarativity |
15 | S. Ivanets, N. Ilinsky, M. Krylov |
WAM Specification for Parallel Execution on SIMD Computer. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
parallel unification, Warren Abstract Machine, compiler, Prolog, hypercube, SIMD-computer |
15 | Michael Kaminski, Nissim Francez |
Finite-Memory Automata (Extended Abstract) |
FOCS |
1990 |
DBLP DOI BibTeX RDF |
Rabin-Scott finite-state automata, finite-memory automata, infinite alphabets, equality test, unification |
15 | Ricardo Caferra, Nicolas Zabel |
Extending Resolution for Model Construction. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
Equational Problems, Disunification, Theorem Proving, Decision Procedures, Unification, Model Construction |
15 | Jean-Jacques Thiel |
Stop Losing Sleep Over Incomplete Data Type Specifications. |
POPL |
1984 |
DBLP DOI BibTeX RDF |
Data types specifications, Completeness, Unification, Term rewriting systems, Substitutions, Equational theories |
15 | H. Perdrix |
Proprietes Church-Rosser de systemes de reecriture equationnels ayant la propriete de terminaison faible. |
STACS |
1984 |
DBLP DOI BibTeX RDF |
Fr Système de réécriture, Théorie équationnelle, Paire critique, Cohérence, Terminaison uniforme, Forme normale, Church-Rosser, Preuve automatique, Unification, Confluence |
15 | Ken-etsu Fujita, Aleksy Schubert |
Existential Type Systems with No Types in Terms. |
TLCA |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Maarika Traat |
Information Structure in a Formal Framework. |
CICLing |
2009 |
DBLP DOI BibTeX RDF |
|
15 | David Vaz, Vítor Santos Costa, Michel Ferreira |
User Defined Indexing. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone |
Modal interfaces: unifying interface automata and modal specifications. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
modal specifications, compatibility, interface automata |
15 | Pascual Julián Iranzo, Clemente Rubio-Manzano |
A declarative semantics for Bousi~Prolog. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
fuzzy herbrand model, proximity relations, fuzzy logic programming, fixpoint semantics, declarative semantics |
15 | Davide Grossi |
Unifying preference and judgment aggregation. |
AAMAS (1) |
2009 |
DBLP BibTeX RDF |
collective decision-making, many-valued logic, preference aggregation, judgment aggregation, social-choice theory |
15 | Jorge Coelho 0001, Mário Florido |
XCentric: logic programming for XML processing. |
WIDM |
2007 |
DBLP DOI BibTeX RDF |
logic programming, XML processing |
15 | Ken Q. Pu |
Service Description and Analysis From a Type Theoretic Approach. |
ICDE Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Claudio Sacerdoti Coen, Enrico Tassi |
Working with Mathematical Structures in Type Theory. |
TYPES |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Ryosuke Fujioka, Hiroshi Narazaki |
Preference representation in a content-oriented information retrieval system for local assembly minutes. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Sumit Gulwani, Ashish Tiwari 0001 |
Assertion Checking Unified. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Ana Cavalcanti 0001, Jim Woodcock 0001, Steve Dunne |
Angelic nondeterminism in the unifying theories of programming. |
Formal Aspects Comput. |
2006 |
DBLP DOI BibTeX RDF |
Semantics, Refinement, Relations, Predicate transformers |
15 | Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001 |
Unifying Theories in ProofPower-Z. |
UTP |
2006 |
DBLP DOI BibTeX RDF |
Unifying Theories of Programming, theorem prover |
15 | Michael Furr, Jeffrey S. Foster |
Polymorphic Type Inference for the JNI. |
ESOP |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Xuan Li, Andy King, Lunjin Lu |
Collapsing Closures. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Joseph A. Goguen |
What Is a Concept? |
ICCS |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Leon J. Osterweil |
Unifying Microprocess and Macroprocess Research. |
ISPW |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Jan-Mark S. Wams, Maarten van Steen |
Unifying User-to-User Messaging Systems. |
IEEE Internet Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Holger Gast |
Explaining ML Type Errors by Data Flows. |
IFL |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Miguel García-Remesal, Victor Maojo, Holger Billhardt, José Crespo, Raúl Alonso-Calvo, David Pérez-Rey, Fernando Martin, A. Sousa |
ARMEDA II: Supporting Genomic Medicine through the Integration of Medical and Genetic Databases. |
BIBE |
2004 |
DBLP DOI BibTeX RDF |
ARMEDA II, Genomic Medicine, Heterogeneous Database Integration, INFOGENMED, Bioinformatics, Medical Informatics, Biomedical Informatics |
15 | Marius C. Bujorianu, Eerke A. Boiten |
Towards Correspondence Carrying Specifications. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
UML, Z, viewpoints, LOTOS, category theory, partial specification |
15 | Fabian Mörchen, Alfred Ultsch |
Mining Hierarchical Temporal Patterns in Multivariate Time Series. |
KI |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Bo Huang, Bing-Yi Zhang, Fang Zhou, Ya-Min Sun |
Modeling multimodal integration based on colored Petri nets and feature structures. |
ICARCV |
2004 |
DBLP DOI BibTeX RDF |
|
15 | César Luis Alonso, Fátima Drubi, Judith Gómez-García, José Luis Montaña |
Word Equation Systems: The Heuristic Approach. |
SBIA |
2004 |
DBLP DOI BibTeX RDF |
local search strategies, genetic algorithms, Evolutionary computation, word equations |
15 | Noureddine Chabini, Wayne H. Wolf |
An approach for integrating basic retiming and software pipelining. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
embedded systems, system-on-chip, timings, instruction-level parallelism, software pipelining, VLIW, retiming, superscalar processor, peak power, code size |
15 | Sébastien Carlier, J. B. Wells |
Type inference with expansion variables and intersection types in system E and an exact correspondence with beta-reduction. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
expansion variables, type inference, lambda-calculus, intersection types |
15 | Martin Kardos, Franz J. Rammig |
Model Based Formal Verification of Distributed Production Control Systems. |
SoftSpez Final Report |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, David Overton, Peter J. Stuckey |
Herbrand Constraints in HAL. |
Program Development in Computational Logic |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Temur Kutsia |
Solving Equations Involving Sequence Variables and Sequence Functions. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Christopher Lynch, Catherine Meadows 0001 |
Sound Approximations to Diffie-Hellman Using Rewrite Rules. |
ICICS |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Gábor Alberti, Katalin Balogh, Judit Kleiber, Anita Viszket |
Total Lexicalism and GASGrammars: A Direct Way to Semantics. |
CICLing |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Michal Wozniak 0001 |
Case- and Rule-Based Algorithms for the Contextual Pattern Recognition Problem. |
ICCSA (1) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi |
Deterministic Higher-Order Patterns for Program Transformation. |
LOPSTR |
2003 |
DBLP DOI BibTeX RDF |
Higher-order pattern matching, Fusion transformation, Program transformation, Functional programming, Program derivation |
Displaying result #401 - #500 of 3060 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|