|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1875 occurrences of 1088 keywords
|
|
|
Results
Found 2722 publication records. Showing 2722 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
121 | Vijay K. Garg, Brian Waldecker |
Detection of Weak Unstable Predicates in Distributed Programs. |
IEEE Trans. Parallel Distributed Syst. |
1994 |
DBLP DOI BibTeX RDF |
programtesting, weak unstable predicates, weakconjunctive predicates, distributed debugger, testing, distributed algorithms, debugging, Unix, UNIX, communication complexity, distributed programs, distributed memory systems, program debugging, message complexity, Sun workstations, global predicates |
87 | Craig M. Chase, Vijay K. Garg |
Detection of Global Predicates: Techniques and Their Limitations. |
Distributed Comput. |
1998 |
DBLP DOI BibTeX RDF |
Unstable predicates, Distributed debugging, Predicate detection |
87 | Mark Minas |
Detecting Quantified Global Predicates in Parallel Programs. |
Euro-Par |
1995 |
DBLP DOI BibTeX RDF |
parallel debugger, testing, debugging, Global predicates |
85 | Vijay K. Garg, Craig M. Chase, J. Roger Mitchell, Richard B. Kilgore |
Detecting conjunctive channel predicates in a distributed programming environment. |
HICSS (2) |
1995 |
DBLP DOI BibTeX RDF |
conjunctive channel predicates detection, efficient global predicate detection, local predicates, global virtual time computation, distributed processing, message passing, Boolean functions, programming environments, communication complexity, programming theory, monotonicity, message complexity, Boolean formula, termination detection, telecommunication channels, distributed programming environment |
81 | Ashlesha Joshi, Samuel T. King, George W. Dunlap, Peter M. Chen |
Detecting past and present intrusions through vulnerability-specific predicates. |
SOSP |
2005 |
DBLP DOI BibTeX RDF |
IntroVirt, virtual-machine introspection, virtual-machine replay, vulnerability-specific predicates, intrusion detection, semantic gap |
79 | Iosif Lazaridis, Sharad Mehrotra |
Optimization of multi-version expensive predicates. |
SIGMOD Conference |
2007 |
DBLP DOI BibTeX RDF |
expensive methods, multi-version predicates, multimedia sensor networks, user-defined predicates, data streams, query optimization, adaptive query processing |
75 | Mark McKenney, Alejandro Pauly, Reasey Praing, Markus Schneider 0001 |
Dimension-refined topological predicates. |
GIS |
2005 |
DBLP DOI BibTeX RDF |
SPAL2D, GIS, spatial databases, dimension, topological predicates |
71 | Stewart Shapiro |
Reasoning with Slippery Predicates. |
Stud Logica |
2008 |
DBLP DOI BibTeX RDF |
comparison class, supervaluation, sorites paradox, penumbral connection, conversational score, response-dependence, tolerance, Vagueness, contextualism, Kripke structures |
69 | David G. Cantor |
On The Ambiguity Problem of Backus Systems. |
J. ACM |
1962 |
DBLP DOI BibTeX RDF |
|
69 | Anirban Majumdar 0001, Clark D. Thomborson |
Manufacturing opaque predicates in distributed systems for code obfuscation. |
ACSC |
2006 |
DBLP BibTeX RDF |
distributed predicate detection, mobile code protection, opaque predicates, software protection, distributed systems security, code obfuscation |
64 | Loon-Been Chen, I-Chen Wu |
Detection of Summative Global Predicates. |
ICPADS |
1997 |
DBLP DOI BibTeX RDF |
|
64 | Edward P. F. Chan, Jimmy N. H. Ng |
A General and Efficient Implementation of Geometric Operators and Predicates. |
SSD |
1997 |
DBLP DOI BibTeX RDF |
|
62 | Décio Krause, Steven French |
Quantum sortal predicates. |
Synth. |
2007 |
DBLP DOI BibTeX RDF |
Sortal predication, Quantum predicates, Sortal logic, Intensional semantics |
62 | Martin Erwig, Markus Schneider 0001 |
Spatio-Temporal Predicates. |
IEEE Trans. Knowl. Data Eng. |
2002 |
DBLP DOI BibTeX RDF |
Time in geographic information, spatio-temporal data types, representation of spatio-temporal objects, changes of spatial predicates, developments of spatial objects |
60 | Flemming Nielson, Hanne Riis Nielson |
Layered Predicates. |
REX Workshop |
1992 |
DBLP DOI BibTeX RDF |
partial equivalence relations, Kripke-logical relations, layered predicates, Kripke-layered predicates, substitution properties, well-structured proofs, correctness of code generation, proof principles, denotational semantics, logical relations |
59 | Linda A. Ness |
L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
L.0, truly concurrent executable temporal logic language, true concurrency model, execution algorithm, standard imperative programming, state predicates, equality predicates, hierarchical message structure, Futurebus+, simulation, protocols, protocols, specification, temporal logic, specification languages, simulation languages |
58 | Eun-Jung Lee |
Local Detection of Exclusive Global Predicates. |
ICPP |
1999 |
DBLP DOI BibTeX RDF |
|
58 | Vijay K. Garg, Brian Waldecker |
Detection of Unstable Predicates in Distributed Programs. |
FSTTCS |
1992 |
DBLP DOI BibTeX RDF |
|
58 | Andrzej Blikle |
Three-Valued Predicates for Software Specification and Validation. |
VDM Europe |
1988 |
DBLP DOI BibTeX RDF |
|
56 | Surajit Chaudhuri, Kyuseok Shim |
Optimization of Queries with User-Defined Predicates. |
ACM Trans. Database Syst. |
1999 |
DBLP DOI BibTeX RDF |
user-defined predicates, dynamic programming, query optimization |
52 | Elvira Albert, Germán Puebla, John P. Gallagher |
Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates. |
LOPSTR |
2005 |
DBLP DOI BibTeX RDF |
|
52 | Craig M. Chase, Vijay K. Garg |
Efficient Detection of Restricted Classes of Global Predicates. |
WDAG |
1995 |
DBLP DOI BibTeX RDF |
|
52 | Brian Waldecker, Vijay K. Garg |
Detection of strong predicates in distributed programs. |
SPDP |
1991 |
DBLP DOI BibTeX RDF |
|
50 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre |
Software Verification with BLAST. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
50 | Zhiyuan Chen 0003, Flip Korn, Nick Koudas, S. Muthukrishnan 0001 |
Selectivity Estimation for Boolean Queries. |
PODS |
2000 |
DBLP DOI BibTeX RDF |
|
50 | Paulo Moura |
Secure Implementation of Meta-predicates. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
meta-predicates, security, Logic-programming |
50 | Dan López de Sa |
The over-generalization problem: predicates rigidly signifying the "unnatural". |
Synth. |
2008 |
DBLP DOI BibTeX RDF |
Over-generalization problem, Natural properties, General terms, Natural kind terms, Predicates, Rigidity |
50 | Sihem Amer-Yahia, Emiran Curtmola, Alin Deutsch |
Flexible and efficient XML search with complex full-text predicates. |
SIGMOD Conference |
2006 |
DBLP DOI BibTeX RDF |
XML text search, text predicates, full-text search |
50 | Goce Trajcevski, Peter Scheuermann, Hervé Brönnimann, Agnès Voisard |
Dynamic topological predicates and notifications in moving objects databases. |
Mobile Data Management |
2005 |
DBLP DOI BibTeX RDF |
event notification systems, moving objects databases, topological predicates |
50 | Ajay D. Kshemkalyani |
A Fine-Grained Modality Classification for Global Predicates. |
IEEE Trans. Parallel Distributed Syst. |
2003 |
DBLP DOI BibTeX RDF |
distributed system, synchronization, causality, Predicates, distributed execution, global state |
48 | Zheng Yuan, Qiaoyan Wen, Wenling Wu, Qing Zhang |
An ID-Based Watermarking Scheme for Java Programs. |
EUC Workshops |
2006 |
DBLP DOI BibTeX RDF |
watermarked opaque predicates, Java programs, ID, aggregate signature, watermarking scheme |
46 | Reasey Praing, Markus Schneider 0001 |
Efficient Implementation Techniques for Topological Predicates on Complex Spatial Objects. |
GeoInformatica |
2008 |
DBLP DOI BibTeX RDF |
complex spatial object, predicate verification, predicate determination, topological feature vector, exploration phase, evaluation phase, nine-intersection matrix characterization, matrix thinning, minimum cost decision tree, spatial database, topological predicate |
46 | Seung-won Hwang, Kevin Chen-Chuan Chang |
Probe Minimization by Schedule Optimization: Supporting Top-K Queries with Expensive Predicates. |
IEEE Trans. Knowl. Data Eng. |
2007 |
DBLP DOI BibTeX RDF |
database systems, distributed information systems, Database query processing |
46 | Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita |
Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
46 | Amit Chandel, Oktie Hassanzadeh, Nick Koudas, Mohammad Sadoghi, Divesh Srivastava |
Benchmarking declarative approximate selection predicates. |
SIGMOD Conference |
2007 |
DBLP DOI BibTeX RDF |
declarative data quality, performance, SQL, accuracy, data cleaning |
46 | Vinit A. Ogale, Vijay K. Garg |
Detecting Temporal Logic Predicates on Distributed Computations. |
DISC |
2007 |
DBLP DOI BibTeX RDF |
|
46 | Mila Dalla Preda, Matias Madou, Koen De Bosschere, Roberto Giacobazzi |
Opaque Predicates Detection by Abstract Interpretation. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
46 | Haifeng Jiang, Hongjun Lu, Wei Wang 0011 |
Efficient Processing of Twig Queries with OR-Predicates. |
SIGMOD Conference |
2004 |
DBLP DOI BibTeX RDF |
|
46 | Adi Akavia, Shafi Goldwasser, Shmuel Safra |
Proving Hard-Core Predicates Using List Decoding. |
FOCS |
2003 |
DBLP DOI BibTeX RDF |
|
46 | Megan Thomas, Joseph M. Hellerstein |
Boolean Bounding Predicates for Spatial Access Methods. |
DEXA |
2002 |
DBLP DOI BibTeX RDF |
|
46 | Kevin Chen-Chuan Chang, Seung-won Hwang |
Minimal probing: supporting expensive predicates for top-k queries. |
SIGMOD Conference |
2002 |
DBLP DOI BibTeX RDF |
Database Manager |
46 | Markus Schneider 0001 |
A Design of Topological Predicates for Complex Crisp and Fuzzy Regions. |
ER |
2001 |
DBLP DOI BibTeX RDF |
|
46 | Xiaoyong Du 0001, Zhibin Liu, Naohiro Ishii |
A New Factoring Algorithm for Magic Predicates. |
ASIAN |
1998 |
DBLP DOI BibTeX RDF |
query optimization, deductive databases, factoring, magic sets |
46 | Bernadette Charron-Bost, Carole Delporte-Gallet, Hugues Fauconnier |
Local and Temporal Predicates In Distributed Systems. |
ACM Trans. Program. Lang. Syst. |
1995 |
DBLP DOI BibTeX RDF |
knowledge predicate, local predicate, temporal predicate, distributed computation, observation, predicate, predicate transformer |
46 | Joseph M. Hellerstein, Michael Stonebraker |
Predicate Migration: Optimizing Queries with Expensive Predicates. |
SIGMOD Conference |
1993 |
DBLP DOI BibTeX RDF |
SQL, C |
46 | Maurizio Proietti, Alberto Pettorossi |
Synthesis of Eureka Predicates for Developing Logic Programs. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
44 | Hongtao Huang |
Detection of Disjunctive Normal Form Predicate in Distributed Systems. |
ICDCN |
2008 |
DBLP DOI BibTeX RDF |
|
44 | Guy Dumais, Hon Fung Li |
Distributed Predicate Detection in Series-Parallel Systems. |
IEEE Trans. Parallel Distributed Syst. |
2002 |
DBLP DOI BibTeX RDF |
state lattice, concurrent interval, series-parallel structure, separable predicate, distributed computation, predicate detection, communication graph |
44 | Donghui Zhang, Alexander Markowetz, Vassilis J. Tsotras, Dimitrios Gunopulos, Bernhard Seeger |
On computing temporal aggregates with range predicates. |
ACM Trans. Database Syst. |
2008 |
DBLP DOI BibTeX RDF |
Temporal aggregates, functional aggregates, range predicates, indexing |
44 | Richard Kuntschke, Alfons Kemper |
Matching and evaluation of disjunctive predicates for data stream sharing. |
CIKM |
2006 |
DBLP DOI BibTeX RDF |
data stream sharing, disjunctive predicates, predicate evaluation, predicate matching |
44 | S. Venkatesan 0001, Brahma Dathan |
Testing and Debugging Distributed Programs Using Global Predicates. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
Distributed algorithms, asynchronous distributed systems, message complexity, distributed debugging, distributed testing, global predicates |
39 | Xiaoshuang Xu, Yucai Feng, Feng Wang |
Efficient Processing of XML Twig Queries with All Predicates. |
ACIS-ICIS |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Olivier Devillers, Marc Glisse, Sylvain Lazard |
Predicates for line transversals to lines and line segments in three-dimensional space. |
SCG |
2008 |
DBLP DOI BibTeX RDF |
optimality, polynomial, predicate, line transversal |
39 | Sriram Sankaranarayanan 0001, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta |
Dynamic inference of likely data preconditions over predicates by tree learning. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
machine learning, verification, decision trees, sat, software specification |
39 | Piramanayagam Arumuga Nainar, Ting Chen, Jake Rosin, Ben Liblit |
Statistical debugging using compound boolean predicates. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
debugging effort metrics, dynamic feedback analysis, statistical bug isolation, three-valued logic |
39 | Tobias Salzbrunn, Gerik Scheuermann |
Streamline Predicates. |
IEEE Trans. Vis. Comput. Graph. |
2006 |
DBLP DOI BibTeX RDF |
Flow visualization, feature detection |
39 | Jeffrey Fischer, Ranjit Jhala, Rupak Majumdar |
Joining dataflow with predicates. |
ESEC/SIGSOFT FSE |
2005 |
DBLP DOI BibTeX RDF |
counterexample analysis, model checking, dataflow analysis, predicate abstraction |
39 | Alejandro Pauly, Markus Schneider 0001 |
Topological Predicates Between Vague Spatial Objects. |
SSTD |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Alfonso Gerevini, Alessandro Saetti, Ivan Serina, Paolo Toninelli |
Planning with Derived Predicates Through Rule-Action Graphs and Local Search Techniques. |
AI*IA |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Surajit Chaudhuri, Vivek R. Narasayya, Sunita Sarawagi |
Extracting predicates from mining models for efficient query evaluation. |
ACM Trans. Database Syst. |
2004 |
DBLP DOI BibTeX RDF |
Complex predicate optimization, simpler rules from complex predictive functions |
39 | Ajay D. Kshemkalyani |
A Note on Modalities for Nonconjunctive Global Predicates. |
IWDC |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Alper Sen 0001, Vijay K. Garg |
Detecting Temporal Logic Predicates on the Happened-Before Model. |
IPDPS |
2002 |
DBLP DOI BibTeX RDF |
distributed systems, model checking, temporal logic, CTL, predicate detection |
39 | Lars Engebretsen |
The Non-approximability of Non-Boolean Predicates. |
RANDOM-APPROX |
2001 |
DBLP DOI BibTeX RDF |
|
39 | Terence John Parr, Russell W. Quong |
Adding Semantic and Syntactic Predicates To LL(k): pred-LL(k). |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
38 | Saeed Parsa, Mojtaba Vahidi-Asl, Somaye Arabi Naree |
Finding Causes of Software Failure Using Ridge Regression and Association Rule Generation Methods. |
SNPD |
2008 |
DBLP DOI BibTeX RDF |
Ridge Regression method, Association rule generation, Bug predictors, Predicate, Software debugging |
38 | Himanshu Jain, Franjo Ivancic, Aarti Gupta, Malay K. Ganai |
Localization and Register Sharing for Predicate Abstraction. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Andreas Roth 0002 |
Specification and Verification of Encapsulation in Java Programs. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Kjell Johan Sæbø |
A Whether Forecast. |
TbiLLC |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Andrei Voronkov |
On Completeness of Program Synthesis Systems. |
CSL |
1991 |
DBLP DOI BibTeX RDF |
|
38 | Harry B. Hunt III, Daniel J. Rosenkrantz |
The Complexity of Testing Predicate Locks. |
SIGMOD Conference |
1979 |
DBLP DOI BibTeX RDF |
|
38 | Charles G. Nelson, Derek C. Oppen |
A Simplifier Based on Efficient Decision Algorithms. |
POPL |
1978 |
DBLP DOI BibTeX RDF |
|
37 | Miklós Ferenczi |
On Conservative Extensions in Logics with Infinitary Predicates. |
Stud Logica |
2009 |
DBLP DOI BibTeX RDF |
conservative extension, infinitary predicates, algebraic logic |
37 | Vahid Garakani, Sayyed Kamyar Izadi, Mostafa Haghjoo, Mohammad Harizi |
Ntjfsatnot: a novel method for query with not-predicates on xml data. |
CIKM |
2007 |
DBLP DOI BibTeX RDF |
dewey encoding, not-predicates, tjfast, twig joins, xml |
37 | Aleksandar Nanevski, Guy E. Blelloch, Robert Harper 0001 |
Automatic Generation of Staged Geometric Predicates. |
High. Order Symb. Comput. |
2003 |
DBLP DOI BibTeX RDF |
robust predicates, floating-point filters, exact arithmetic, computational geometry, program transformation |
37 | Vijay K. Garg, Brian Waldecker |
Detection of Strong Unstable Predicates in Distributed Programs. |
IEEE Trans. Parallel Distributed Syst. |
1996 |
DBLP DOI BibTeX RDF |
Unstable predicates, distributed algorithms, distributed debugging, predicate detection |
36 | Caetano Traina Jr., Agma J. M. Traina, Marcos R. Vieira, Adriano S. Arantes, Christos Faloutsos |
Efficient processing of complex similarity queries in RDBMS through query rewriting. |
CIKM |
2006 |
DBLP DOI BibTeX RDF |
similarity predicates, query rewriting |
36 | Samir Saad, Joe Tekli, Richard Chbeir, Kokou Yétongnon |
Towards Multimedia Fragmentation. |
ADBIS |
2006 |
DBLP DOI BibTeX RDF |
Multimedia fragmentation, Range and KNN operators, predicates implication, objects classification |
36 | Sebastian Fischer 0001 |
A functional logic database library. |
WCFLP |
2005 |
DBLP DOI BibTeX RDF |
database library, dynamic predicates, curry, persistent storage |
36 | Mohamed Mosbah 0001, Rodrigue Ossamy |
Checking Global Properties for Local Computations in Graphs with Applications to Invariant Testing. |
ENC |
2004 |
DBLP DOI BibTeX RDF |
distributed programming languages, distributed systems, distributed debugging, local computations, consistent global states, Global predicates detection |
36 | 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 |
33 | José Carlos Almeida Santos, Alireza Tamaddoni-Nezhad, Stephen H. Muggleton |
An ILP System for Learning Head Output Connected Predicates. |
EPIA |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Christoph Koch 0001 |
Approximating predicates and expressive queries on probabilistic databases. |
PODS |
2008 |
DBLP DOI BibTeX RDF |
complexity, approximation, probabilistic databases, uncertain data |
33 | Decheng Ding, Klaus Weihrauch, Yongcheng Wu |
Absolutely Non-effective Predicates and Functions in Computable Analysis. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
measure, computability, representation, set, undecidability |
33 | Tiago Soares, Ricardo Rocha 0001, Michel Ferreira |
Generic Cut Actions for External Prolog Predicates. |
PADL |
2006 |
DBLP DOI BibTeX RDF |
Prolog Systems Implementation, External Modules, Pruning |
33 | Hong Chen, Xiaoling Wang, Aoying Zhou |
Efficient Evaluation of Distance Predicates in XPath Full-Text Query. |
APWeb Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Alejandro Pauly, Markus Schneider 0001 |
Identifying topological predicates for vague spatial objects. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
VASA, cancellation rule, clustering rule, vague spatial data type, query language, three-valued logic |
33 | Zografoula Vagena, Nick Koudas, Divesh Srivastava, Vassilis J. Tsotras |
Efficient Handling of Positional Predicates Within XML Query Processing. |
XSym |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Enhua Jiao, Tok Wang Ling, Chee Yong Chan |
PathStack : A Holistic Path Join Algorithm for Path Query with Not-Predicates on XML Data. |
DASFAA |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Dong-Ho Lee, Dong-Joo Park |
An Efficient Incremental Nearest Neighbor Algorithm for Processing k-Nearest Neighbor Queries with Visal and Semantic Predicates in Multimedia Information Retrieval System. |
AIRS |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Surajit Chaudhuri, Venkatesh Ganti, Luis Gravano |
Selectivity Estimation for String Predicates: Overcoming the Underestimation Problem. |
ICDE |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Edmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang |
Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Sagar Chaki, Edmund M. Clarke, Alex Groce, Ofer Strichman |
Predicate Abstraction with Minimum Predicates. |
CHARME |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Surajit Chaudhuri, Vivek R. Narasayya, Sunita Sarawagi |
Efficient Evaluation of Queries with Mining Predicates. |
ICDE |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Mikael Goldmann, Alexander Russell |
Spectral Bounds on General Hard Core Predicates. |
STACS |
2000 |
DBLP DOI BibTeX RDF |
|
33 | Gautam Bhargava, Piyush Goel, Balakrishna R. Iyer |
Hypergraph Based Reorderings of Outer Join Queries with Complex Predicates. |
SIGMOD Conference |
1995 |
DBLP DOI BibTeX RDF |
SQL |
33 | Henrik Boström |
Specialization of Recursive Predicates. |
ECML |
1995 |
DBLP DOI BibTeX RDF |
|
33 | Surajit Chaudhuri |
Finding Nonrecursive Envelopes for Datalog Predicates. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
Datalog |
33 | François Fages |
On the Semantics of Optimization Predicates in CLP Languages. |
FSTTCS |
1993 |
DBLP DOI BibTeX RDF |
|
31 | Guido Moerkotte, Thomas Neumann 0001 |
Faster Join Enumeration for Complex Queries. |
ICDE |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Guido Moerkotte, Thomas Neumann 0001 |
Dynamic programming strikes back. |
SIGMOD Conference |
2008 |
DBLP DOI BibTeX RDF |
complex joins, query optimization, hypergraphs |
Displaying result #1 - #100 of 2722 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|