Search results for "predicates"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Nathanaël Fijalkow, Charles Paperman	Monadic Second-Order Logic with Arbitrary Monadic Predicates.	MFCS (1)	2014	DBLP DOI BibTeX RDF
14	David Friggens, Lindsay Groves	Shape Predicates Allow Unbounded Verification of Linearizability Using Canonical Abstraction.	ACSC	2014	DBLP BibTeX RDF
14	Keisuke Inohara, Taiji Ueno	Contribution of sublexical information to word meaning: An objective approach using latent semantic analysis and corpus analysis on predicates.	CogSci	2014	DBLP BibTeX RDF
14	Taymi Ceruto Cordovés, Orenia Lapeira, Annika Tonch, Claudia Plant, Rafael Espin, Alejandro Rosete	Mining Medical Data to Obtain Fuzzy Predicates.	ITBAM	2014	DBLP DOI BibTeX RDF
14	Matthias Horbach, Viorica Sofronie-Stokkermans	Locality Transfer: From Constrained Axiomatizations to Reachability Predicates.	IJCAR	2014	DBLP DOI BibTeX RDF
14	John C. Whittier, Qinghan Liang, Silvia Nittel	Evaluating stream predicates over dynamic fields.	IWGS	2014	DBLP DOI BibTeX RDF
14	Anderson Chaves Carniel, Markus Schneider 0001, Ricardo Rodrigues Ciferri, Cristina Dutra de Aguiar Ciferri	Modeling fuzzy topological predicates for fuzzy regions.	SIGSPATIAL/GIS	2014	DBLP DOI BibTeX RDF
14	Sandrine Blazy, David Bühler, Boris Yakobowski	Improving Static Analyses of C Programs with Conditional Predicates.	FMICS	2014	DBLP DOI BibTeX RDF
14	Tapas Pandit, Sumit Kumar Pandey, Rana Barua	Attribute-Based Signcryption : Signer Privacy, Strong Unforgeability and IND-CCA2 Security in Adaptive-Predicates Attack.	ProvSec	2014	DBLP DOI BibTeX RDF
14	Bogdan Mihaila, Axel Simon	Synthesizing Predicates from Abstract Domain Losses.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
14	Stephan Böhme	Formal Semantics for Models with Meta-Predicates.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
14	Gunnar Declerck, Julien Souvignet, Jean Marie Rodrigues, Marie-Christine Jaulent	Automatic annotation of ICD-to-MedDRA mappings with SKOS predicates.	MIE	2014	DBLP DOI BibTeX RDF
14	James Brotherston, Carsten Fuhs, Juan Antonio Navarro Pérez, Nikos Gorogiannis	A decision procedure for satisfiability in separation logic with inductive predicates.	CSL-LICS	2014	DBLP DOI BibTeX RDF
14	Satoshi Uehara, Kingkarn Thepkanjana	The So-called Person Restriction of Internal State Predicates in Japanese in Contrast with Thai.	PACLIC	2014	DBLP BibTeX RDF
14	Xin Xie, Fenlin Liu, Bin Lu 0003, Fei Xiang	Mixed Obfuscation of Overlapping Instruction and Self-Modify Code Based on Hyper-Chaotic Opaque Predicates.	CIS	2014	DBLP DOI BibTeX RDF
14	Christina Jansen, Florian Göbe, Thomas Noll 0001	Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs.	ICGT	2014	DBLP DOI BibTeX RDF
14	Yusuke Kubota, Robert Levine	Unifying Local and Nonlocal Modelling of Respective and Symmetrical Predicates.	FG	2014	DBLP DOI BibTeX RDF
14	Omri Abend, Shay B. Cohen, Mark Steedman	Lexical Inference over Multi-Word Predicates: A Distributional Approach.	ACL (1)	2014	DBLP DOI BibTeX RDF
14	Cláudia Dias de Barros	Descrição e classificação de predicados nominais com o verbo-suporte 'fazer'. (Description and classification of nominal predicates with the support verb 'fazer' ('make/do') / Description et classification des prédicats nominaux avec le verbe support "fazer" ("faire")).		2014	RDF
14	Tomoko Izumi, Kenji Imamura, Taichi Asami, Kuniko Saito, Gen-ichiro Kikui, Satoshi Sato	Normalizing Complex Functional Expressions in Japanese Predicates: Linguistically-Directed Rule-Based Paraphrasing and Its Application.	ACM Trans. Asian Lang. Inf. Process.	2013	DBLP DOI BibTeX RDF
14	Hazel Pearson	A Judge-Free Semantics for Predicates of Personal Taste.	J. Semant.	2013	DBLP DOI BibTeX RDF
14	Ichiro Hasuo, Kenta Cho 0002, Toshiki Kataoka, Bart Jacobs 0001	Coinductive Predicates and Final Sequences in a Fibration.	MFPS	2013	DBLP DOI BibTeX RDF
14	Shuying Liang, Matthew Might, David Van Horn	AnaDroid: Malware Analysis of Android with User-supplied Predicates.	TAPAS@SAS	2013	DBLP DOI BibTeX RDF
14	Alfred Dolich, Chris Miller 0001, Charles Steinhorn	Extensions of ordered theories by generic predicates.	J. Symb. Log.	2013	DBLP DOI BibTeX RDF
14	Michael C. Laskowski	Mutually algebraic structures and expansions by predicates.	J. Symb. Log.	2013	DBLP DOI BibTeX RDF
14	Hong-Ling Wang, Guo-Dong Zhou	Semantic Role Labeling of Chinese Nominal Predicates with Dependency-Driven Constituent Parse Tree Structure.	J. Comput. Sci. Technol.	2013	DBLP DOI BibTeX RDF
14	Ioannis Z. Emiris, Elias P. Tsigaridas, George M. Tzoumas	Exact Voronoi diagram of smooth convex pseudo-circles: General predicates, and implementation for ellipses.	Comput. Aided Geom. Des.	2013	DBLP DOI BibTeX RDF
14	Eslam Al Maghayreh, Iyad Abu Doush, Faisal Alkhateeb	Detecting Distributed Predicates Using Genetic Algorithms.	Int. J. Intell. Inf. Technol.	2013	DBLP DOI BibTeX RDF
14	Cenny Wenner	Circumventing d-to-1 for Approximation Resistance of Satisfiable Predicates Strictly Containing Parity of Width at Least Four.	Theory Comput.	2013	DBLP DOI BibTeX RDF
14	Benjamin Köhler 0001, Rocco Gasteiger, Uta Preim, Holger Theisel, Matthias Gutberlet, Bernhard Preim	Semi-Automatic Vortex Extraction in 4D PC-MRI Cardiac Blood Flow Data using Line Predicates.	IEEE Trans. Vis. Comput. Graph.	2013	DBLP DOI BibTeX RDF
14	Silvia Born, Matthias Pfeifle, Michael Markl 0001, Matthias Gutberlet, Gerik Scheuermann	Visual Analysis of Cardiac 4D MRI Blood Flow Using Line Predicates.	IEEE Trans. Vis. Comput. Graph.	2013	DBLP DOI BibTeX RDF
14	Shuying Liang, Matthew Might, David Van Horn	AnaDroid: Malware Analysis of Android with User-supplied Predicates.	CoRR	2013	DBLP BibTeX RDF
14	Geoffrey Irving, Forrest Green	A deterministic pseudorandom perturbation scheme for arbitrary polynomial predicates.	CoRR	2013	DBLP BibTeX RDF
14	Dekang Lin	A Probabilistic Network of Predicates	CoRR	2013	DBLP BibTeX RDF
14	Andrei Popescu 0001	Security Type Systems as Recursive Predicates.	CoRR	2013	DBLP BibTeX RDF
14	Manfred Kufleitner, Tobias Walter	One Quantifier Alternation in First-Order Logic with Modular Predicates.	CoRR	2013	DBLP BibTeX RDF
14	David C. Giles, Julie Newbold	'Is this normal?' The role of category predicates in constructing mental illness online.	J. Comput. Mediat. Commun.	2013	DBLP DOI BibTeX RDF
14	Jian Liu 0028, Zong Min Ma 0001, Ruizhe Ma	Efficient processing of twig query with compound predicates in fuzzy XML.	Fuzzy Sets Syst.	2013	DBLP DOI BibTeX RDF
14	Björn Deiseroth, Victoria Fehr, Marc Fischlin, Manuel Maasz, Nils Fabian Reimers, Richard Stein	Computing on Authenticated Data for Adjustable Predicates.	IACR Cryptol. ePrint Arch.	2013	DBLP BibTeX RDF
14	Nelly Fazio, Rosario Gennaro, Irippuge Milinda Perera, William E. Skeith III	Hardcore Predicates for a Diffie-Hellman Problem over Finite Fields.	IACR Cryptol. ePrint Arch.	2013	DBLP BibTeX RDF
14	Per Austrin, Johan Håstad	On the usefulness of predicates.	ACM Trans. Comput. Theory	2013	DBLP DOI BibTeX RDF
14	Jasmin Christian Blanchette	Relational analysis of (co)inductive predicates, (co)algebraic datatypes, and (co)recursive functions.	Softw. Qual. J.	2013	DBLP DOI BibTeX RDF
14	Stanislav O. Speranski	A note on definability in fragments of arithmetic with free unary predicates.	Arch. Math. Log.	2013	DBLP DOI BibTeX RDF
14	Yan Zhu 0010, Changjun Hu, Di Ma, Jin Li	Cryptographic Spatio-temporal Predicates for Location-Based Services.	3PGCIC	2013	DBLP DOI BibTeX RDF
14	Daniel Jost 0001, Alexander J. Summers	An Automatic Encoding from VeriFast Predicates into Implicit Dynamic Frames.	VSTTE	2013	DBLP DOI BibTeX RDF
14	Justin Emile Gottschlich, Gilles Pokam, Cristiano Pereira, Youfeng Wu	Concurrent predicates: A debugging technique for every parallel programmer.	PACT	2013	DBLP DOI BibTeX RDF
14	Margus Veanes, Nikolaj S. Bjørner, Lev Nachmanson, Sergey Bereg	Effectively Monadic Predicates.	LPAR (short papers)	2013	DBLP DOI BibTeX RDF
14	João Marques-Silva 0001, Mikolás Janota, Anton Belov	Minimal Sets over Monotone Predicates in Boolean Formulae.	CAV	2013	DBLP DOI BibTeX RDF
14	Guanhua He, Shengchao Qin, Wei-Ngan Chin, Florin Craciun	Automated Specification Discovery via User-Defined Predicates.	ICFEM	2013	DBLP DOI BibTeX RDF
14	Min Shen, Ajay D. Kshemkalyani, Ashfaq A. Khokhar	Detecting Unstable Conjunctive Locality-Aware Predicates in Large-Scale Systems.	ISPDC	2013	DBLP DOI BibTeX RDF
14	Fajin Li, Husheng Liao, Hongyu Gao	Twig Pattern Matching with Positional Predicates in XML Queries.	IEEE WISA	2013	DBLP DOI BibTeX RDF
14	Laurence Danlos, Philippe de Groote, Sylvain Pogodalla	A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining Grammars.	JSAI-isAI Workshops	2013	DBLP DOI BibTeX RDF
14	Chaman L. Sabharwal, Jennifer L. Leopold	Identification of Relations in Region Connection Calculus: 9-Intersection Reduced to 3 + -Intersection Predicates.	MICAI (2)	2013	DBLP DOI BibTeX RDF
14	Cong Wang, Yi-Jen Chiang, Chee Yap	On soft predicates in subdivision motion planning.	SoCG	2013	DBLP DOI BibTeX RDF
14	Zebao Gao, Zhenyu Chen 0001, Yang Feng 0003, Bin Luo 0003	Mining Sequential Patterns of Predicates for Fault Localization and Understanding.	SERE	2013	DBLP DOI BibTeX RDF
14	Björn Deiseroth, Victoria Fehr, Marc Fischlin, Manuel Maasz, Nils Fabian Reimers, Richard Stein	Computing on Authenticated Data for Adjustable Predicates.	ACNS	2013	DBLP DOI BibTeX RDF
14	Stefan Heule, Ioannis T. Kassios, Peter Müller 0001, Alexander J. Summers	Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions.	ECOOP	2013	DBLP DOI BibTeX RDF
14	Chungmin Lee	Psych Predicates: Subjectivity and Evidentiality.	CogSci	2013	DBLP BibTeX RDF
14	Martha Palmer	Complex Predicates are Multi-Word Expressions.	MWE@NAACL-HLT	2013	DBLP BibTeX RDF
14	Ashwini Vaidya, Martha Palmer, Bhuvana Narasimhan	Semantic Roles for Nominal Predicates: Building a Lexical Resource.	MWE@NAACL-HLT	2013	DBLP BibTeX RDF
14	Pollet Samvelian, Pegah Faghiri	Introducing PersPred, a Syntactic and Semantic Database for Persian Complex Predicates.	MWE@NAACL-HLT	2013	DBLP BibTeX RDF
14	Gero Willmes	Query Optimization for Large Sets of Predicates in the Database Management System SECONDO.	Informatiktage	2013	DBLP BibTeX RDF
14	Luc Dartois, Charles Paperman	Two-variable first order logic with modular predicates over words.	STACS	2013	DBLP DOI BibTeX RDF
14	Hongkun Yang, Simon S. Lam	Real-time verification of network properties using Atomic Predicates.	ICNP	2013	DBLP DOI BibTeX RDF
14	Ali Hong, Yijing Liu, Zongyan Qiu	Axioms and Abstract Predicates on Interfaces in Specifying/Verifying OO Components.	FACS	2013	DBLP DOI BibTeX RDF
14	Sangxia Huang	Approximation resistance on satisfiable instances for predicates with few accepting inputs.	STOC	2013	DBLP DOI BibTeX RDF
14	Nelly Fazio, Rosario Gennaro, Irippuge Milinda Perera, William E. Skeith III	Hard-Core Predicates for a Diffie-Hellman Problem over Finite Fields.	CRYPTO (2)	2013	DBLP DOI BibTeX RDF
14	Subhash Khot	On Approximation Resistance of Predicates (Invited Talk).	FSTTCS	2013	DBLP DOI BibTeX RDF
14	Carsten Lutz, Inanç Seylan, Frank Wolter	Ontology-Based Data Access with Closed Predicates is Inherently Intractable(Sometimes).	IJCAI	2013	DBLP BibTeX RDF
14	Sylvester Olubolu Orimaye	Learning to Classify Subjective Sentences from Multiple Domains Using Extended Subjectivity Lexicon and Subjective Predicates.	AIRS	2013	DBLP DOI BibTeX RDF
14	Thomas Willhalm, Ismail Oukid, Ingo Müller 0002, Franz Faerber	Vectorizing Database Column Scans with Complex Predicates.	ADMS@VLDB	2013	DBLP BibTeX RDF
14	Tiziano Flati, Roberto Navigli	SPred: Large-scale Harvesting of Semantic Predicates.	ACL (1)	2013	DBLP BibTeX RDF
14	Anthony Corsentino	Predicates in perspective.	Synth.	2012	DBLP DOI BibTeX RDF
14	Yansong Zhang, Lisheng Yu, Xiao Zhang 0001, Shan Wang 0001, Hui Li 0046	Optimizing queries with expensive video predicates in cloud environment.	Concurr. Comput. Pract. Exp.	2012	DBLP DOI BibTeX RDF
14	Hyun-Ho Lee, Won-Suk Lee	Adaptive two-level optimization for selection predicates of multiple continuous queries.	J. Intell. Inf. Syst.	2012	DBLP DOI BibTeX RDF
14	Evie Malaia, Ruwan Ranaweera, Ronnie B. Wilbur, Thomas M. Talavage	Event segmentation in a visual language: Neural bases of processing American Sign Language predicates.	NeuroImage	2012	DBLP DOI BibTeX RDF
14	Ya-Hui Chang	Optimizing XML twig queries with full-text predicates.	SIGMOD Rec.	2012	DBLP DOI BibTeX RDF
14	Ajay D. Kshemkalyani	Immediate detection of predicates in pervasive environments.	J. Parallel Distributed Comput.	2012	DBLP DOI BibTeX RDF
14	Sangxia Huang	Approximation Resistance on Satisfiable Instances for Predicates Strictly Dominating Parity.	Electron. Colloquium Comput. Complex.	2012	DBLP BibTeX RDF
14	Subhash Khot, Madhur Tulsiani, Pratik Worah	The Complexity of Somewhat Approximation Resistant Predicates.	Electron. Colloquium Comput. Complex.	2012	DBLP BibTeX RDF
14	Cenny Wenner	Circumventing d-to-1 for Approximation Resistance of Satisfiable Predicates Strictly Containing Parity of Width at Least Four.	Electron. Colloquium Comput. Complex.	2012	DBLP BibTeX RDF
14	Ae-Lim Ahn, Éric Laporte 0001, Jee-Sun Nam	Semantic Polarity of Adjectival Predicates in Online Reviews	CoRR	2012	DBLP BibTeX RDF
14	Per Austrin, Johan Håstad	On the Usefulness of Predicates	CoRR	2012	DBLP BibTeX RDF
14	Ahmed M. Aly, Walid G. Aref, Mourad Ouzzani	Spatial Queries with Two kNN Predicates	CoRR	2012	DBLP BibTeX RDF
14	Matthew Gerber, Joyce Y. Chai	Semantic Role Labeling of Implicit Arguments for Nominal Predicates.	Comput. Linguistics	2012	DBLP DOI BibTeX RDF
14	Ahmed M. Aly, Walid G. Aref, Mourad Ouzzani	Spatial Queries with Two kNN Predicates. (PDF / PS)	Proc. VLDB Endow.	2012	DBLP DOI BibTeX RDF
14	Oleh R. Nykyforchyn, Dusan Repovs	L-fuzzy strongest postcondition predicate transformers as L-idempotent linear or affine operators between semimodules of monotonic predicates.	Fuzzy Sets Syst.	2012	DBLP DOI BibTeX RDF
14	Daniele Genito, Giangiacomo Gerla, Alessandro Vignes	Handling the valuation of the predicates in a fuzzy model.	Fuzzy Sets Syst.	2012	DBLP DOI BibTeX RDF
14	Mahdi Cheraghchi, Johan Håstad, Marcus Isaksson, Ola Svensson	Approximating Linear Threshold Predicates.	ACM Trans. Comput. Theory	2012	DBLP DOI BibTeX RDF
14	Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin	Automated verification of shape, size and bag properties via user-defined predicates in separation logic.	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
14	Alexander Rabinovich	The Church problem for expansions of (N, <) by unary predicates.	Inf. Comput.	2012	DBLP DOI BibTeX RDF
14	Khalissa Derbal, Kamel Boukhalfa, Zaia Alimazighi	A Muti-Representation and Generalisation Based Webmapping Approach Using Multi-Agent System Predicates.	ICWIT	2012	DBLP BibTeX RDF
14	Nicole Schweikardt	On the Expressive Power of Logics with Invariant Uses of Arithmetic Predicates.	WoLLIC	2012	DBLP DOI BibTeX RDF
14	François Bobot, Jean-Christophe Filliâtre	Separation Predicates: A Taste of Separation Logic in First-Order Logic.	ICFEM	2012	DBLP DOI BibTeX RDF
14	Yiwei Zhang, Eric Lo 0001, Ben Kao	Evaluation Metric for Multiple-Bug Localization with Simple and Complex Predicates.	APSEC	2012	DBLP DOI BibTeX RDF
14	Stefano Ferilli, Teresa Maria Altomare Basile, Floriana Esposito	Two Extensions of FOL Horn Clauses Comparison to Interpreted Predicates.	CILC	2012	DBLP BibTeX RDF
14	Philipp Marcus, Claudia Linnhoff-Popien	Efficient Evaluation of Location Predicates for Access Control Systems.	EMS	2012	DBLP DOI BibTeX RDF
14	Junping Sun	Mining attribute association in query predicates for access path generation.	RACS	2012	DBLP DOI BibTeX RDF
14	Silvia Born, Matthias Pfeifle, Michael Markl 0001, Gerik Scheuermann	Visual 4D MRI blood flow analysis with line predicates.	PacificVis	2012	DBLP DOI BibTeX RDF
14	Philippe Darondeau	Enforcing opacity of regular predicates on modal transition systems.	WODES	2012	DBLP DOI BibTeX RDF