The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for predicates with no syntactic query expansion in all metadata.

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