Search results for "predicates"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Ichiro Hasuo, Toshiki Kataoka, Kenta Cho 0002	Coinductive predicates and final sequences in a fibration.	Math. Struct. Comput. Sci.	2018	DBLP DOI BibTeX RDF
14	Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko	An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates.	Formaliz. Math.	2018	DBLP DOI BibTeX RDF
14	Artur Kornilowicz, Ievgen Ivanov, Mykola S. Nikitchenko	Kleene Algebra of Partial Predicates.	Formaliz. Math.	2018	DBLP DOI BibTeX RDF
14	Srecko Kovac	The Totality of Predicates and the Possibility of the Most Real Being.	FLAP	2018	DBLP BibTeX RDF
14	Eslam Al Maghayreh	An Artificial Bee Colony Algorithm for Detecting Distributed Predicates.	Int. J. Distributed Syst. Technol.	2018	DBLP DOI BibTeX RDF
14	Manish Kesarwani, Akshar Kaul, Gagandeep Singh, Prasad M. Deshpande, Jayant R. Haritsa	Collusion-Resistant Processing of SQL Range Predicates.	Data Sci. Eng.	2018	DBLP DOI BibTeX RDF
14	Farid Feyzi, Saeed Parsa, Esmaeel Nikravan	Statistical bug localisation by supervised clustering of program predicates.	Int. J. Inf. Syst. Chang. Manag.	2018	DBLP DOI BibTeX RDF
14	Toshitaka Maki, Kazuki Takahashi, Toshihiko Wakahara, Akihisa Kodate, Noboru Sonehara	Resource propagation algorithm considering predicates to complement knowledge bases in linked data.	Int. J. Space Based Situated Comput.	2018	DBLP DOI BibTeX RDF
14	Chong Gao, Taolue Chen, Zhilin Wu	Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints.	CoRR	2018	DBLP BibTeX RDF
14	Hady ElSahar, Christophe Gravier, Frédérique Laforest	Zero-Shot Question Generation from Knowledge Graphs for Unseen Predicates and Entity Types.	CoRR	2018	DBLP BibTeX RDF
14	Carsten Lutz, Inanç Seylan, Frank Wolter	The Data Complexity of Ontology-Mediated Queries with Closed Predicates.	CoRR	2018	DBLP BibTeX RDF
14	Amanda Belleville, David Doty, David Soloveichik	Hardness of computing and approximating predicates and functions with leaderless population protocols.	CoRR	2018	DBLP BibTeX RDF
14	Henning Basold	Breaking the Loop: Recursive Proofs for Coinductive Predicates in Fibrations.	CoRR	2018	DBLP BibTeX RDF
14	Sebastian Schuster, Joakim Nivre, Christopher D. Manning	Sentences with Gapping: Parsing and Reconstructing Elided Predicates.	CoRR	2018	DBLP BibTeX RDF
14	Luheng He, Kenton Lee, Omer Levy, Luke Zettlemoyer	Jointly Predicting Predicates and Arguments in Neural Semantic Role Labeling.	CoRR	2018	DBLP BibTeX RDF
14	Tuba Yavuz, Chelsea A. Metcalf	Heuristics for Selecting Predicates for Partial Predicate Abstraction.	CoRR	2018	DBLP BibTeX RDF
14	Thomas Place, Varun Ramanathan 0001, Pascal Weil	Covering and separation for logical fragments with modular predicates.	CoRR	2018	DBLP BibTeX RDF
14	Victor Milenkovic, Elisha Sacks, Nabeel Butt	Table Based Detection of Degenerate Predicates in Free Space Construction.	CoRR	2018	DBLP BibTeX RDF
14	Stéphane Demri, Étienne Lozes, Alessio Mansutti	The Effects of Adding Reachability Predicates in Propositional Separation Logic.	CoRR	2018	DBLP BibTeX RDF
14	Ramanathan S. Thinniyam	Defining Recursive Predicates in Graph Orders.	Log. Methods Comput. Sci.	2018	DBLP DOI BibTeX RDF
14	Max Hoffmann 0001, Christof Paar	Stealthy Opaque Predicates in Hardware - Obfuscating Constant Expressions at Negligible Overhead.	IACR Trans. Cryptogr. Hardw. Embed. Syst.	2018	DBLP DOI BibTeX RDF
14	Sikhar Patranabis, Debdeep Mukhopadhyay, Somindu C. Ramanna	Function Private Predicate Encryption for Low Min-Entropy Predicates.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
14	Tommaso Moraschini	A Study of Truth Predicates in Matrix Semantics.	Rev. Symb. Log.	2018	DBLP DOI BibTeX RDF
14	Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak	Логіки загальних недетермінованих предикатів: cемантичні аспекти Logics of general non-deterministic predicates: semantic aspects.	UkrPROG	2018	DBLP BibTeX RDF
14	Hui Xu 0009, Yangfan Zhou, Yu Kang, Fengzhi Tu, Michael R. Lyu	Manufacturing Resilient Bi-Opaque Predicates Against Symbolic Execution.	DSN	2018	DBLP DOI BibTeX RDF
14	Ze-ke Wang, Kai Zhang 0006, Haihang Zhou, Xue Liu 0003, Bingsheng He	Hebe: An Order-Oblivious and High-Performance Execution Scheme for Conjunctive Predicates.	ICDE	2018	DBLP DOI BibTeX RDF
14	José M. Giménez-García, Antoine Zimmermann	NdProperties: Encoding Contexts in RDF predicates with Inference Preservation.	CKGSemStats@ISWC	2018	DBLP BibTeX RDF
14	Jan H. Boockmann, Gerald Lüttgen, Jan Tobias Mühlberg	Generating Inductive Shape Predicates for Runtime Checking and Formal Verification.	ISoLA (2)	2018	DBLP DOI BibTeX RDF
14	Stéphane Demri, Étienne Lozes, Alessio Mansutti	The Effects of Adding Reachability Predicates in Propositional Separation Logic.	FoSSaCS	2018	DBLP DOI BibTeX RDF
14	Victor Milenkovic, Elisha Sacks, Nabeel Butt	Table Based Detection of Degenerate Predicates in Free Space Construction.	SoCG	2018	DBLP DOI BibTeX RDF
14	Sebastian Schuster, Joakim Nivre, Christopher D. Manning	Sentences with Gapping: Parsing and Reconstructing Elided Predicates.	NAACL-HLT	2018	DBLP DOI BibTeX RDF
14	Hady ElSahar, Christophe Gravier, Frédérique Laforest	Zero-Shot Question Generation from Knowledge Graphs for Unseen Predicates and Entity Types.	NAACL-HLT	2018	DBLP DOI BibTeX RDF
14	Gaël Mondonneix, Sébastien Chabrier, Jean-Martial Mari, Alban Gabillon	Ordinal Learning with Vector Space Based Binary Predicates and Its Application to Tahitian Pearls' Luster Automatic Assessment.	ICISP	2018	DBLP DOI BibTeX RDF
14	Yao Lu, Srikanth Kandula, Surajit Chaudhuri	Interactive Demonstration of Probabilistic Predicates.	SIGMOD Conference	2018	DBLP DOI BibTeX RDF
14	Yao Lu, Aakanksha Chowdhery, Srikanth Kandula, Surajit Chaudhuri	Accelerating Machine Learning Inference with Probabilistic Predicates.	SIGMOD Conference	2018	DBLP DOI BibTeX RDF
14	Manish Kesarwani, Akshar Kaul, Gagandeep Singh, Prasad M. Deshpande, Jayant R. Haritsa	Collusion-Resistant Processing of SQL Range Predicates.	DASFAA (2)	2018	DBLP DOI BibTeX RDF
14	Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron	Under-Approximation Generation Driven by Relevance Predicates and Variants.	TAP@STAF	2018	DBLP DOI BibTeX RDF
14	José Antonio Miñarro-Giménez, Stefan Schulz 0001	Analysis of MeSH Indexing Patterns and Frequency of Predicates.	MIE	2018	DBLP DOI BibTeX RDF
14	Xiaoli Zhao, Shaofu Lin, Zhisheng Huang	Extraction of Semantic Relations from Medical Literature Based on Semantic Predicates and SVM.	HIS	2018	DBLP DOI BibTeX RDF
14	Luheng He, Kenton Lee, Omer Levy, Luke Zettlemoyer	Jointly Predicting Predicates and Arguments in Neural Semantic Role Labeling.	ACL (2)	2018	DBLP BibTeX RDF
14	Frederik Harwath	On Invariant Formulae of First-Order Logic with Numerical Predicates		2018	RDF
14	Martin Balko, Jan Kyncl, Stefan Langerman, Alexander Pilz	Induced Ramsey-type results and binary predicates for point sets.	Electron. Notes Discret. Math.	2017	DBLP DOI BibTeX RDF
14	Dimiter Vakarelov	Mereotopologies with Predicates of Actual Existence and Actual Contact.	Fundam. Informaticae	2017	DBLP DOI BibTeX RDF
14	Diego S. Comas, Gustavo J. Meschino, Ann Nowé, Virginia L. Ballarin	Discovering knowledge from data clustering using automatically-defined interval type-2 fuzzy predicates.	Expert Syst. Appl.	2017	DBLP DOI BibTeX RDF
14	Martin Balko, Jan Kyncl, Stefan Langerman, Alexander Pilz	Induced Ramsey-Type Results and Binary Predicates for Point Sets.	Electron. J. Comb.	2017	DBLP DOI BibTeX RDF
14	Osama Rashed Sayed, Yong Chan Kim	Local β compactness as fuzzy predicates defined in Łukasiewicz logic.	J. Intell. Fuzzy Syst.	2017	DBLP DOI BibTeX RDF
14	Patrick D. Elliott, Nathan Klinedinst, Yasutada Sudo, Wataru Uegaki	Predicates of Relevance and Theories of Question Embedding.	J. Semant.	2017	DBLP DOI BibTeX RDF
14	Thomas Bittner	Vague distance predicates.	GeoInformatica	2017	DBLP DOI BibTeX RDF
14	Carrie Figdor	On the proper domain of psychological predicates.	Synth.	2017	DBLP DOI BibTeX RDF
14	Makoto Kikuchi, Taishi Kurahashi	Universal Rosser Predicates.	J. Symb. Log.	2017	DBLP DOI BibTeX RDF
14	Fei Tang, Yousheng Zhou	Policy-based Signatures for Predicates.	Int. J. Netw. Secur.	2017	DBLP BibTeX RDF
14	Nathanaël Fijalkow, Charles Paperman	Monadic Second-Order Logic with Arbitrary Monadic Predicates.	ACM Trans. Comput. Log.	2017	DBLP DOI BibTeX RDF
14	Besim Avci, Goce Trajcevski, Roberto Tamassia, Peter Scheuermann, Fan Zhou 0002	Efficient detection of motion-trend predicates in wireless sensor networks.	Comput. Commun.	2017	DBLP DOI BibTeX RDF
14	Ke Gu 0002, Weijia Jia 0001, Guojun Wang 0001, Sheng Wen	Efficient and secure attribute-based signature for monotone predicates.	Acta Informatica	2017	DBLP DOI BibTeX RDF
14	Hongkun Yang, Simon S. Lam	Scalable Verification of Networks With Packet Transformers Using Atomic Predicates.	IEEE/ACM Trans. Netw.	2017	DBLP DOI BibTeX RDF
14	Nathanaël Fijalkow, Charles Paperman	Monadic Second-Order Logic with Arbitrary Monadic Predicates.	CoRR	2017	DBLP BibTeX RDF
14	Nader H. Bshouty, Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav	Learning Disjunctions of Predicates.	CoRR	2017	DBLP BibTeX RDF
14	João Sedoc, Derry Wijaya, Masoud Rouhizadeh, Andy Schwartz, Lyle H. Ungar	Deriving Verb Predicates By Clustering Verbs with Arguments.	CoRR	2017	DBLP BibTeX RDF
14	Matthias Horbach, Marco Voigt, Christoph Weidenbach	The Universal Fragment of Presburger Arithmetic with Unary Uninterpreted Predicates is Undecidable.	CoRR	2017	DBLP BibTeX RDF
14	Michaël Cadilhac, Charles Paperman	A Crevice on the Crane Beach: Finite-Degree Predicates.	CoRR	2017	DBLP BibTeX RDF
14	Raúl Gutiérrez, José Meseguer 0001	Variant-Based Decidable Satisfiability in Initial Algebras with Predicates.	CoRR	2017	DBLP BibTeX RDF
14	José E. Zalacain Llanes	Mapping Objects to Persistent Predicates.	CoRR	2017	DBLP BibTeX RDF
14	Bart Jacobs 0001, Abraham Westerbaan	Distances between States and between Predicates.	CoRR	2017	DBLP BibTeX RDF
14	Ramanathan S. Thinniyam	Defining Recursive Predicates in Graph Orders.	CoRR	2017	DBLP BibTeX RDF
14	Ingrid Falk, Fabienne Martin	Towards an Inferential Lexicon of Event Selecting Predicates for French.	CoRR	2017	DBLP BibTeX RDF
14	Ross Gore, Saikou Y. Diallo, Christopher J. Lynch, Jose J. Padilla	Augmenting Bottom-up Metamodels with Predicates.	J. Artif. Soc. Soc. Simul.	2017	DBLP DOI BibTeX RDF
14	Diego S. Comas, Juan Ignacio Pastore, Agustina Bouchet, Virginia L. Ballarin, Gustavo J. Meschino	Interpretable interval type-2 fuzzy predicates for data clustering: A new automatic generation method based on self-organizing maps.	Knowl. Based Syst.	2017	DBLP DOI BibTeX RDF
14	Lukas Zobernig, Steven D. Galbraith, Giovanni Russello	Indistinguishable Predicates: A New Tool for Obfuscation.	IACR Cryptol. ePrint Arch.	2017	DBLP BibTeX RDF
14	Shuichi Katsumata	On the Untapped Potential of Encoding Predicates by Arithmetic Circuits and Their Applications.	IACR Cryptol. ePrint Arch.	2017	DBLP BibTeX RDF
14	Carlo Nicolai	Equivalences for Truth Predicates.	Rev. Symb. Log.	2017	DBLP DOI BibTeX RDF
14	Sebastian Eberhard, Stefan Hetzl, Daniel Weller 0001	Boolean unification with predicates.	J. Log. Comput.	2017	DBLP DOI BibTeX RDF
14	Shengchao Qin, Guanhua He, Wei-Ngan Chin, Florin Craciun, Mengda He, Zhong Ming 0001	Automated specification inference in a combined domain via user-defined predicates.	Sci. Comput. Program.	2017	DBLP DOI BibTeX RDF
14	Richard Rast	The complexity of isomorphism for complete theories of linear orders with unary predicates.	Arch. Math. Log.	2017	DBLP DOI BibTeX RDF
14	Petr Cintula, Carles Noguera, Nicholas J. J. Smith	A Logical Framework for Graded Predicates.	LORI	2017	DBLP DOI BibTeX RDF
14	Farshad Badie	From Concepts to Predicates Within Constructivist Epistemology.	LORI	2017	DBLP DOI BibTeX RDF
14	Quang Loc Le, Makoto Tatsuta, Jun Sun 0001, Wei-Ngan Chin	A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic.	CAV (2)	2017	DBLP DOI BibTeX RDF
14	Ramanathan S. Thinniyam	Definability of Recursive Predicates in the Induced Subgraph Order.	ICLA	2017	DBLP DOI BibTeX RDF
14	David Broneske, Veit Köppen, Gunter Saake, Martin Schäler	Accelerating Multi-Column Selection Predicates in Main-Memory - The Elf Approach.	ICDE	2017	DBLP DOI BibTeX RDF
14	Peter Thiemann 0001	Interleaving sessions with predicates.	SAC	2017	DBLP DOI BibTeX RDF
14	Pascal Nardini, Michael Böttinger, Gerik Scheuermann, Martin Schmidt	Visual Study of the Benguela Upwelling System using Pathline Predicates.	EnvirVis@EuroVis	2017	DBLP DOI BibTeX RDF
14	Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden	Extracting Traceability between Predicates in Event-B Refinement.	APSEC	2017	DBLP DOI BibTeX RDF
14	Michaël Cadilhac, Charles Paperman	A crevice on the Crane Beach: Finite-degree predicates.	LICS	2017	DBLP DOI BibTeX RDF
14	Amanda Belleville, David Doty, David Soloveichik	Hardness of Computing and Approximating Predicates and Functions with Leaderless Population Protocols.	ICALP	2017	DBLP DOI BibTeX RDF
14	Shulamyt Ajami, Yonatan Woodbridge, Dror G. Feitelson	Syntax, predicates, idioms: what really affects code complexity?	ICPC	2017	DBLP DOI BibTeX RDF
14	Yun Guo	Localizing and Fixing Faults in SQL Predicates.	ICST	2017	DBLP DOI BibTeX RDF
14	Yun Guo, Amihai Motro, Nan Li 0008	Localizing Faults in SQL Predicates.	ICST	2017	DBLP DOI BibTeX RDF
14	Fisnik Kastrati, Guido Moerkotte	Optimization of Disjunctive Predicates for Main Memory Column Stores.	SIGMOD Conference	2017	DBLP DOI BibTeX RDF
14	Angelica Buerkin-Pontrelli, Daniel Swingley	How infants map nonce phrases to scenes with objects and predicates.	CogSci	2017	DBLP BibTeX RDF
14	Shuichi Katsumata	On the Untapped Potential of Encoding Predicates by Arithmetic Circuits and Their Applications.	ASIACRYPT (3)	2017	DBLP DOI BibTeX RDF
14	Ingrid Falk, Fabienne Martin	Towards an Inferential Lexicon of Event Selecting Predicates for French.	IWCS(1)	2017	DBLP BibTeX RDF
14	Marcelo Finger, Glauber De Bona	Algorithms for Deciding Counting Quantifiers over Unary Predicates.	AAAI	2017	DBLP DOI BibTeX RDF
14	Zhaowei Xu, Taolue Chen, Zhilin Wu	Satisfiability of Compositional Separation Logic with Tree Predicates and Data Constraints.	CADE	2017	DBLP DOI BibTeX RDF
14	Salles V. G. Magalhães, W. Randolph Franklin, Marcus V. A. Andrade	Fast exact parallel 3D mesh intersection algorithm using only orientation predicates.	SIGSPATIAL/GIS	2017	DBLP DOI BibTeX RDF
14	Petra Barancíková, Václava Kettnerová	ParaDi: Dictionary of Paraphrases of Czech Complex Predicates with Light Verbs.	MWE@EACL	2017	DBLP DOI BibTeX RDF
14	Juliana Botelho, Vinicius H. S. Durelli, Simone S. Borges, André Takeshi Endo, Marcelo Medeiros Eler, Márcio Eduardo Delamaro, Rafael Serapilha Durelli	On the costs of applying logic-based criteria to mobile applications: An empirical analysis of predicates in real-world Objective-C and Swift applications.	SAST	2017	DBLP DOI BibTeX RDF
14	Maddalena della Volpe, Annibale Elia, Francesca Esposito	Semantic Predicates in the Business Language.	NooJ	2017	DBLP DOI BibTeX RDF
14	Ricardo Ávila, Salomão Santos, David Araújo, Vânia Maria Ponte Vidal, José Antônio Fernandes de Macêdo	Semantic Links Using SKOS Predicates.	KES	2017	DBLP DOI BibTeX RDF
14	Wenguan Huang, Xudong Luo	Commonsense Reasoning in a Deeper Way: By Discovering Relations between Predicates.	ICAART (2)	2017	DBLP DOI BibTeX RDF
14	Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar	Forester: From Heap Shapes to Automata Predicates - (Competition Contribution).	TACAS (2)	2017	DBLP DOI BibTeX RDF
14	Himanshu Chauhan, Vijay K. Garg	Fast Detection of Stable and Count Predicates in Parallel Computations.	OPODIS	2017	DBLP DOI BibTeX RDF