Search results for "Predicates"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Rahul Garg 0001, Vijay K. Garg, Yogish Sabharwal	Scalable algorithms for global snapshots in distributed systems.	ICS	2006	DBLP DOI BibTeX RDF	global snapshot algorithms, stable predicates, fault tolerance, checkpointing, Blue Gene/L
23	Norbert Fuhr, Kai Großjohann	XIRQL: An XML query language based on information retrieval concepts.	ACM Trans. Inf. Syst.	2004	DBLP DOI BibTeX RDF	Path algebra, vague predicates, XML, XQuery, probabilistic retrieval, ranked retrieval
23	Florent Duguet, George Drettakis	Robust epsilon visibility.	ACM Trans. Graph.	2002	DBLP DOI BibTeX RDF	3D visibility, epsilon visibility, robust visibility predicates, illumination, shadow algorithms
23	Jens Claußen, Alfons Kemper, Guido Moerkotte, Klaus Peithner, Michael Steinbrunn	Optimization and Evaluation of Disjunctive Queries.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	disjunctive queries, query evaluation plans, expensive query predicates, bypass processing, query processing, Query optimization
23	Padmanabhan Krishnan	Consistency checks for UML.	APSEC	2000	DBLP DOI BibTeX RDF	UML consistency checking, state predicates, PVS theorem prover, Prototype Verification System, partially specified systems, behavioural description, Unified Modeling Language, formal verification, theorem proving, specification languages, diagrams, computation history, UML diagrams, dynamic aspects
23	Florian Waas	Extending Iterators for Advanced Query Execution.	Australasian Database Conference	2000	DBLP DOI BibTeX RDF	Disjunctive predicates, Iterators, Query evaluation
23	Seppo Puuronen, Vagan Y. Terziyan	A Similarity Evaluation Technique for Data Mining with an Ensemble of Classifiers.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	similarity evaluation technique, nearest neighbor recognition, learning phase, data mining, data mining, predicates, classifier ensemble, training set, misclassification errors
23	Gergely Lukács	Towards an Interactive Query Environment for a Multi-Attribute Decision Model with Imprecise Data and Vague Query Conditions.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	interactive query environment, multi-attribute decision model, vague query conditions, associated values, imprecise scores, fuzzy predicates, multidimensional spreadsheet front-end, imperfect answers, numeric measures, aggregated view, geographic information retrieval scenario, decision support systems, data warehouses, probability distributions, decision model, user friendliness, imprecise data
23	Yasuhiro Akiba, Hiromi Nakaiwa, Satoshi Shirai, Yoshifumi Ooyama	Interactive generalization of a translation example using queries based on a semantic hierarchy.	ICTAI	2000	DBLP DOI BibTeX RDF	interactive generalization, translation example, semantic hierarchy, semantic pattern pairs, rarely-used predicates, predicate usages, corpus-based methods, queries, machine translation, semantic networks, language translation
23	Martin Erwig, Markus Schneider 0001	Visual Specification of Spatio-Temporal Developments.	VL	1999	DBLP DOI BibTeX RDF	Object Traces, Spatio-Temporal Databases, Predicates
23	Norbert Fuhr, Thomas Rölleke	A Probabilistic Relational Algebra for the Integration of Information Retrieval and Database Systems.	ACM Trans. Inf. Syst.	1997	DBLP DOI BibTeX RDF	hypertext retrieval, logical retrieval model, uncortain data, vague predicates, relational data model, probabilistic retrieval, imprecise data
23	Adel Bouhoula, Jean-Pierre Jouannaud	Automata-Driven Automated Induction.	LICS	1997	DBLP DOI BibTeX RDF	automata-driven automated induction, inductive theorem proving, first-order functions, finitely many unary membership predicates, rational subsets, ground reducibility, inductive prover, theorem proving, tree automata, Horn Clauses, proof obligations
23	Jae-Young Chang, Sang-goo Lee	An optimization of disjunctive queries: union-pushdown.	COMPSAC	1997	DBLP DOI BibTeX RDF	disjunctive query optimization, disjunctive predicates, plan generation, union-pushdown, performance analysis, query processing, query optimizers
23	Hendrik Decker	Abduction for Knowledge Assimilation in Deductive Databases.	SCCC	1997	DBLP DOI BibTeX RDF	integrity maintenance, knowledge assimilation, SLDAI, SLD-based proof procedure, update request, hypothetical fact insertions, hypothetical fact deletions, base predicates, abductive logic programming, deductive databases, deductive databases, abduction
23	Ying Lu, Ee-Peng Lim	On Integrating Existing Bibliographic Databases and Structured Databases.	COMPSAC	1996	DBLP DOI BibTeX RDF	bibliographic systems, structured databases, bibliographic/structured database integration, digital library applications, bibliographic data, SQL model, bibliographic related attributes, bibliographic related queries, specialized predicates, SQL extensions, query language layer, digital library application development, information retrieval, network, query processing, SQL, query languages, libraries, multimedia computing, query formulation, query formulation, data type, information retrieval systems, structured data, multimedia data, specialized functions, database servers, bibliographic databases, text data, library automation
20	Wenguang Chen, Wenfei Fan, Shuai Ma 0001	Analyses and Validation of Conditional Dependencies with Built-in Predicates.	DEXA	2009	DBLP DOI BibTeX RDF
20	Hongtao Huang	On Detecting Regular Predicates in Distributed Systems.	ATVA	2009	DBLP DOI BibTeX RDF
20	Vítor Santos Costa	On Just in Time Indexing of Dynamic Predicates in Prolog.	EPIA	2009	DBLP DOI BibTeX RDF
20	Marta Burzanska, Krzysztof Stencel, Piotr Wisniewski 0001	Pushing Predicates into Recursive SQL Common Table Expressions.	ADBIS	2009	DBLP DOI BibTeX RDF
20	Ioannis Z. Emiris, Elias P. Tsigaridas, George M. Tzoumas	Exact Delaunay graph of smooth convex pseudo-circles: general predicates, and implementation for ellipses.	Symposium on Solid and Physical Modeling	2009	DBLP DOI BibTeX RDF
20	Song Wang 0001, Elke A. Rundensteiner	Scalable stream join processing with expensive predicates: workload distribution and adaptation by time-slicing.	EDBT	2009	DBLP DOI BibTeX RDF
20	Michael DeRosa, Seth Copen Goldstein, Peter Lee 0001, Padmanabhan Pillai, Jason Campbell	Programming modular robots with locally distributed predicates.	ICRA	2008	DBLP DOI BibTeX RDF
20	Ioannis Aekaterinidis, Peter Triantafillou	Publish-Subscribe Information Delivery with Substring Predicates.	IEEE Internet Comput.	2007	DBLP DOI BibTeX RDF	publish/subscribe paradigm, substring matching, P2P, peer-to-peer networks, Content Delivery
20	Shuvendu K. Lahiri, Randal E. Bryant	Predicate abstraction with indexed predicates.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	infinite-state verification, invariant synthesis, Formal verification, abstract interpretation, cache-coherence protocols, predicate abstraction
20	Martin Hutle, André Schiper	Communication Predicates: A High-Level Abstraction for Coping with Transient and Dynamic Faults.	DSN	2007	DBLP DOI BibTeX RDF
20	Fekade Getahun, Joe Tekli, Solomon Atnafu, Richard Chbeir	The use of semantic-based predicates implication to improve horizontal multimedia database fragmentation.	MS	2007	DBLP DOI BibTeX RDF	data implication, multimedia retrieval, data partition, horizontal fragmentation
20	Pierre Soille	On Genuine Connectivity Relations Based on Logical Predicates.	ICIAP	2007	DBLP DOI BibTeX RDF
20	Dunren Che	Holistically processing XML twig queries with AND, OR, and NOT predicates.	Infoscale	2007	DBLP DOI BibTeX RDF	twig pattern matching, query processing, query evaluation, XML query, holistic twig join
20	Ioannis Z. Emiris, George M. Tzoumas	A real-time and exact implementation of the predicates for the Voronoi diagram of parametric ellipses.	Symposium on Solid and Physical Modeling	2007	DBLP DOI BibTeX RDF	parametric ellipse, robust predicate, Voronoi diagram, symbolic-numeric computation
20	Ilyas Cicekli, Nihan Kesim Cicekli	Generalizing predicates with string arguments.	Appl. Intell.	2006	DBLP DOI BibTeX RDF	String generalization, Machine learning, Inductive logic programming
20	Janusz Borkowski, Damian Kopanski, Marek Tudruj	Application Control on Grid Using Predicates Defined on Global States of Co-Operating Parallel Programs.	PDP	2006	DBLP DOI BibTeX RDF
20	Laura Chaubard, Jean-Eric Pin, Howard Straubing	First Order Formulas with Modular Predicates.	LICS	2006	DBLP DOI BibTeX RDF
20	Ioannis Z. Emiris, Elias P. Tsigaridas, George M. Tzoumas	The predicates for the Voronoi diagram of ellipses.	SCG	2006	DBLP DOI BibTeX RDF	Voronoi diagram, predicate, Euclidean distance, bisector, exact computation, ellipse, parametric representation
20	Hua-Gang Li, S. Alireza Aghili, Divyakant Agrawal, Amr El Abbadi	FLUX: Content and Structure Matching of XPath Queries with Range Predicates.	XSym	2006	DBLP DOI BibTeX RDF
20	Tian Yu, Tok Wang Ling, Jiaheng Lu	TwigStackList-: A Holistic Twig Join Algorithm for Twig Query with Not-Predicates on XML Data.	DASFAA	2006	DBLP DOI BibTeX RDF
20	Dana Angluin, James Aspnes, David Eisenstat	Stably computable predicates are semilinear.	PODC	2006	DBLP DOI BibTeX RDF	stable computation, population protocols, semilinear sets
20	Sven Groppe, Jinghua Groppe, Stefan Böttcher, Marc-André Vollstedt	Shifting Predicates to Inner Sub-expressions for XQuery Optimization.	SITIS	2006	DBLP DOI BibTeX RDF
20	Markus Schneider 0001	Evaluation of Spatio-Temporal Predicates on Moving Objects.	ICDE	2005	DBLP DOI BibTeX RDF
20	Flavio Paiva Junqueira, Keith Marzullo	Replication Predicates for Dependent-Failure Algorithms.	Euro-Par	2005	DBLP DOI BibTeX RDF
20	Benoît Sagot	Linguistic Facts as Predicates over Ranges of the Sentence.	LACL	2005	DBLP DOI BibTeX RDF
20	Shin-ya Katsumata	A Semantic Formulation of TT-Lifting and Logical Predicates for Computational Metalanguage.	CSL	2005	DBLP DOI BibTeX RDF
20	Alejandro Pauly, Markus Schneider 0001	Vague Spatial Data Types, Set Operations, and Predicates.	ADBIS	2004	DBLP DOI BibTeX RDF
20	Henri Prade, Gilles Richard, Mathieu Serrurier	Enriching Relational Learning with Fuzzy Predicates.	PKDD	2003	DBLP DOI BibTeX RDF	Inductive Logic Programming, fuzzy rule, relational learning, confidence degree
20	Hai-Feng Guo, Gopal Gupta 0001	A New Mode Declaration for Tabled Predicates.	ICLP	2003	DBLP DOI BibTeX RDF
20	Carles Farré, Ernest Teniente, Toni Urpí	Handling Existential Derived Predicates in View Updating.	ICLP	2003	DBLP DOI BibTeX RDF
20	Eike Kiltz	On the Representation of Boolean Predicates of the Diffie-Hellman Function.	STACS	2003	DBLP DOI BibTeX RDF
20	Ranganath Atreya, Neeraj Mittal, Vijay K. Garg	Detecting Locally Stable Predicates Without Modifying Application Messages.	OPODIS	2003	DBLP DOI BibTeX RDF
20	Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco	Definability and decidability of binary predicates for time granularity.	TIME	2003	DBLP DOI BibTeX RDF
20	Loon-Been Chen, I-Chen Wu	An Efficient Distributed Online Algorithm to Detect Strong Conjunctive Predicates.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	Conjunctive predicate, distributed system, distributed debugging, global predicate detection
20	Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov	Korat: automated testing based on Java predicates.	ISSTA	2002	DBLP DOI BibTeX RDF
20	Shankar Krishnan, Mark Foskey, Tim Culver, John Keyser, Dinesh Manocha	PRECISE: efficient multiprecision evaluation of algebraic roots and predicates for reliable geometric computation.	SCG	2001	DBLP DOI BibTeX RDF
20	Donghui Zhang, Alexander Markowetz, Vassilis J. Tsotras, Dimitrios Gunopulos, Bernhard Seeger	Efficient Computation of Temporal Aggregates with Range Predicates. (PDF / PS)	PODS	2001	DBLP DOI BibTeX RDF
20	Aleksandar Nanevski, Guy E. Blelloch, Robert Harper 0001	Automatic Generation of Staged Geometric Predicates.	ICFP	2001	DBLP DOI BibTeX RDF
20	Klaus Haller, Heiko Schuldt	Using Predicates for Specifying Targets of Migration and Messages in a Peer-to-Peer Mobile Agent Environment.	Mobile Agents	2001	DBLP DOI BibTeX RDF
20	Scott D. Stoller	Detecting Global Predicates in Distributed Systems with Clocks.	Distributed Comput.	2000	DBLP DOI BibTeX RDF	Distributed debugging, Real-time monitoring, Consistent global states, Global predicate detection
20	Felix C. Gärtner, Sven Kloppenburg	Consistent Detection of Global Predicates under a Weak Fault Assumption.	SRDS	2000	DBLP DOI BibTeX RDF
20	Sergio Greco, Carlo Zaniolo, Sumit Ganguly	Optimization of Logic Queries with MIN and MAX Predicates.	FQAS	1998	DBLP DOI BibTeX RDF
20	Robert Bernecky	Reducing computational complexity with array predicates.	APL	1998	DBLP DOI BibTeX RDF
20	Mikael Goldmann, Mats Näslund	The Complexity of Computing Hard Core Predicates.	CRYPTO	1997	DBLP DOI BibTeX RDF	small-depth circuit, one-way function, Pseudo-randomness
20	Marek A. Bednarczyk	Logic of Predicates with Explicit Substitutions.	MFCS	1996	DBLP DOI BibTeX RDF
20	Viswanath Poosala, Yannis E. Ioannidis, Peter J. Haas, Eugene J. Shekita	Improved Histograms for Selectivity Estimation of Range Predicates.	SIGMOD Conference	1996	DBLP DOI BibTeX RDF
20	Volker Gaede, Oliver Günther 0001	Efficient Processing of Queries Containing User-Defined Predicates.	DOOD	1995	DBLP DOI BibTeX RDF
20	Ching-Tsun Chou	Predicates, Temporal Logic, and Simulations.	HUG	1993	DBLP DOI BibTeX RDF
20	Jos C. M. Baeten, Chris Verhoef	A Congruence Theorem for Structured Operational Semantics with Predicates.	CONCUR	1993	DBLP DOI BibTeX RDF	CR Categories D.3.1, F.1.1, F.4.3, F.3.2
20	Clemens Lautemann	Logical Definability of NP-Optimization Problems with Monadic Auxiliary Predicates.	CSL	1992	DBLP DOI BibTeX RDF
20	David G. Kirkpatrick, Feng Gao 0002	Finding Extrema with Unary Predicates.	SIGAL International Symposium on Algorithms	1990	DBLP DOI BibTeX RDF
20	Leslie Lamport	Control Predicates are Better than Dummy Variables for Reasoning about Program Control.	ACM Trans. Program. Lang. Syst.	1988	DBLP DOI BibTeX RDF
20	Kojiro Kobayashi, Shigeru Sekiguchi	On the Class of Predicates Decidable by Two-Way Multitape Finite Automata.	J. ACM	1966	DBLP DOI BibTeX RDF
19	Iris Miliaraki, Manolis Koubarakis	Distributed structural and value XML filtering.	DEBS	2010	DBLP DOI BibTeX RDF
19	Ning Shang, Federica Paci, Elisa Bertino	Efficient and privacy-preserving enforcement of attribute-based access control.	IDtrust	2010	DBLP DOI BibTeX RDF	Agg-EQ-OCBE, privacy, identity
19	Stefano Ferilli, Marenglen Biba, Nicola Di Mauro, Teresa Maria Altomare Basile, Floriana Esposito	Plugging Taxonomic Similarity in First-Order Logic Horn Clauses Comparison.	AI*IA	2009	DBLP DOI BibTeX RDF
19	Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke	Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
19	Paulo Moura, Paul Crocker, Paulo Nunes	High-Level Multi-threading Programming in Logtalk.	PADL	2008	DBLP DOI BibTeX RDF	concurrency, logic-programming, threads
19	Stefan Berghofer, Christian Urban	Nominal Inversion Principles.	TPHOLs	2008	DBLP DOI BibTeX RDF
19	Masaya Eki, Tadachika Ozono, Toramatsu Shintani	Extracting XML schema from multiple implicit xml documents based on inductive reasoning.	WWW	2008	DBLP DOI BibTeX RDF	xml, predicate logic, inductive reasoning
19	Manish S. Gupta, Amit Pathak, Soumen Chakrabarti	Fast algorithms for topk personalized pagerank queries.	WWW	2008	DBLP DOI BibTeX RDF	hubrank, node-deletion, personalized, pagerank, top-k
19	Paul Ammann, Jeff Offutt, Wuzhi Xu	Coverage Criteria for State Based Specifications.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
19	Zhenyu Zhang 0004, Bo Jiang 0001, W. K. Chan 0001, T. H. Tse	Debugging through Evaluation Sequences: A Controlled Experimental Study.	COMPSAC	2008	DBLP DOI BibTeX RDF	evaluation sequence, fault localization
19	Murali Krishna Ramanathan, Koushik Sen, Ananth Grama, Suresh Jagannathan	Protocol Inference Using Static Path Profiles.	SAS	2008	DBLP DOI BibTeX RDF
19	Lukasz Golab, Theodore Johnson, Oliver Spatscheck	Prefilter: predicate pushdown at streaming speeds.	SSPS	2008	DBLP DOI BibTeX RDF	data stream query optimization, data stream management systems, multi-query optimization
19	Dana Angluin, James Aspnes, David Eisenstat, Eric Ruppert	The computational power of population protocols.	Distributed Comput.	2007	DBLP DOI BibTeX RDF
19	Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies, Hongseok Yang	Shape Analysis for Composite Data Structures.	CAV	2007	DBLP DOI BibTeX RDF
19	James Brotherston, Alex Simpson	Complete Sequent Calculi for Induction and Infinite Descent.	LICS	2007	DBLP DOI BibTeX RDF
19	Reasey Praing, Markus Schneider 0001	Modeling Historical and Future Spatio-temporal Relationships of Moving Objects in Databases.	ER Workshops	2007	DBLP DOI BibTeX RDF
19	Kenneth L. Knowles, Cormac Flanagan	Type Reconstruction for General Refinement Types.	ESOP	2007	DBLP DOI BibTeX RDF
19	Vijayshankar Raman, Lin Qiao, Wei Han, Inderpal Narang, Ying-Lin Chen, Kou-Horng Yang, Fen-Ling Ling	Lazy, adaptive rid-list intersection, and its application to index anding.	SIGMOD Conference	2007	DBLP DOI BibTeX RDF	AND tree, star join, sorting, intersection, lazy
19	Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan	Static specification inference using predicate mining.	PLDI	2007	DBLP DOI BibTeX RDF	predicate mining, program analysis, preconditions, specification inference
19	Bolei Guo, Neil Vachharajani, David I. August	Shape analysis with inductive recursion synthesis.	PLDI	2007	DBLP DOI BibTeX RDF	inductive recursion synthesis, loop invariant inference, artificial intelligence, shape analysis, separation logic
19	Chao Wang 0001, Hyondeuk Kim, Aarti Gupta	Hybrid CEGAR: combining variable hiding and predicate abstraction.	ICCAD	2007	DBLP DOI BibTeX RDF
19	Joonho Kwon, Praveen Rao 0001, Bongki Moon, Sukho Lee	Value-based Predicate Filtering of Streaming XML Data.	MUE	2007	DBLP DOI BibTeX RDF
19	Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin	Automated Verification of Shape, Size and Bag Properties.	ICECCS	2007	DBLP DOI BibTeX RDF
19	Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang 0001	Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop.	CAV	2006	DBLP DOI BibTeX RDF
19	Olga Brukman, Shlomi Dolev	Recovery Oriented Programming.	SSS	2006	DBLP DOI BibTeX RDF	autonomic computing, self-stabilization
19	Shuang Hou, Hans-Arno Jacobsen	Predicate-based Filtering of XPath Expressions.	ICDE	2006	DBLP DOI BibTeX RDF
19	Aaron Smith, Ramadass Nagarajan, Karthikeyan Sankaralingam, Robert G. McDonald, Doug Burger, Stephen W. Keckler, Kathryn S. McKinley	Dataflow Predication.	MICRO	2006	DBLP DOI BibTeX RDF
19	Ittai Balaban, Amir Pnueli, Lenore D. Zuck	Invisible Safety of Distributed Protocols.	ICALP (2)	2006	DBLP DOI BibTeX RDF
19	Aggelos Kiayias, Antonina Mitrofanova	Syntax-Driven Private Evaluation of Quantified Membership Queries.	ACNS	2006	DBLP DOI BibTeX RDF
19	Vinit A. Ogale, Vijay K. Garg	Brief Announcement: Many Slices Are Better Than One.	DISC	2006	DBLP DOI BibTeX RDF
19	Eduardo Quiñones, Joan-Manuel Parcerisa, Antonio González 0001	Selective predicate prediction for out-of-order processors.	ICS	2006	DBLP DOI BibTeX RDF	confidence prediction, if-conversion, predicate prediction
19	Jos de Bruijn, Stijn Heymans	Translating Ontologies from Predicate-based to Frame-based Languages.	RuleML	2006	DBLP DOI BibTeX RDF