Search results for "predicate"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Andrew Begel, Steven McCanne, Susan L. Graham	BPF+: Exploiting Global Data-Flow Optimization in a Generalized Packet Filter Architecture.	SIGCOMM	1999	DBLP DOI BibTeX RDF
18	Klaus-Dieter Schewe, Bernhard Thalheim	A Generalization of Dijkstra's Calculus to Typed Program Specifications.	FCT	1999	DBLP DOI BibTeX RDF
18	Hiroyuki Kato, Masatoshi Yoshikawa, Keizo Oyama, Shunsuke Uemura	A Query Optimization for XML Document Views Constructed by Aggregations.	DANTE	1999	DBLP DOI BibTeX RDF	Document views, XML, Query optimization, Aggregations
18	Beverly A. Sanders	Data Refinement of Mixed Specifications.	Acta Informatica	1998	DBLP DOI BibTeX RDF
18	Olivier Devillers, Franco P. Preparata	A Probabilistic Analysis of the Power of Arithmetic Filters.	Discret. Comput. Geom.	1998	DBLP DOI BibTeX RDF
18	Anouar Jamoussi	An Automated Tool for Efficiently Generating a Massive Number of Random Test Cases.	HASE	1997	DBLP DOI BibTeX RDF
18	Xumin Nie, Qing Guo	Renaming a Set of Non-Horn Clauses.	ISMIS	1997	DBLP DOI BibTeX RDF
18	David I. August, Daniel A. Connors, John C. Gyllenhaal, Wen-mei W. Hwu	Architectural Support for Compiler-Synthesized Dynamic Branch Prediction Strategies: Rationale and Initial Results.	HPCA	1997	DBLP DOI BibTeX RDF
18	Henrik Boström	Specialization of Recursive Predicates.	ECML	1995	DBLP DOI BibTeX RDF
18	Anastasia Analyti, Sakti Pramanik	Declarative Semantics for Contradictory Modular Logic Programs.	ISMIS	1994	DBLP DOI BibTeX RDF
18	David A. Naumann	On the Essence of Oberon.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
18	Kirack Sohn	Constraints among Argument Sizes in Logic Programs.	PODS	1994	DBLP DOI BibTeX RDF
18	Surajit Chaudhuri, Phokion G. Kolaitis	Can Datalog be Approximated?	PODS	1994	DBLP DOI BibTeX RDF	Datalog
18	Marcello M. Bonsangue, Joost N. Kok	Isomorphisms between Predicates and State Transformers.	MFCS	1993	DBLP DOI BibTeX RDF
18	Anthony J. Bonner	The Complexity of Reusing and Modifying Rulebases.	PODS	1992	DBLP DOI BibTeX RDF	Datalog
18	Mauro Negri, Giuseppe Pelagatti, Licia Sbattella	Formal Semantics of SQL Queries.	ACM Trans. Database Syst.	1991	DBLP DOI BibTeX RDF	query semantics, SQL, SQL, query equivalence
18	Allen Van Gelder	Deriving Constraints Among Argument Sizes in Logic Programs.	PODS	1990	DBLP DOI BibTeX RDF
18	Michael Hanus	Horn Clause Programs with Polymorphic Types: Semantics and Resolution.	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF
18	Hans Jürgen Ohlbach	New Ways for Developing Proof Theories for First-Order Multi Modal Logics.	CSL	1989	DBLP DOI BibTeX RDF	Automated Theorem Proving by Translation and Refutation, Nonclassical Logics, Process Logic, Action Logic, Temporal Logic, Modal Logic, Resolution, Epistemic Logic
18	Phan Minh Dung, Kanchana Kanchanasut	A Natural Semantics for Logic Programs with Negation.	FSTTCS	1989	DBLP DOI BibTeX RDF
18	Moshe Y. Vardi	Decidability and Undecidability Results for Boundedness of Linear Recursive Queries.	PODS	1988	DBLP DOI BibTeX RDF
18	Ernie Manes	Assertional Categories.	MFPS	1987	DBLP DOI BibTeX RDF
18	Hiroki Ishizaka	Inductive Inference of Regular Language Based on Model Inference.	LP	1987	DBLP DOI BibTeX RDF
18	David G. Cantor	On The Ambiguity Problem of Backus Systems.	J. ACM	1962	DBLP DOI BibTeX RDF
13	Dan Cao, Baokang Zhao, Xiaofeng Wang 0002, Jinshu Su, Yijiao Chen	Authenticating with Attributes in Online Social Networks.	NBiS	2011	DBLP DOI BibTeX RDF	OSN, privacy, predicate, unforgeability, ABS
13	Andreas Podelski, Thomas Wies	Counterexample-guided focus.	POPL	2010	DBLP DOI BibTeX RDF	quantified invariants, data structures, shape analysis, predicate abstraction, abstraction refinement
13	Nathan Weston, Ruzanna Chitchyan, Awais Rashid	Formal semantic conflict detection in aspect-oriented requirements.	Requir. Eng.	2009	DBLP DOI BibTeX RDF	Semantic composition, Formal methods, Requirements engineering, Conflict detection, Predicate logic, Aspect-oriented requirements engineering
13	Yaroslav Shramko, Heinrich Wansing	The Slingshot Argument and Sentential Identity.	Stud Logica	2009	DBLP DOI BibTeX RDF	Slingshot Argument, sentential identity, non-Fregean logic, fact ontology, situation semantics, term-forming operators, predicate abstraction
13	Janos Korn	Basic Notions and Models in Systems Science.	Complex (1)	2009	DBLP DOI BibTeX RDF	systemic view, linguistic modeling, sets of ordered pairs, sequences of predicate logic statements
13	Haibo Chen 0001, Liwei Yuan, Xi Wu 0001, Binyu Zang, Bo Huang 0002, Pen-Chung Yew	Control flow obfuscation with information flow tracking.	MICRO	2009	DBLP DOI BibTeX RDF	control flow obfuscation, opaque predicate, information flow tracking, control speculation
13	Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala	Type-based data structure verification.	PLDI	2009	DBLP DOI BibTeX RDF	hindley-milner, type inference, dependent types, predicate abstraction
13	Lung-Pin Chen, Meng-Yuan Ho, Jhen-You Hong	Identifying Useless States in Non-FIFO Distributed Computations by Using Pseudo Timestamps.	ISPAN	2009	DBLP DOI BibTeX RDF	Distributed program, Timestamp, Distributed debugging, Global state, Global predicate
13	Sagar Chaki, Edmund M. Clarke, Natasha Sharygina, Nishant Sinha 0001	Verification of evolving software via component substitutability analysis.	Formal Methods Syst. Des.	2008	DBLP DOI BibTeX RDF	Automata learning, Software engineering, Model checking, Predicate abstraction, Compositional verification, Assume-guarantee reasoning
13	Walter Hussak	Decidable Cases of First-order Temporal Logic with Functions.	Stud Logica	2008	DBLP DOI BibTeX RDF	monodic fragment, predicate logic with functions, decidability, first-order temporal logic
13	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
13	Søren Riis	On the Asymptotic Nullstellensatz and Polynomial Calculus Proof Complexity.	LICS	2008	DBLP DOI BibTeX RDF	Algebraic proof complexity, predicate logic, Propositional proof complexity
13	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
13	Anurag Agarwal, Vijay K. Garg	Efficient dependency tracking for relevant events in concurrent systems.	Distributed Comput.	2007	DBLP DOI BibTeX RDF	Dependency tracking, Vector clock, Predicate detection
13	Ajay D. Kshemkalyani, Bin Wu 0014	Detecting Arbitrary Stable Properties Using Efficient Snapshots.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	stable predicate, stable property, distributed snapshot, Distributed system, global state
13	Adam Richard, Ondrej Lhoták	OOMatch: pattern matching as dispatch in Java.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Java, pattern matching, dynamic dispatch, multimethods, predicate dispatch
13	Diana Grigorova, Nikolay Nikolov	Knowledge representation in systems with natural language interface.	CompSysTech	2007	DBLP DOI BibTeX RDF	conceptual dependency, extended context free grammar, knowledge representation, reasoning, frames, semantic nets, first-order predicate logic
13	Ginger Myles, Christian S. Collberg	Software watermarking via opaque predicates: Implementation, analysis, and attacks.	Electron. Commer. Res.	2006	DBLP DOI BibTeX RDF	Opaque predicate, Copyright protection, Software piracy, Software watermarking
13	Albert Visser, Maartje de Jonge	No Escape from Vardanyan's theorem.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Predicate Provability Logic
13	Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne	Tank monitoring: a pAMN case study.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Probabilistic B, Probabilistic predicate transformers, Formal methods, Refinement
13	Glenn S. Semmel, Steven R. Davis, Kurt W. Leucht, Daniel A. Rowe, Kevin E. Smith, Ladislau Bölöni	Space Shuttle Ground Processing with Monitoring Agents.	IEEE Intell. Syst.	2006	DBLP DOI BibTeX RDF	Space Shuttle, NASA Engineering Shuttle Telemetry Agent, expert systems, pattern matching, autonomous agents, rule-based systems, predicate logic
13	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
13	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
13	Henrik Nottelmann, Umberto Straccia	Information retrieval and machine learning for probabilistic schema matching.	CIKM	2005	DBLP DOI BibTeX RDF	sPLMap, schema matching, probability theory, predicate logics
13	Vugranam C. Sreedhar, Maria-Cristina V. Marinescu	From statecharts to ESP: programming with events, states and predicates for embedded systems.	EMSOFT	2005	DBLP DOI BibTeX RDF	multiple classification, statechart, predicate dispatch
13	Anurag Agarwal, Vijay K. Garg	Efficient dependency tracking for relevant events in shared-memory systems.	PODC	2005	DBLP DOI BibTeX RDF	shared-memory, vector clock, predicate detection
13	I. D. Zaslavsky	Some Criteria of Decidability for Axiomatic Systems in Three-Valued Logic.	TbiLLC	2005	DBLP DOI BibTeX RDF	three-valued predicate, Luk-theory, Luk-consistent theory, Lukcomplete theory, Luk-decidable theory
13	Sven Ove Hansson	A New Representation Theorem for Contranegative Deontic Logic.	Stud Logica	2004	DBLP DOI BibTeX RDF	contranegative predicate, standard deontic logic, preference logic, SDL, deontic logic, representation theorem
13	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
13	Abdesselam Redouane	Towards a New Method for the Development of Web-Based Applications.	IEEE ICCI	2004	DBLP DOI BibTeX RDF	first order predicate calculus, formal methods, web-based applications
13	Qing Zhou, Ligong Long	Sedatalog: A Set Extension of Datalog.	Intelligent Information Processing	2004	DBLP DOI BibTeX RDF	The order of a set, The order of predicate, n-th order set
13	J. Rajesh, D. Janakiram	JIAD: a tool to infer design patterns in refactoring.	PPDP	2004	DBLP DOI BibTeX RDF	facts-base, intent-aspects (IAs), predicate-templates, design pattern (DP), prolog, refactoring, object-oriented systems, rule-base, declarative programming
13	Mustapha Bourahla, Mohamed Benmohamed	Verification of Real-Time Systems by Abstraction of Time Constraints.	IPDPS	2003	DBLP DOI BibTeX RDF	Real-time systems, Model Checking, Formal Verification, Predicate Abstraction, Timed Automaton
13	Ralph-Johan Back, Viorel Preoteasa	Reasoning about recursive procedures with parameters.	MERLIN	2003	DBLP DOI BibTeX RDF	predicate transformer semantics, Hoare logic, refinement calculus, recursive procedures
13	Hassan Reza, Xudong He	Pattern-Based Software Architecture: A Case Study.	ITCC	2003	DBLP DOI BibTeX RDF	Hierarchical Predicate Transition Nets, Distributed Data Mining Systems, Software Architecture, Petri Nets, Design Patterns, Blackboard Architecture
13	Brajendra Panda, Kazi Asharful Haque	Extended data dependency approach: a robust way of rebuilding database.	SAC	2002	DBLP DOI BibTeX RDF	actual-read/write, clean-write, overlooked-read/write, predicate-read, data dependency
13	Robert Bruce Findler, Matthias Felleisen	Contracts for higher-order functions.	ICFP	2002	DBLP DOI BibTeX RDF	predicate typing, solfware reliability, contracts, behavioral specifications, higher-order functions
13	G. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv	Deriving Specialized Program Analyses for Certifying Component-Client Conformance.	PLDI	2002	DBLP DOI BibTeX RDF	model checking, static analysis, abstract interpretation, software components, predicate abstraction
13	Jeffry T. Russell, Margarida F. Jacome	Scenario-based software characterization as a contingency to traditional program profiling.	CASES	2002	DBLP DOI BibTeX RDF	program profile, typical behavior, performance, embedded system, static analysis, constraint, profiling, scenario, control flow, predicate
13	Ralph-Johan Back, Joakim von Wright	Encoding, Decoding and Data Refinement.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Predicate transformer semantics, Abstraction, Galois connection, Data refinement
13	Walter Hussak, John A. Keane	Formal Analysis of Memory Requirements.	Requir. Eng.	1999	DBLP DOI BibTeX RDF	Memory systems, Parallel applications, Predicate calculus
13	Felix C. Gärtner	Fundamentals of Fault-Tolerant Distributed Computing in Asynchronous Environments.	ACM Comput. Surv.	1999	DBLP DOI BibTeX RDF	failure correction, possibility detection, fault tolerance, message passing, redundancy, safety, fault models, liveness, asynchronous system, failure detection, consensus problem, agreement problem, predicate detection
13	Michael Poppleton, Richard Banach	Retrenchment: Extending the Reach of Refinement.	ASE	1999	DBLP DOI BibTeX RDF	development calculus, simulation, composition, refinement, monotonicity, transitivity, B-Method, weakest precondition, predicate transformer, retrenchment, stepwise development
13	Hengming Zou	An Algorithm for Detecting Termination of Distributed Computation in Arbitrary Network Topologies within Linear Time.	ISPAN	1996	DBLP DOI BibTeX RDF	termination Parallelization of Scheduling Algorithms, algorithm, distributed process, message, active, predicate, passive
13	Lars Bækgaard, Leo Mark	Incremental Computation of Time-Varying Query Expressions.	IEEE Trans. Knowl. Data Eng.	1995	DBLP DOI BibTeX RDF	Time-varying queries, incremental query computation, predicate caches, superviews, temporal databases, temporal data
13	Weidong Chen	Query Evaluation in Deductive Databases with Alternating Fixpoint Semantics	ACM Trans. Database Syst.	1995	DBLP DOI BibTeX RDF	alternating fixpoint, deductive databases, query evaluations, negation, predicate logic, SLG resolution
13	Norman Y. Foo	Ontology Revison.	ICCS	1995	DBLP DOI BibTeX RDF	theoretical term, predicate invention, theory change, type hierarchy, ontology, induction, action, concept formation
13	Aniello Cimitile, Andrea De Lucia, Malcolm Munro	Identifying reusable functions using specification driven program slicing: a case study.	ICSM	1995	DBLP DOI BibTeX RDF	reusable function identification, specification driven program slicing, code fragment isolation, functional abstractions, program statement execution, program predicate execution, entry points, exit points, algorithms, formal specification, software maintenance, software reusability, data flow analysis, symbolic execution, precondition, program diagnostics, dependence graphs, symbol manipulation, control flow graphs, program control structures, C programs, postcondition
13	Anthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh	Inconsistency Handling in Multperspective Specifications.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	multiperspective specifications, logical rules, formal specification, specifications, specification, data integrity, temporal logic, temporal logic, distributed processing, process modeling, complex systems, development, ViewPoints, distributed development, first order predicate logic, multiple perspectives, inconsistency handling
13	Du Zhang, Doan Nguyen	PREPARE: A Toll for Knowledge Base Verification.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	PREPARE, knowledge base verification, reliable knowledge-based systems, potential errors, predicate/transition net representation, incomplete rules, syntactic pattern recognition method, fully functioning inference engine, pattern recognition, knowledge based systems, program verification, logic, correctness, semantic networks, automated tool
13	Thomas J. Weigert, Jeffrey J. P. Tsai	A Computationally Tractable Nonmonotonic Logic.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	computationally tractable nonmonotonic logic, nonmonotonic reasoning procedures, proof theoretically, semantic characteristics, Herbrand subset, knowledge representation, logic programming, logic programming, reasoning, nonmonotonic reasoning, incomplete information, formal logic, first-order predicate logic
13	Chuang Lin 0002, Abhijit Chaudhury, Andrew B. Whinston, Dan C. Marinescu	Logical Inference of Horn Clauses in Petri Net Models.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	net model, logical inconsistency check, T-invariants, one-literal, pure-literal, splitting clauses, Petri nets, inference mechanisms, resolution, propositional logic, Horn clauses, Horn clauses, Petri net models, first-order predicate logic, logical inference
13	Elisa Bertino, Mauro Negri, Giuseppe Pelagatti, Licia Sbattella	Object-Oriented Query Languages: The Notion and the Issues.	IEEE Trans. Knowl. Data Eng.	1992	DBLP DOI BibTeX RDF	complex object structure, OOPC, query languages, object-oriented databases, predicate calculus, object identity, class hierarchies, formal notation
13	Jerzy Marcinkowski, Leszek Pacholski	Undecidability of the Horn-Clause Implication Problem	FOCS	1992	DBLP DOI BibTeX RDF	derivation trees, Horn-clause implication, atomic formulas, decidability problems, pure predicate logic, equality symbol
13	William H. Deason, David B. Brown, Kai-Hsiung Chang, James H. Cross	A Rule-Based Software Test Data Generator.	IEEE Trans. Knowl. Data Eng.	1991	DBLP DOI BibTeX RDF	rule-based software test data generator, path/predicate analysis, random data generation, artificial intelligence, knowledge based systems, program testing, statistical tests, Ada programs
13	Martha Stone Palmer	Customizing verb definitions for specific semantic domains.	Mach. Transl.	1990	DBLP DOI BibTeX RDF	domain semantics, predicate environments, thematic roles, verb decompositions, domain models, mapping rules
13	Gruia-Catalin Roman	Formal Specification of Geographic Data Processing Requirements.	IEEE Trans. Knowl. Data Eng.	1990	DBLP DOI BibTeX RDF	geographic data processing requirements, modeling data, knowledge requirements, GDP requirements, GDP significance, second-order predicate calculus, logical information, high-resolution color display, formal specification, geographic information systems, logic programming, Prolog, PROLOG, time, accuracy, first-order logic, inference mechanisms, inference mechanisms, space, formal logic, prototype implementation, graphical rendering, formal foundation
13	Phan Minh Dung	On the strong completion of logic programs.	ALP	1990	DBLP DOI BibTeX RDF	predicate completion, two-valued logic, Logic programming, negation, three-valued logic, stable models, circumscription, well-founded models
13	Sreekumar T. Shenoy, Z. Meral Özsoyoglu	Design and Implementation of a Semantic Query Optimizer.	IEEE Trans. Knowl. Data Eng.	1989	DBLP DOI BibTeX RDF	user-specified query, function-free clauses, redundant joins, semantic maintenance, semantics, graph theory, relational databases, optimisation, schema, semantic query optimizer, predicate logic, graph-theoretic approach, semantic knowledge
13	Martín Abadi, Joseph Y. Halpern	Decidability and Expressiveness for First-Order Logics of Probability (Extended Abstract)	FOCS	1989	DBLP DOI BibTeX RDF	unary predicates, validity problem, binary predicate, elementary analysis, function symbols, probability, language, reasoning, first-order logics, decidable, expressiveness, domain, possible worlds
13	Sally A. Goldman, Ronald L. Rivest, Robert E. Schapire	Learning Binary Relations and Total Orders (Extended Abstract)	FOCS	1989	DBLP DOI BibTeX RDF	polynomial prediction algorithms, online model, helpful teacher, instance space, distinct row types, learning, probability distribution, predicate, total orders, binary relations, adversary, binary matrix, learner
13	José Carlos Ferreira Maia Neves, George F. Lugger, João M. Carvalho	A formalism for views in a logic data base.	ACM Conference on Computer Science	1986	DBLP DOI BibTeX RDF	data base view, logic data base, PROLOG, group, query-by-example, first order predicate logic
13	David K. Gifford, Robert W. Baldwin, Stephen T. Berlin, John M. Lucassen	An Architecture for Large Scale Information Systems.	SOSP	1985	DBLP DOI BibTeX RDF	broadcast packet radio, multi-database, predicate data model, remote procedure call, query routing, Community information system
13	Vijay Pitchumani, Edward P. Stabler	An Inductive Assertion Method for Register Transfer Level Design Verification.	IEEE Trans. Computers	1983	DBLP DOI BibTeX RDF	inductive assertion method, synchronous logic, theorem proving, Assertions, predicate calculus, register transfer level design, verification condition
13	Won Kim 0001	On Optimizing an SQL-like Nested Query.	ACM Trans. Database Syst.	1982	DBLP DOI BibTeX RDF	relational database, join, predicate, aggregate function, divide, nested query
13	Jack Minker	Search Strategy and Selection Function for an Inferential Relational System.	ACM Trans. Database Syst.	1978	DBLP DOI BibTeX RDF	answer and reason extraction, selection function, top-down search, virtual relations, relational databases, heuristics, logic, inference mechanism, search strategy, predicate calculus
13	E. F. Codd	A Relational Model of Data for Large Shared Data Banks.	Commun. ACM	1970	DBLP DOI BibTeX RDF	data bank, hierarchies of data, networks of data, retrieval language, security, data structure, data integrity, composition, consistency, redundancy, relations, join, derivability, data base, data organization, predicate calculus
13	Sergey Goncharov 0001, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild	A point-free perspective on lax extensions and predicate liftings.	Math. Struct. Comput. Sci.	2024	DBLP DOI BibTeX RDF
13	Yi-Fan Tseng	Attribute hiding subset predicate encryption: Quantum-resistant construction with efficient decryption.	Comput. Stand. Interfaces	2024	DBLP DOI BibTeX RDF
13	Evangelos Michelioudakis, Alexander Artikis, Georgios Paliouras	Online semi-supervised learning of composite event rules by combining structure and mass-based predicate similarity.	Mach. Learn.	2024	DBLP DOI BibTeX RDF
13	Liana Patel, Peter Kraft, Carlos Guestrin, Matei Zaharia	ACORN: Performant and Predicate-Agnostic Search Over Vector Embeddings and Structured Data.	CoRR	2024	DBLP DOI BibTeX RDF
13	Zhen Chen, Jingping Liu, Deqing Yang, Yanghua Xiao, Huimin Xu, Zongyu Wang, Rui Xie, Yunsen Xian	Exploiting Duality in Open Information Extraction with Predicate Prompt.	CoRR	2024	DBLP DOI BibTeX RDF
13	Guanxuan Wu, Allison Sullivan	AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph.	CoRR	2024	DBLP DOI BibTeX RDF
13	Ye Liu 0012, Yi Li 0008, Cyrille Artho, Yixuan Liu	Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction.	CoRR	2024	DBLP DOI BibTeX RDF
13	Steven Purtzel, Samira Akili, Matthias Weidlich 0001	Efficient multi-query evaluation for distributed CEP through predicate-based push-pull plans.	Inf. Syst.	2024	DBLP DOI BibTeX RDF
13	Qingquan Bian, Yue Zhang, Chang Song, Axin Wu	Flexible symmetric predicate encryption for data privacy in IoT environments.	Peer Peer Netw. Appl.	2024	DBLP DOI BibTeX RDF