Search results for "predicate"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Ian Bayley	Formalising Design Patterns in Predicate Logic.	SEFM	2007	DBLP DOI BibTeX RDF
19	Bahadorreza Ofoghi, John Yearwood, Ranadhir Ghosh	A Within-Frame Ontological Extension on FrameNet: Application in Predicate Chain Analysis and Question Answering.	Australian Conference on Artificial Intelligence	2007	DBLP DOI BibTeX RDF	Ontological Relation, Question Answering, FrameNet
19	Jos de Bruijn, Stijn Heymans	Translating Ontologies from Predicate-based to Frame-based Languages.	RuleML	2006	DBLP DOI BibTeX RDF
19	Chao Wang 0001, Aarti Gupta, Malay K. Ganai	Predicate learning and selective theory deduction for a difference logic solver.	DAC	2006	DBLP DOI BibTeX RDF	difference logic, SAT, decision procedure, SMT solver
19	Punit Chandra, Ajay D. Kshemkalyani	Causality-Based Predicate Detection across Space and Time.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	ad hoc network, mobility, monitoring, time, data fusion, causality, Predicates, intervals, event streams, space-time
19	Katsuhiko Yabushita	An Information-Structural Analysis of the Readings for Nominal-Predicate Sentences in Japanese.	JSAI Workshops	2005	DBLP DOI BibTeX RDF
19	Sriram G. Sanjeevi, Pushpak Bhattacharyya	A Connectionist Model for Predicate Logic Reasoning Using Coarse-Coded Distributed Representations.	KES (2)	2005	DBLP DOI BibTeX RDF
19	Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav	SATABS: SAT-Based Predicate Abstraction for ANSI-C.	TACAS	2005	DBLP DOI BibTeX RDF
19	Ajay D. Kshemkalyani	Predicate Detection Using Event Streams in Ubiquitous Environments.	EUC Workshops	2005	DBLP DOI BibTeX RDF
19	Peng Wu 0002, Huimin Lin	Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints.	QSIC	2005	DBLP DOI BibTeX RDF
19	Anatol Slissenko	Verification in Predicate Logic with Time: Algorithmic Questions.	CSL	2005	DBLP DOI BibTeX RDF
19	Michel Charpentier, K. Mani Chandy	Specification transformers: a predicate transformer approach to composition.	Acta Informatica	2004	DBLP DOI BibTeX RDF
19	Eiji Aramaki, Sadao Kurohashi, Hideki Kashioka, Hideki Tanaka	Example-Based Machine Translation Without Saying Inferable Predicate.	IJCNLP	2004	DBLP DOI BibTeX RDF
19	Himanshu Jain, Daniel Kroening, Edmund M. Clarke	Verification of SpecC using predicate abstraction.	MEMOCODE	2004	DBLP DOI BibTeX RDF
19	Petr Hájek 0001	A True Unprovable Formula of Fuzzy Predicate Logic.	Logic versus Approximation	2004	DBLP DOI BibTeX RDF
19	Daniel Cabeza, Manuel V. Hermenegildo, James Lipton	Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction.	ASIAN	2004	DBLP DOI BibTeX RDF
19	Mojtaba Aghaei, Mohammad Ardeshir	A Gentzen-style axiomatization for basic predicate calculus.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
19	Leonardo Bottaci	Predicate Expression Cost Functions to Guide Evolutionary Search for Test Data.	GECCO	2003	DBLP DOI BibTeX RDF
19	Cormac Flanagan, Shaz Qadeer	Predicate abstraction for software verification.	POPL	2002	DBLP DOI BibTeX RDF
19	Ghazaleh Ashayer, Hubert Ka Yau Leung, Hans-Arno Jacobsen	Predicate Matching and Subscription Matching in Publish/Subscribe Systems.	ICDCS Workshops	2002	DBLP DOI BibTeX RDF
19	Xudong He, Yingjia Ding	Object Orientation in Hierarchical Predicate Transition Nets.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
19	Topi Mäenpää, Matti Pietikäinen, Timo Ojala	Texture Classification by Multi-Predicate Local Binary Pattern Operators.	ICPR	2000	DBLP DOI BibTeX RDF
19	Xudong He	Formalizing UML Class Diagrams: A Hierarchical Predicate Transition Net Approach.	COMPSAC	2000	DBLP DOI BibTeX RDF
19	Marcelo Arenas, Leopoldo E. Bertossi, Michael Kifer	Applications of Annotated Predicate Calculus to Querying Inconsistent Databases.	Computational Logic	2000	DBLP DOI BibTeX RDF
19	Li-Hsing Yen	Precluding Useless Events for On-Line Global Predicate Detections.	ICDCS	2000	DBLP DOI BibTeX RDF
19	Rostislav E. Yavorsky	On the Logic of the Standard Proof Predicate.	CSL	2000	DBLP DOI BibTeX RDF	logic of proofs, protocolling extensions of theories, semantics
19	Karl Lermer	A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics.	ARTS	1999	DBLP DOI BibTeX RDF
19	John M. Rushby, Sam Owre, Natarajan Shankar	Subtypes for Specifications: Predicate Subtyping in PVS.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	typechecking, Formal methods, consistency, type systems, specification languages, subtypes, PVS
19	Wil Dekkers, Martin W. Bunder, Henk Barendregt	Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus.	Arch. Math. Log.	1998	DBLP DOI BibTeX RDF	Mathematics Subject Classification:03B40
19	Olivier Roussel, Philippe Mathieu	Exact Kanowledge Compilation in Predicate Calculus: The Partial Achievement Case.	CADE	1997	DBLP DOI BibTeX RDF
19	Richard Hull 0001	Global Predicate-Based Locks in Long-Running Transactions.	EDOC	1997	DBLP DOI BibTeX RDF
19	Hartmann J. Genrich, Hans-Michael Hanisch, Konrad Wöllhaf	Verification of Recipe-Based Control Procedures by Means of Predicate/Transition Nets.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
19	Joseph M. Hellerstein	Practical Predicate Placement.	SIGMOD Conference	1994	DBLP DOI BibTeX RDF
19	Alan Mycroft	Completeness and predicate-based abstract interpretation.	PEPM	1993	DBLP DOI BibTeX RDF
19	Joseph M. Hellerstein, Michael Stonebraker	Predicate Migration: Optimizing Queries with Expensive Predicates.	SIGMOD Conference	1993	DBLP DOI BibTeX RDF	SQL, C
19	Peter A. Flach	Predicate Invention in Inductive Data Engineering.	ECML	1993	DBLP DOI BibTeX RDF
19	Irene Stahl	Predicate Invention in ILP - an Overview.	ECML	1993	DBLP DOI BibTeX RDF
19	Jia Liang Han	Recursive Query Processing in Predicate-Goal Graph.	ALP	1990	DBLP DOI BibTeX RDF
19	Eric N. Hanson, Moez Chaabouni, Chang-Ho Kim, Yu-Wang Wang	A Predicate Matching Algorithm for Database Rule Systems.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF
19	Anthony J. Bonner, Tomasz Imielinski	The Reuse and Modification of Rulebases by Predicate Substituation.	EDBT	1990	DBLP DOI BibTeX RDF
19	Job Zwiers	Predicated, Predicate Transformers and Refinement.	REX Workshop	1989	DBLP DOI BibTeX RDF
19	Daniel Mey	A Predicate Calculus with Control of Derivations.	CSL	1989	DBLP DOI BibTeX RDF
19	H. Yoshida, H. Kato, Masakatsu Sugimoto	Retrieval of Software Module Functions Using First-Order Predicate Logic Formulae.	LP	1985	DBLP DOI BibTeX RDF
19	Michael B. Smyth	Power Domains and Predicate Transformers: A Topological View.	ICALP	1983	DBLP DOI BibTeX RDF
19	Kai C. Wong, Murray Edelberg	Interval Hierarchies and Their Application to Predicate Files (Abstract).	SIGMOD Conference	1977	DBLP DOI BibTeX RDF
18	Haifeng Yu	Secure and highly-available aggregation queries in large-scale sensor networks via set sampling.	IPSN	2009	DBLP DOI BibTeX RDF
18	David Peleg	As Good as It Gets: Competitive Fault Tolerance in Network Structures.	SSS	2009	DBLP DOI BibTeX RDF
18	Per Austrin, Johan Håstad	Randomly supported independence and resistance.	STOC	2009	DBLP DOI BibTeX RDF	approximation resistance, k-wise independence
18	Manh Tung Pham, Kiam Tian Seow	On-line coordination among discrete-event agents.	AAMAS (2)	2009	DBLP BibTeX RDF	discrete-event modeling, multiagent coordination
18	Atul Gupta, Pankaj Jalote	An approach for experimentally evaluating effectiveness and efficiency of coverage criteria for software testing.	Int. J. Softw. Tools Technol. Transf.	2008	DBLP DOI BibTeX RDF	Coverage based testing, Statistical analysis, Test case generation, Experimental evaluation, Coverage criteria, Mutation operators
18	Yon Dohn Chung	A cache invalidation scheme for continuous partial match queries in mobile computing environments.	Distributed Parallel Databases	2008	DBLP DOI BibTeX RDF	Mobile computing, Continuous query, Data broadcasting, Cache invalidation, Partial match query
18	Farhad Mehta	A Practical Approach to Partiality - A Proof Based Approach.	ICFEM	2008	DBLP DOI BibTeX RDF
18	Yoshiyuki Tsuchie, Toshimitsu Ushio	Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicates.	HSCC	2008	DBLP DOI BibTeX RDF
18	Vincenzo Iovino, Giuseppe Persiano	Hidden-Vector Encryption with Groups of Prime Order.	Pairing	2008	DBLP DOI BibTeX RDF
18	Issei Sato, Minoru Yoshida, Hiroshi Nakagawa	Knowledge discovery of semantic relationships between words using nonparametric bayesian graph model.	KDD	2008	DBLP DOI BibTeX RDF	nonparametric bayes, probabilistic generative model, text mining, graph clustering
18	François Degrave, Tom Schrijvers, Wim Vanhoof	Automatic Generation of Test Inputs for Mercury.	LOPSTR	2008	DBLP DOI BibTeX RDF
18	J. R. Welch	Vagueness and Inductive Molding.	Synth.	2007	DBLP DOI BibTeX RDF
18	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
18	Bassem Elkarablieh, Sarfraz Khurshid, Duy Vu, Kathryn S. McKinley	Starc: static analysis for efficient repair of complex data.	OOPSLA	2007	DBLP DOI BibTeX RDF	static analysis, symbolic execution, data structure repair
18	Chung-Wen Cho, Ying Zheng, Arbee L. P. Chen	Continuously Matching Episode Rules for Predicting Future Events over Event Streams.	APWeb/WAIM	2007	DBLP DOI BibTeX RDF	episode, prediction, Continuous query, event stream
18	Vinit A. Ogale, Vijay K. Garg	Detecting Temporal Logic Predicates on Distributed Computations.	DISC	2007	DBLP DOI BibTeX RDF
18	Steve Dunne, Andy Galloway	Lifting General Correctness into Partial Correctness is ok.	IFM	2007	DBLP DOI BibTeX RDF
18	Daan Fierens, Jan Ramon, Maurice Bruynooghe, Hendrik Blockeel	Learning Directed Probabilistic Logical Models Using Ordering-Search.	ILP	2007	DBLP DOI BibTeX RDF
18	Hassan Jameel, Riaz Ahmed Shaikh 0001, Heejo Lee, Sungyoung Lee	Human Identification Through Image Evaluation Using Secret Predicates.	CT-RSA	2007	DBLP DOI BibTeX RDF
18	Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid	Korat: A Tool for Generating Structurally Complex Test Inputs.	ICSE	2007	DBLP DOI BibTeX RDF
18	Chao Liu 0001, Long Fei, Xifeng Yan, Jiawei Han 0001, Samuel P. Midkiff	Statistical Debugging: A Hypothesis Testing-Based Approach.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	statistical methods, Debugging aids, statistical debugging
18	Nikola Bogunovic, Edgar Pek	Model Checking Procedures for Infinite State Systems.	ECBS	2006	DBLP DOI BibTeX RDF
18	Peter Höfner, Bernhard Möller, Kim Solin	Omega Algebra, Demonic Refinement Algebra and Commands.	RelMiCS	2006	DBLP DOI BibTeX RDF
18	Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio	Higher-Order Termination: From Kruskal to Computability.	LPAR	2006	DBLP DOI BibTeX RDF
18	Dirk Beyer 0001, Thomas A. Henzinger, Grégory Théoduloz	Lazy Shape Analysis.	CAV	2006	DBLP DOI BibTeX RDF
18	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
18	Zhi-hua Jiang, Yun-fei Jiang	Planning with Domain Rules Based on State-Independent Activation Sets.	PKAW	2006	DBLP DOI BibTeX RDF	Deterministic planning, Domain rules, activation sets
18	Viorel Preoteasa	Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic.	FM	2006	DBLP DOI BibTeX RDF
18	Willem Visser, Corina S. Pasareanu, Radek Pelánek	Test input generation for java containers using state matching.	ISSTA	2006	DBLP DOI BibTeX RDF
18	Merlijn Sevenster, Tero Tulenheimo	Partially Ordered Connectives and Sum11 on Finite Models.	CiE	2006	DBLP DOI BibTeX RDF	Henkin quantifiers, partially ordered connectives, NP vs. coNP, finite model theory
18	Lutz Schröder	Expressivity of Coalgebraic Modal Logic: The Limits and Beyond.	FoSSaCS	2005	DBLP DOI BibTeX RDF
18	Stefano Baratella, Andrea Masini	An approach to infinitary temporal proof theory.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Modal logic, Proof theory, Sequent calculus, Cut elimination, Infinitary logic
18	ShengYu Shen, Ying Qin, Sikun Li	Localizing Errors in Counterexample with Iteratively Witness Searching.	ATVA	2004	DBLP DOI BibTeX RDF
18	Atsushi Moritomo, Kiyoharu Hamaguchi, Toshinobu Kashiwabara	Validity Checking for Quantifier-Free First-Order Logic with Equality Using Substitution of Boolean Formulas.	ATVA	2004	DBLP DOI BibTeX RDF
18	Matthias Blume, David A. McAllester	A sound (and complete) model of contracts.	ICFP	2004	DBLP DOI BibTeX RDF	safety, contracts, predicates
18	Monica Brockmeyer, Chunbo Chu	Brief announcement: the design of an internet-scale monitoring and assertion-checking infrastructure.	PODC	2004	DBLP DOI BibTeX RDF	internet, monitoring, distributed hash table
18	Margherita Berardi, Antonio Varlaro, Donato Malerba	On the Effect of Caching in Recursive Theory Learning.	ILP	2004	DBLP DOI BibTeX RDF
18	Mingsheng Ying	Reasoning about probabilistic sequential programs in a probabilistic logic.	Acta Informatica	2003	DBLP DOI BibTeX RDF
18	Jean-Raymond Abrial, Dominique Cansell	Click'n Prove: Interactive Proofs within Set Theory.	TPHOLs	2003	DBLP DOI BibTeX RDF
18	Adi Akavia, Shafi Goldwasser, Shmuel Safra	Proving Hard-Core Predicates Using List Decoding.	FOCS	2003	DBLP DOI BibTeX RDF
18	Steve Dunne	Introducing Backward Refinement into B.	ZB	2003	DBLP DOI BibTeX RDF
18	Ranganath Atreya, Neeraj Mittal, Vijay K. Garg	Detecting Locally Stable Predicates Without Modifying Application Messages.	OPODIS	2003	DBLP DOI BibTeX RDF
18	Abdesselam Redouane	A New Definitional Specification Language.	ICCSA (1)	2003	DBLP DOI BibTeX RDF
18	Ajay D. Kshemkalyani	A Note on Modalities for Nonconjunctive Global Predicates.	IWDC	2003	DBLP DOI BibTeX RDF
18	Charu C. Aggarwal	Collaborative crawling: mining user experiences for topical resource discovery.	KDD	2002	DBLP DOI BibTeX RDF	World Wide Web (WWW)
18	Ana Bove	General Recursion in Type Theory.	TYPES	2002	DBLP DOI BibTeX RDF
18	Fernando Pedone, Nelson L. Duarte, Mario Goulart	Probabilistic Queries in Large-Scale Networks.	EDCC	2002	DBLP DOI BibTeX RDF
18	David Overton, Zoltan Somogyi, Peter J. Stuckey	Constraint-based mode analysis of mercury.	PPDP	2002	DBLP DOI BibTeX RDF	Boolean constraints, mode analysis, modes
18	Annabelle McIver, Carroll Morgan	Demonic, angelic and unbounded probabilistic choices in sequential programs.	Acta Informatica	2001	DBLP DOI BibTeX RDF
18	Jun Rao, Bruce G. Lindsay 0001, Guy M. Lohman, Hamid Pirahesh, David E. Simmen	Using EELs, a Practical Approach to Outerjoin and Antijoin Reordering.	ICDE	2001	DBLP DOI BibTeX RDF
18	Ana Bove, Venanzio Capretta	Nested General Recursion and Partiality in Type Theory.	TPHOLs	2001	DBLP DOI BibTeX RDF
18	Sylvan Pinsky, Edward Zieglar	Noninterference Equations for Nondeterministic Systems.	CSFW	2001	DBLP DOI BibTeX RDF
18	Raúl Monroy	The Use of Abduction and Recursion-Editor Techniques for the Correction of Faulty Conjectures.	ASE	2000	DBLP DOI BibTeX RDF
18	Craig Chambers, Weimin Chen 0004	Efficient Multiple and Predicated Dispatching.	OOPSLA	1999	DBLP DOI BibTeX RDF
18	Yoonsik Cheon, Heung-Nam Kim	Sequence Operators: Specifying Behavioral Interfaces of Smalltalk Blocks.	APSEC	1999	DBLP DOI BibTeX RDF	sequence operator, specification language, Smalltalk, formal semantics, block, Program specification