Search results for "predicates"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Michael DeRosa	Locally Distributed Predicates: A Programming Facility for Distributed State Detection.	ICLP	2009	DBLP DOI BibTeX RDF
14	R. Mahesh K. Sinha	Mining Complex Predicates In Hindi Using A Parallel Hindi-English Corpus.	MWE@IJCNLP	2009	DBLP BibTeX RDF
14	Ya-Yunn Su, Jason Flinn	Automatically Generating Predicates and Solutions for Configuration Troubleshooting.	USENIX Annual Technical Conference	2009	DBLP BibTeX RDF
14	Xinli Wang, Jean Mayo, Guy C. Hembroff, Chunming Gao	Detection of Conjunctive Stable Predicates in Dynamic Systems.	ICPADS	2009	DBLP DOI BibTeX RDF
14	Mark Chernault	Impementation of Map, Reduce and Filter Prolog Predicates on the Cell Broadband Engine Architecture.	PDPTA	2009	DBLP BibTeX RDF
14	Milad Niqui, Jan Rutten	Coinductive Predicates as Final Coalgebras.	FICS	2009	DBLP BibTeX RDF
14	Marek Sawerwain, Roman Gielerak	Natural Quantum Operational Semantics with Predicates.	Int. J. Appl. Math. Comput. Sci.	2008	DBLP DOI BibTeX RDF
14	Sungho Choi	The incompleteness of dispositional predicates.	Synth.	2008	DBLP DOI BibTeX RDF
14	Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz	Qualified Logic Programming with Bivalued Predicates.	PROLE	2008	DBLP DOI BibTeX RDF
14	Wujia Zhu, Yi Lin 0001, Ningsheng Gong, Guoping Du	Problem of infinity between predicates and infinite sets.	Kybernetes	2008	DBLP DOI BibTeX RDF
14	Steven Bethard, Zhiyong Lu, James H. Martin, Lawrence Hunter	Semantic role labeling for protein transport predicates.	BMC Bioinform.	2008	DBLP DOI BibTeX RDF
14	Per Austrin, Elchanan Mossel	Approximation Resistant Predicates From Pairwise Independence.	Electron. Colloquium Comput. Complex.	2008	DBLP BibTeX RDF
14	Per Austrin, Elchanan Mossel	Approximation Resistant Predicates From Pairwise Independence	CoRR	2008	DBLP BibTeX RDF
14	Nianwen Xue	Labeling Chinese Predicates with Semantic Roles.	Comput. Linguistics	2008	DBLP DOI BibTeX RDF
14	Weimin He, Leonidas Fegaras	Answering XPath queries with search predicates in structured P2P networks.	Comput. Syst. Sci. Eng.	2008	DBLP BibTeX RDF
14	Ioannis Z. Emiris, Elias P. Tsigaridas, George M. Tzoumas	The Predicates for the Exact Voronoi Diagram of Ellipses under the Euclidiean Metric.	Int. J. Comput. Geom. Appl.	2008	DBLP DOI BibTeX RDF
14	Carlo Meghini, Nicolas Spyratos	Synthesizing Monadic Predicates.	J. Log. Comput.	2008	DBLP DOI BibTeX RDF
14	Tommaso Bolognesi	Predicates for state changes vs. processes for event patterns.	Stud. Inform. Univ.	2008	DBLP BibTeX RDF
14	Yoshiyuki Tsuchie, Toshimitsu Ushio	Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicates.	HSCC	2008	DBLP DOI BibTeX RDF
14	Mario Drobics, Klaus-Peter Adlassnig	Extending the Medical Concept of Reference Intervals Using Fuzzy Predicates.	CIMCA/IAWTIC/ISE	2008	DBLP DOI BibTeX RDF
14	Ting-You Wang, Christopher Ré, Dan Suciu	Implementing NOT EXISTS Predicates over a Probabilistic Database.	QDB/MUD	2008	DBLP BibTeX RDF
14	Richard Bubel, Reiner Hähnle, Peter H. Schmitt	Specification Predicates with Explicit Dependency Information.	VERIFY	2008	DBLP BibTeX RDF
14	Mayce Ibrahim Ali, Theo Härder	Database Caching: A Constraint-Based Approach Applied to XPath and XQuery Predicates.	Grundlagen von Datenbanken	2008	DBLP BibTeX RDF
14	Silvia Gaio	Granular Models for Vague Predicates.	FOIS	2008	DBLP DOI BibTeX RDF
14	Annie Zaenen, Daniel G. Bobrow, Cleo Condoravdi	The Encoding of lexical implications in VerbNet Predicates of change of locations.	LREC	2008	DBLP BibTeX RDF
14	Adi Akavia	Learning noisy characters, MPC, and cryptographic hardcore predicates.		2008	RDF
14	Tobias Salzbrunn	Flow visualization and analysis based on integral line predicates.		2008	RDF
14	Britta Kehden	Vektoren und Vektorprädikate und ihre Verwendung bei der Entwicklung relationaler Algorithmen (Vectors and vector predicates and their use in the development of relational algorithms) (PDF / PS)		2008	RDF
14	Jixin Ma 0001	Ontological considerations of time, meta-predicates and temporal propositions.	Appl. Ontology	2007	DBLP BibTeX RDF
14	Afsaneh Fazly, Suzanne Stevenson, Ryan North	Automatically learning semantic knowledge about multiword predicates.	Lang. Resour. Evaluation	2007	DBLP DOI BibTeX RDF
14	Nicoleta Liviana Tudor	Optimization of Queries with Conjunction of Predicates.	Int. J. Comput. Commun. Control	2007	DBLP DOI BibTeX RDF
14	Thadpong Pongthawornkamol, Indranil Gupta	AVCast: New Approaches for Implementing Generic Availability-Dependent Reliability Predicates for Multicast Receivers.	IEEE Trans. Netw. Serv. Manag.	2007	DBLP DOI BibTeX RDF
14	Ilya Shlyakhter	Generating effective symmetry-breaking predicates for search problems.	Discret. Appl. Math.	2007	DBLP DOI BibTeX RDF
14	Guillaume Melquiond, Sylvain Pion	Formally certified floating-point filters for homogeneous geometric predicates.	RAIRO Theor. Informatics Appl.	2007	DBLP DOI BibTeX RDF
14	Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro	Demand analysis with partial predicates.	Theory Pract. Log. Program.	2007	DBLP DOI BibTeX RDF
14	Tarek Sayed Ahmed	An Interpolation Theorem for First Order Logic with Infinitary Predicates.	Log. J. IGPL	2007	DBLP DOI BibTeX RDF
14	Alexander Rabinovich	On decidability of monadic logic of order over the naturals extended by monadic predicates.	Inf. Comput.	2007	DBLP DOI BibTeX RDF
14	Tobias Salzbrunn, Gerik Scheuermann	Streamline Predicates as Flow Topology Generalization.	Topology-based Methods in Visualization	2007	DBLP DOI BibTeX RDF
14	Fekade Getahun, Joe Tekli, Solomon Atnafu, Richard Chbeir	Towards Efficient Horizontal Multimedia Database Fragmentation using Semantic-based Predicates Implication.	SBBD	2007	DBLP BibTeX RDF
14	Masaki Nakamura 0001, Kokichi Futatsugi	On Equality Predicates in Algebraic Specification Languages.	ICTAC	2007	DBLP DOI BibTeX RDF
14	Manuel V. Hermenegildo	Automatic granularity-aware parallelization of programs with predicates, functions, and constraints: invited talk.	DAMP	2007	DBLP DOI BibTeX RDF
14	Marc Mörig, Stefan Schirra	On the Design and Performance of Reliable Geometric Predicates using Error-free Transformations and Exact Sign of Sum Algorithms.	CCCG	2007	DBLP BibTeX RDF
14	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
14	Jörg Roth	Inferring Position Knowledge from Location Predicates.	LoCA	2007	DBLP DOI BibTeX RDF	Location inference, position data fusion, probability model
14	Ian Wakeman, Stephen Cogdon, Laurent Mathy, Michael Fry 0001	Localising Multicast Using Application Predicates.	IWSOS	2007	DBLP DOI BibTeX RDF
14	Kerstin Schwabe, Robert Fittler	Semantic Characterizations of German Question-Embedding Predicates.	TbiLLC	2007	DBLP DOI BibTeX RDF
14	Warren Shen, AnHai Doan, Jeffrey F. Naughton, Raghu Ramakrishnan 0001	Declarative Information Extraction Using Datalog with Embedded Extraction Predicates.	VLDB	2007	DBLP BibTeX RDF
14	Richard Bubel	Formal verification of recursive predicates.		2007	RDF
14	Afsaneh Fazly	Automatic acquisition of lexical knowledge about multiword predicates.		2007	RDF
14	James L. Caldwell, Josef Pohl	Constructive Membership Predicates as Index Types.	PLPV@IJCAR	2006	DBLP DOI BibTeX RDF
14	Sebastian Fischer 0001	Lazy Database Access with Persistent Predicates.	WFLP	2006	DBLP DOI BibTeX RDF
14	Pushpak Bhattacharyya, Debasri Chakrabarti, Vaijayanthi M. Sarma	Complex predicates in Indian languages and wordnets.	Lang. Resour. Evaluation	2006	DBLP DOI BibTeX RDF
14	Ioannis Z. Emiris, Menelaos I. Karavelas	The predicates of the Apollonius diagram: Algorithmic analysis and implementation.	Comput. Geom.	2006	DBLP DOI BibTeX RDF
14	Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro	Demand Analysis with Partial Predicates	CoRR	2006	DBLP BibTeX RDF
14	Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco	Definability and decidability of binary predicates for time granularity.	J. Appl. Log.	2006	DBLP DOI BibTeX RDF
14	James G. Raftery	The equational definability of truth predicates.	Reports Math. Log.	2006	DBLP BibTeX RDF
14	Domenico Cantone, Gianluca Cincotti, Giovanni Gallo	Decision algorithms for fragments of real analysis. I. Continuous functions with strict convexity and concavity predicates.	J. Symb. Comput.	2006	DBLP DOI BibTeX RDF
14	Nianwen Xue	Semantic role labeling of nominalized predicates in Chinese.	HLT-NAACL	2006	DBLP BibTeX RDF
14	Hai-Feng Guo, Miao Liu, Bharat Jayaraman	Relaxation on Optimization Predicates.	ICLP	2006	DBLP DOI BibTeX RDF
14	Hazel Everett, Sylvain Lazard, William J. Lenhart, Jeremy Redburn, Linqiao Zhang	Predicates for Line Transversals in 3D.	CCCG	2006	DBLP BibTeX RDF
14	André Reckhemke, Eike Schallehn	Combining Index Structures for application-specific String Similarity Predicates.	Grundlagen von Datenbanken	2006	DBLP BibTeX RDF
14	Pierre Grenon	Temporal Qualification and Change with First-Order Binary Predicates.	FOIS	2006	DBLP BibTeX RDF
14	Alejandro Pauly, Markus Schneider 0001	Topological Reasoning for Identifying a Complete Set of Topological Predicates between Vague Spatial Objects.	FLAIRS	2006	DBLP BibTeX RDF
14	Haibo Hu 0001, Dik Lun Lee	Energy-Efficient Monitoring of Spatial Predicates over Moving Objects.	IEEE Data Eng. Bull.	2005	DBLP BibTeX RDF
14	David Faitelson, James Welch, Jim Davies	From Predicates to Programs: The Semantics of a Method Language.	SBMF	2005	DBLP DOI BibTeX RDF
14	Gautam Appa, Dimitris Magos, Ioannis Mourtos	On the system of two all_different predicates.	Inf. Process. Lett.	2005	DBLP DOI BibTeX RDF
14	Johan van Benthem	Minimal predicates, fixed-points, and definability.	J. Symb. Log.	2005	DBLP DOI BibTeX RDF
14	Hyun Kyoo Park, Jin Hyun Son, Myoung-Ho Kim	Dynamic histograms for future spatiotemporal range predicates.	Inf. Sci.	2005	DBLP DOI BibTeX RDF
14	Paulo A. S. Veloso, Sheila R. M. Veloso	On 'Most' and 'Representative': Filter Logic and Special Predicates.	Log. J. IGPL	2005	DBLP DOI BibTeX RDF
14	Bala Ravikumar, Greg Cooper	Fibonacci Search Algorithm for Finding Extremum Using Unary Predicates.	FCS	2005	DBLP BibTeX RDF
14	Alfonso Gerevini, Alessandro Saetti, Ivan Serina, Paolo Toninelli	Fast Planning in Domains with Derived Predicates: An Approach Based on Rule-Action Graphs and Local Search.	AAAI	2005	DBLP BibTeX RDF
14	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
14	Jeff Z. Pan, Ian Horrocks 0001	Introducing Customised Datatypes and Datatype Predicates into OWL.	OWLED	2005	DBLP BibTeX RDF
14	Jochen L. Leidner	Preliminary Experiments with Geo-Filtering Predicates for Geographic IR.	CLEF (Working Notes)	2005	DBLP BibTeX RDF
14	Anirban Majumdar 0001, Clark D. Thomborson	On the Use of Opaque Predicates in Mobile Agent Code Obfuscation.	ISI	2005	DBLP DOI BibTeX RDF
14	Afsaneh Fazly, Suzanne Stevenson	Automatic Acquisition of Knowledge About Multiword Predicates.	PACLIC	2005	DBLP BibTeX RDF
14	Liang Jin, Chen Li 0001	Selectivity Estimation for Fuzzy String Predicates in Large Data Sets. (PDF / PS)	VLDB	2005	DBLP BibTeX RDF
14	Volker Markl, Nimrod Megiddo, Marcel Kutsch, Tam Minh Tran, Peter J. Haas, Utkarsh Srivastava	Consistently Estimating the Selectivity of Conjuncts of Predicates. (PDF / PS)	VLDB	2005	DBLP BibTeX RDF
14	Shin-ya Katsumata	A generalisation of pre-logical predicates and its applications.		2005	RDF
14	Lars Engebretsen	The Nonapproximability of Non-Boolean Predicates.	SIAM J. Discret. Math.	2004	DBLP DOI BibTeX RDF
14	Cristian Grozea	NP Predicates Computable in the Weakest Level of the Grzegorczyck Hierarchy.	J. Autom. Lang. Comb.	2004	DBLP DOI BibTeX RDF
14	Michael Hanus	Dynamic Predicates in Functional Logic Programs.	J. Funct. Log. Program.	2004	DBLP BibTeX RDF
14	Nicolas Peltier	A Proof Procedure for Functional First Order Logic Programs with Non-Deterministic Lazy Functions and Built-in Predicates.	J. Funct. Log. Program.	2004	DBLP BibTeX RDF
14	Shuvendu K. Lahiri, Randal E. Bryant	Predicate Abstraction with Indexed Predicates	CoRR	2004	DBLP BibTeX RDF
14	Giovambattista Ianni, Francesco Calimeri, Adriana Pietramala, Maria Carmela Santoro	Parametric external predicates for the DLV System	CoRR	2004	DBLP BibTeX RDF
14	Endre Boros, Vladimir Menkov	Exact and approximate discrete optimization algorithms for finding useful disjunctions of categorical predicates in data analysis.	Discret. Appl. Math.	2004	DBLP DOI BibTeX RDF
14	Andrzej Wronski	On Prucnal's Model-determinated Logic and Definable Predicates.	Reports Math. Log.	2004	DBLP BibTeX RDF
14	Ho-Hyun Park, Jun-Ki Min, Chin-Wan Chung, Tae-Gyu Chang	Multi-way R-tree joins using indirect predicates.	Inf. Softw. Technol.	2004	DBLP DOI BibTeX RDF
14	Tommaso Bolognesi	Predicates for state changes vs. processes for event patterns.	Stud. Inform. Univ.	2004	DBLP BibTeX RDF
14	Ken Kaneiwa	The completeness of logic programming with sort predicates.	Syst. Comput. Jpn.	2004	DBLP DOI BibTeX RDF
14	Markus Schneider	Vague Topological Predicates for Crisp Regions through Metric Refinements.	SDH	2004	DBLP DOI BibTeX RDF
14	Raymond T. Boute	Formal Reasoning About Systems, Software and Hardware - Using Functionals, Predicates and Relations.	IFIP Congress Tutorials	2004	DBLP DOI BibTeX RDF
14	Mario Drobics	Choosing the best predicates for data-driven fuzzy modeling.	FUZZ-IEEE	2004	DBLP DOI BibTeX RDF
14	Henri Prade, Mathieu Serrurier	Getting adaptability or expressivity in inductive logic programming by using fuzzy predicates.	FUZZ-IEEE	2004	DBLP DOI BibTeX RDF
14	Ching-Cheng Lee, Sushma Sampathkumar	Web mining for topics defined by complex and precise predicates.	Data Mining and Knowledge Discovery: Theory, Tools, and Technology	2004	DBLP DOI BibTeX RDF
14	Nobuhiro Kaji, Masashi Okamoto, Sadao Kurohashi	Paraphrasing Predicates from Written Language to Spoken Language Using the Web.	HLT-NAACL	2004	DBLP BibTeX RDF
14	Hendra Suryanto, Paul Compton	Invented Predicates to Reduce Knowledge Acquisition.	EKAW	2004	DBLP DOI BibTeX RDF
14	Jordi Atserias, Bernardo Magnini, Octavian Popescu, Eneko Agirre, Aitziber Atutxa, German Rigau, John Carroll 0001, Rob Koeling	Cross-Language Acquisition of Semantic Models for Verbal Predicates.	LREC	2004	DBLP BibTeX RDF
14	Fernando Gomez	Building Verb Predicates: A Computational View.	ACL	2004	DBLP BibTeX RDF
14	Punit Chandra, Ajay D. Kshemkalyani	Distributed algorithm to detect strong conjunctive predicates.	Inf. Process. Lett.	2003	DBLP DOI BibTeX RDF