Search results for "predicates"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Lev D. Beklemishev	On the induction schema for decidable predicates.	J. Symb. Log.	2003	DBLP DOI BibTeX RDF
14	Dong-Joo Park, Hyoung-Joo Kim	An Enhanced Technique for k-Nearest Neighbor Queries with Non-Spatial Selection Predicates.	Multim. Tools Appl.	2003	DBLP DOI BibTeX RDF
14	Volker Halbach, Hannes Leitgeb, Philip D. Welch	Possible-Worlds Semantics for Modal Notions Conceived as Predicates.	J. Philos. Log.	2003	DBLP DOI BibTeX RDF
14	Jordi Atserias, Mauro Castillo, Francis Real, Horacio Rodríguez, German Rigau	Exploring Large-scale Acquisition of Multilingual Semantic Models for Predicates.	Proces. del Leng. Natural	2003	DBLP BibTeX RDF
14	Philippe Guigue, Olivier Devillers	Fast and Robust Triangle-Triangle Overlap Test Using Orientation Predicates.	J. Graphics, GPU, & Game Tools	2003	DBLP DOI BibTeX RDF
14	Fábio Porto 0001, Eduardo Sany Laber, Patrick Valduriez	Cherry Picking: A Semantic Query Processing Strategy for the Evaluation of Expensive Predicates.	SBBD	2003	DBLP BibTeX RDF
14	Olivier Devillers, Sylvain Pion	Efficient Exact Geometric Predicates for Delauny Triangulations.	ALENEX	2003	DBLP BibTeX RDF
14	Carles Farré, Ernest Teniente, Toni Urpí	Query Containment with Negated IDB Predicates.	ADBIS	2003	DBLP DOI BibTeX RDF
14	Marc L. Smith, Charles E. Hughes	A Characterization of Lazy and Eager Semantic Solutions to the Linda Predicates Ambiguity Problem.	PDPTA	2003	DBLP BibTeX RDF
14	Chi-Hon Choi, Jeffrey Xu Yu, Hongjun Lu	Dynamic Materialized View Management Based on Predicates.	APWeb	2003	DBLP DOI BibTeX RDF	Dynamic materialized view management, data warehousing
14	Constantino Gonçalves Ribeiro, Lúcia Maria de A. Drummond, Rosi S. Wedemann	Detection of Generalized Conjunctive Predicates for Debugging Parallel Distributed Programs.	Applied Informatics	2003	DBLP BibTeX RDF
14	Alexander Kurz 0001, Jirí Rosický	Modal Predicates and Co-equations.	CMCS	2002	DBLP DOI BibTeX RDF
14	Jae Dong Yang	Implicit predicates for handling disjunctive fuzzy information in fuzzy databases.	Int. J. Intell. Syst.	2002	DBLP DOI BibTeX RDF
14	Loïc Colson	Syntactical Truth Predicates for Formulas with Atomic Negation.	Math. Struct. Comput. Sci.	2002	DBLP DOI BibTeX RDF
14	Olivier Devillers, Alexandra Fronville, Bernard Mourrain, Monique Teillaud	Algebraic methods and arithmetic filtering for exact predicates on circle arcs.	Comput. Geom.	2002	DBLP DOI BibTeX RDF
14	Nick Koudas	Efficient computation of spatial joins with intersection predicates.	Int. J. Geogr. Inf. Sci.	2002	DBLP DOI BibTeX RDF
14	Cristian Grozea	NP Predicates Computable in the Weakest Level of the Grzegorczyck Hierarchy.	DCFS	2002	DBLP BibTeX RDF
14	Satoshi Shirai, Kazuhide Yamamoto, Francis Bond, Hozumi Tanaka	Towards a Thesaurus of Predicates.	LREC	2002	DBLP BibTeX RDF
14	Ilya Shlyakhter	Generating effective symmetry-breaking predicates for search problems.	Electron. Notes Discret. Math.	2001	DBLP DOI BibTeX RDF
14	Gerhard Jäger	Topic‐Comment Structure and the Contrast Between Stage Level and Individual Level Predicates.	J. Semant.	2001	DBLP DOI BibTeX RDF
14	Stefan Müller 0006	An HPSG Analysis of German Depictive Secondary Predicates.	FGMOL	2001	DBLP DOI BibTeX RDF
14	Loïc Colson, Serge Grigorieff	Syntactical Truth Predicates For Second Order Arithmetic.	J. Symb. Log.	2001	DBLP DOI BibTeX RDF
14	Bektur Sembiuly Baizhanov	Expansion of A Model of A Weakly O-Minimal Theory by A Family of Unary Predicates.	J. Symb. Log.	2001	DBLP DOI BibTeX RDF
14	Gertjan van Noord, Dale Gerdemann	Finite State Transducers with Predicates and Identities.	Grammars	2001	DBLP DOI BibTeX RDF
14	Mikael Goldmann, Mats Näslund, Alexander Russell	Complexity Bounds on General Hard-Core Predicates.	J. Cryptol.	2001	DBLP DOI BibTeX RDF
14	Nicole Schweikardt	On the expressive power of first-order logic with built-in predicates.		2001	RDF
14	José Emilio Labra Gayo, Juan Manuel Cueva Lovelle, María Cándida Luengo Díez, Agustín Cernuda del Río	Reusable monadic semantics of logic programs with arithmetic predicates.	APPIA-GULP-PRODE	2001	DBLP BibTeX RDF
14	Charu C. Aggarwal, Fatima Al-Garawi, Philip S. Yu	Intelligent crawling on the World Wide Web with arbitrary predicates.	WWW	2001	DBLP DOI BibTeX RDF	World Wide Web, querying, crawling
14	Yael Gertner, Tal Malkin, Omer Reingold	On the Impossibility of Basing Trapdoor Functions on Trapdoor Predicates.	FOCS	2001	DBLP DOI BibTeX RDF
14	Jin-yi Cai, Venkatesan T. Chakaravarthy, Raghav Kaushik, Jeffrey F. Naughton	On the Complexity of Join Predicates. (PDF / PS)	PODS	2001	DBLP DOI BibTeX RDF
14	Markus Schneider 0001	Fuzzy Topological Predicates, Their Properties, and Their Integration into Query Languages.	ACM-GIS	2001	DBLP DOI BibTeX RDF
14	Lakshmi Priya Mahalingam, K. Selçuk Candan	Query Optimization in the Presence of Top-k Predicates.	Multimedia Information Systems	2001	DBLP BibTeX RDF
14	Hans J. Stetter	Algebraic Predicates for Empirical Data.	CASC	2001	DBLP DOI BibTeX RDF
14	Adonai S. Sant'Anna	Elementary Particles, Hidden Variables, And Hidden Predicates.	Synth.	2000	DBLP DOI BibTeX RDF
14	Desh Ranjan, Enrico Pontelli, Gopal Gupta 0001	Data structures for order-sensitive predicates in parallel nondeterministic systems.	Acta Informatica	2000	DBLP DOI BibTeX RDF
14	Jean-Daniel Boissonnat, Jack Snoeyink	Efficient algorithms for line and curve segment intersection using restricted predicates.	Comput. Geom.	2000	DBLP DOI BibTeX RDF
14	Timothy M. Chan	Reporting curve segment intersections using restricted predicates.	Comput. Geom.	2000	DBLP DOI BibTeX RDF
14	Eric Simon	Review - Predicate Migration: Optimizing Queries with Expensive Predicates.	ACM SIGMOD Digit. Rev.	2000	DBLP BibTeX RDF
14	Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik	Automatic Termination Analysis of Programs Containing Arithmetic Predicates	CoRR	2000	DBLP BibTeX RDF
14	Masahito Hasegawa	Girard translation and logical predicates.	J. Funct. Program.	2000	DBLP DOI BibTeX RDF
14	Olivier Devillers, Alexandra Fronville, Bernard Mourrain, Monique Teillaud	Algebraic Methods and Arithmetic Filtering for Exact Predicates on Circle Arcs.	EuroCG	2000	DBLP BibTeX RDF
14	Olivier Devillers, Alexandra Fronville, Bernard Mourrain, Monique Teillaud	Algebraic methods and arithmetic filtering for exact predicates on circle arcs.	SCG	2000	DBLP DOI BibTeX RDF
14	Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro	Partial Predicates for Demand Analysis.	WFLP	2000	DBLP BibTeX RDF
14	Akira Ishikawa	Multiple Representation of Japanese Complex Predicates : A Lexicalist Analysis of Subject and Object Honorific Forms.	PACLIC	2000	DBLP BibTeX RDF
14	Olivier Devillers, Franco P. Preparata	Further results on arithmetic filters for geometric predicates.	Comput. Geom.	1999	DBLP DOI BibTeX RDF
14	Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik	Automatic Termination Analysis of Programs Containing Arithmetic Predicates.	Verification of Logic Programs@ICLP	1999	DBLP DOI BibTeX RDF
14	Olivier Devillers, Franco P. Preparata	Further Results on Arithmetic Filters for Geometric Predicates	CoRR	1999	DBLP BibTeX RDF
14	Jean-Daniel Boissonnat, Jack Snoeyink	Efficient Algorithms for Line and Curve Segment Intersection Using Restricted Predicates.	SCG	1999	DBLP DOI BibTeX RDF
14	Hanxiong Chen, Toshiro Ohno, Nobuo Ohbo	Processing Queries with Expensive Predicates by Filtering.	COMPSAC	1999	DBLP DOI BibTeX RDF	Expensive predicate, Query processing, Filtering
14	Tommaso Bolognesi, Andrea Bracciali	Formal specification of discrete systems by active predicates and dynamic constraints (Short Paper).	FMOODS	1999	DBLP BibTeX RDF
14	Sun-Hee Lee	Argument Composition and Linearization in Korean. Noun-Verb Complex Predicates Constructions.	ESSLLI Student Papers	1999	DBLP BibTeX RDF
14	Yuri Leonidovich Ershov	Sigma predicates of finite types.	Workshop on Domains	1998	DBLP DOI BibTeX RDF
14	Juan Barba	Construction of truth predicates: approximation versus revision.	Bull. Symb. Log.	1998	DBLP DOI BibTeX RDF
14	Chris Swoyer	Complex Predicates and Logics for Properties and Relations.	J. Philos. Log.	1998	DBLP DOI BibTeX RDF
14	Dominique Laurent 0001, Viet Phan Luong, Nicolas Spyratos	Updating Intensional Predicates in Deductive Databases.	Data Knowl. Eng.	1998	DBLP DOI BibTeX RDF
14	Joel Spencer, Katherine St. John	Random unary predicates: Almost sure theories and countable models.	Random Struct. Algorithms	1998	DBLP DOI BibTeX RDF
14	I-Chen Wu, Loon-Been Chen	On Detection of Bounded Global Predicates.	Comput. J.	1998	DBLP DOI BibTeX RDF
14	Lutz Kettner, Emo Welzl	One Sided Error Predicates in Geometric Computing.	IFIP Congress: Fundamentals - Foundations of Computer Science	1998	DBLP BibTeX RDF
14	Christoph Burnikel, Stefan Funke, Michael Seel	Exact Geometric Predicates Using Cascaded Computation.	SCG	1998	DBLP DOI BibTeX RDF
14	Ming-Syan Chen	Using Multi-Attribute Predicates for Mining Classification Rules.	COMPSAC	1998	DBLP DOI BibTeX RDF
14	Phokion G. Kolaitis, David L. Martin 0001, Madhukar N. Thakur	On the Complexity of the Containment Problem for Conjunctive Queries with Built-in Predicates.	PODS	1998	DBLP DOI BibTeX RDF
14	Tevfik Bultan, Richard Gerber 0001, Christopher League	Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach.	ISSTA	1998	DBLP DOI BibTeX RDF
14	Ashis Tarafdar, Vijay K. Garg	Addressing False Causality while Detecting Predicates in Distributed Programs.	ICDCS	1998	DBLP DOI BibTeX RDF
14	E. Lee, C. Park, D. Lee	Detection of Exclusive OR Global Predicates.	ASE	1998	DBLP DOI BibTeX RDF
14	Mauricio Ayala-Rincón	Church-Rosser Property for Conditional Rewriting Systems with Built-in Predicates as Premises.	FroCoS	1998	DBLP BibTeX RDF
14	Narayanan Shivakumar, Hector Garcia-Molina, Chandra Chekuri	Filtering with Approximate Predicates.	VLDB	1998	DBLP BibTeX RDF
14	Newton C. A. da Costa, Otávio A. S. Bueno, Steven French	Suppes Predicates for Space-Time.	Synth.	1997	DBLP DOI BibTeX RDF
14	Marcelo Tsuji	Suppes Predicates for Meta-Ranking Structures.	Synth.	1997	DBLP DOI BibTeX RDF
14	Vijay K. Garg, J. Roger Mitchell	Detecting Conjunctions of Global Predicates.	Inf. Process. Lett.	1997	DBLP DOI BibTeX RDF
14	Andreas Hamfelt, Jørgen Fischer Nilsson	Towards a Logic Programming Methodology Based on Higher-Order Predicates.	New Gener. Comput.	1997	DBLP DOI BibTeX RDF
14	Vijay K. Garg, Craig M. Chase, Richard B. Kilgore, J. Roger Mitchell	Efficient Detection of Channel Predicates in Distributed Systems.	J. Parallel Distributed Comput.	1997	DBLP DOI BibTeX RDF
14	Hsien-Kuang Chiou, Willard Korfhage	Detecting ENF Event Predicates in Distributed Systems.	J. Parallel Distributed Comput.	1997	DBLP DOI BibTeX RDF
14	Carl H. Smith, Rolf Wiehagen, Thomas Zeugmann	Classifying Predicates and Languages.	Int. J. Found. Comput. Sci.	1997	DBLP DOI BibTeX RDF
14	Bernd-Jürgen Falkowski	Predicates and Superimposed Coding: An Application to Image Recognition.	Fuzzy Days	1997	DBLP DOI BibTeX RDF
14	Hervé Brönnimann, Ioannis Z. Emiris, Victor Y. Pan, Sylvain Pion	Computing Exact Geometric Predicates Using Modular Arithmetic with Single Precision.	SCG	1997	DBLP DOI BibTeX RDF	exact arithmetic, modular computations, single precision, computational geometry, robustness, residue number systems
14	Scott D. Stoller	Detecting Global Predicates in Distributed Systems with Clocks.	WDAG	1997	DBLP DOI BibTeX RDF	distributed debugging, real-time monitoring, consistent global states, partially-synchronous systems, global predicate detection
14	Sven Helmer, Guido Moerkotte	Evaluation of Main Memory Join Algorithms for Joins with Set Comparison Join Predicates.	VLDB	1997	DBLP BibTeX RDF
14	Moshe Y. Vardi	Rank Predicates vs. Progress Measures in Concurrent-Program Verification.	Chic. J. Theor. Comput. Sci.	1996	DBLP BibTeX RDF
14	Thomas Lindgren	Polyvariant Detection of Uninitialized Arguments of Prolog Predicates.	J. Log. Program.	1996	DBLP DOI BibTeX RDF
14	Sang-Koo Seo, Yoon-Joon Lee	Applicability of Genetic Algorithms to Optimal Evaluation of Path Predicates in Object-Oriented Queries.	Inf. Process. Lett.	1996	DBLP DOI BibTeX RDF
14	Amit M. Paradkar, Kuo-Chung Tai, Mladen A. Vouk	Automatic test-generation for predicates [software testing].	IEEE Trans. Reliab.	1996	DBLP DOI BibTeX RDF
14	J. Baptista, Luís Monteiro	Handling Calls to Missing Predicates.	APPIA-GULP-PRODE	1996	DBLP BibTeX RDF
14	Jonathan Richard Shewchuk	Robust Adaptive Floating-Point Geometric Predicates.	SCG	1996	DBLP DOI BibTeX RDF
14	Amit M. Paradkar, Kuo-Chung Tai, Mladen A. Vouk	Automatic test generation for predicates.	ISSRE	1996	DBLP DOI BibTeX RDF
14	Michel Hurfin, Masaaki Mizuno, Michel Raynal, Mukesh Singhal	On-The-Fly Detection Of Conjunctions Of Local Predicates In Distributed Computations.	SPDP	1996	DBLP DOI BibTeX RDF
14	Jesse Zhixi Fang	Compiler Algorithms on If-Conversion, Speculative Predicates Assignment and Predicated Code Optimizations.	LCPC	1996	DBLP DOI BibTeX RDF
14	James M. Crawford, Matthew L. Ginsberg, Eugene M. Luks, Amitabha Roy 0001	Symmetry-Breaking Predicates for Search Problems.	KR	1996	DBLP BibTeX RDF
14	Chiharu Uda	Beyond Telicity and Affected-Theme : Semantic Factors Contributing to the Resultative Interpretation of Predicates in Japanese.	PACLIC	1996	DBLP BibTeX RDF
14	Surajit Chaudhuri, Kyuseok Shim	Optimization of Queries with User-defined Predicates	VLDB	1996	DBLP BibTeX RDF
14	Ingrid Kaufmann	O- and D-Predicates: A Semantic Approach to the Unaccusative-Unergative Distinction.	J. Semant.	1995	DBLP DOI BibTeX RDF
14	Sumit Ganguly, Sergio Greco, Carlo Zaniolo	Extrema Predicates in Deductive Databases.	J. Comput. Syst. Sci.	1995	DBLP DOI BibTeX RDF
14	Chris Verhoef	A Congruence Theorem for Structured Operational Semantics with Predicates and Negative Premises.	Nord. J. Comput.	1995	DBLP BibTeX RDF
14	Jørgen Fischer Nilsson, Andreas Hamfelt	Constructing Logic Programs with Higher-Order Predicates.	GULP-PRODE	1995	DBLP BibTeX RDF
14	Roland Jégou, Raoul Medina, Lhouari Nourine	Linear Space Algorithm for On-line Detection of Global Predicates.	STRICT	1995	DBLP DOI BibTeX RDF
14	Paul E. Black, Phillip J. Windley	Autotically Synthesized Term Denotation Predicates: A Proof Aid.	TPHOLs	1995	DBLP DOI BibTeX RDF
14	Sang-Koo Seo, Yoon-Joon Lee	Optimizing Object-Oriented Queries with Path Predicates: Genetic Algorithm Approach.	NGITS	1995	DBLP BibTeX RDF
14	Jørgen Fischer Nilsson, Andreas Hamfelt	Constructing Logic Programs with Higher-Order Predicates.	ICLP	1995	DBLP BibTeX RDF
14	Cristina Cornes, Delphine Terrasse	Automating Inversion of Inductive Predicates in Coq.	TYPES	1995	DBLP DOI BibTeX RDF
14	Jean Mayo, Phil Kearns	Global predicates in rough real time.	SPDP	1995	DBLP DOI BibTeX RDF
14	Vijay K. Garg, Craig M. Chase	Distributed Algorithms for Detecting Conjunctive Predicates.	ICDCS	1995	DBLP DOI BibTeX RDF