Search results for "predicates"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Marcin Iwanowski, Mateusz Bartosiewicz	Describing images using fuzzy mutual position matrix and saliency-based ordering of predicates.	FUZZ-IEEE	2021	DBLP DOI BibTeX RDF
14	Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu	Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates.	ACC	2021	DBLP DOI BibTeX RDF
14	Roman Milewski, Simon Heiden, Lars Grunske	Evaluating Fault Localization Techniques with Bug Signatures and Joined Predicates.	CS&P	2021	DBLP BibTeX RDF
14	Qi Zhou 0010, Joy Arulraj, Shamkant B. Navathe, William Harris, Jinpeng Wu	SIA: Optimizing Queries using Learned Predicates.	SIGMOD Conference	2021	DBLP DOI BibTeX RDF
14	Alexander Sakharov	Inference From Non-Horn Clauses With Partial Predicates.	ICTCS	2021	DBLP BibTeX RDF
14	Zhuang Li, Lizhen Qu, Shuo Huang, Gholamreza Haffari	Few-Shot Semantic Parsing for New Predicates.	EACL	2021	DBLP DOI BibTeX RDF
14	Javiera Jacobsen, Walter Koza, Mirian Muñoz, Francisca Saiz	Formalizing Predicates for Discovery Under the Lexicon Grammar Framework.	NooJ	2021	DBLP DOI BibTeX RDF
14	Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka	String Theories Involving Regular Membership Predicates: From Practice to Theory and Back.	WORDS	2021	DBLP DOI BibTeX RDF
14	Chih Lai, Dalma Martinovic-Weigelt, Aline Serrao De Filippo, Stefan Krämer, Carolin Poschen	Extracting Semantics of Predicates From Millions of Bio-Medical Abstracts for Inferencing New Biological Key Events and Relationships.	BIBM	2021	DBLP DOI BibTeX RDF
14	Richard Zuber	Entailments with Sentential Predicates.	CLAR	2021	DBLP DOI BibTeX RDF
14	Jixin Zhang, Jiageng Chen, Weizhi Meng 0001	Efficient Attribute-Based Signature for Monotone Predicates.	ProvSec	2021	DBLP DOI BibTeX RDF
14	Thomas Groß	Zero-Knowledge Predicates for Hashing to Prime: Theory and Applications.	ICETE (Selected Papers)	2021	DBLP DOI BibTeX RDF
14	Miguel Angel Quiroz Martinez, Christian Rene Vargas Alava, Monica Daniela Gomez Rios, Maikel Yelandi Leyva Vázquez	Knowledge Discovery About Cancer Based on Fuzzy Predicates.	AHFE (13)	2021	DBLP DOI BibTeX RDF
14	Sanja Lukumbuzya, Mantas Simkus	Bounded Predicates in Description Logics with Counting.	IJCAI	2021	DBLP DOI BibTeX RDF
14	Friederike Moltmann	Existence predicates.	Synth.	2020	DBLP DOI BibTeX RDF
14	Mnacho Echenim, Radu Iosif, Nicolas Peltier	The Bernays-Schönfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates.	ACM Trans. Comput. Log.	2020	DBLP DOI BibTeX RDF
14	Amol S. Jumde, Ravindra B. Keskar	Supporting Uncertain Predicates in DBMS Using Approximate String Matching and Probabilistic Databases.	IEEE Access	2020	DBLP DOI BibTeX RDF
14	Cristina Dutra de Aguiar Ciferri, Guilherme Muzzi da Rocha	Efficient Processing of Analytical Queries Extended with Similarity Search Predicates over Images in Spark.	J. Inf. Data Manag.	2020	DBLP BibTeX RDF
14	Hila Peleg, Shachar Itzhaky, Sharon Shoham, Eran Yahav	Programming by predicates: a formal model for interactive synthesis.	Acta Informatica	2020	DBLP DOI BibTeX RDF
14	Alejandro Agostini, Matteo Saveriano, Dongheui Lee, Justus H. Piater	Manipulation Planning Using Object-Centered Predicates and Hierarchical Decomposition of Contextual Actions.	IEEE Robotics Autom. Lett.	2020	DBLP DOI BibTeX RDF
14	Shqiponja Ahmetaj, Magdalena Ortiz 0001, Mantas Simkus	Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog.	Artif. Intell.	2020	DBLP DOI BibTeX RDF
14	Noga Ron-Zewi, Ronen Shaltiel, Nithin Varma	Query complexity lower bounds for local list-decoding and hard-core predicates (even for small rate and huge lists).	Electron. Colloquium Comput. Complex.	2020	DBLP BibTeX RDF
14	Yicong Zhang, Jie Li 0002, Shigetomo Kimura, Wei Zhao 0001, Sajal K. Das 0001	Atomic Predicates-Based Data Plane Properties Verification in Software Defined Networking Using Spark.	IEEE J. Sel. Areas Commun.	2020	DBLP DOI BibTeX RDF
14	Manos N. Kamarianakis	Predicates of the 3D Apollonius Diagram.	CoRR	2020	DBLP BibTeX RDF
14	Fukutomo Nakanishi, Giulio De Pasquale, Daniele Ferla, Lorenzo Cavallaro	Intertwining ROP Gadgets and Opaque Predicates for Robust Obfuscation.	CoRR	2020	DBLP BibTeX RDF
14	Ahmed Akakzia, Cédric Colas, Pierre-Yves Oudeyer, Mohamed Chetouani, Olivier Sigaud	DECSTR: Learning Goal-Directed Abstract Behaviors using Pre-Verbal Spatial Predicates in Intrinsically Motivated Agents.	CoRR	2020	DBLP BibTeX RDF
14	Alejandro Agostini, Dongheui Lee	Efficient State Abstraction using Object-centered Predicates for Manipulation Planning.	CoRR	2020	DBLP BibTeX RDF
14	Clemens Kupke, Jurriaan Rot	Expressive Logics for Coinductive Predicates.	CoRR	2020	DBLP BibTeX RDF
14	Adam Shimi, Aurélie Hurault, Philippe Quéinnec	Derivation of Heard-Of Predicates From Elementary Behavioral Patterns.	CoRR	2020	DBLP BibTeX RDF
14	Adam Shimi, Aurélie Hurault, Philippe Quéinnec	Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models.	CoRR	2020	DBLP BibTeX RDF
14	Danila Piatov, Sven Helmer, Anton Dignös, Fabio Persia	Cache-Efficient Sweeping-Based Interval Joins for Extended Allen Relation Predicates (Extended Version).	CoRR	2020	DBLP BibTeX RDF
14	Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti	Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates.	CoRR	2020	DBLP BibTeX RDF
14	Albert Kim, Atalay Mert Ileri, Sam Madden	Optimizing Query Predicates with Disjunctions for Column Stores.	CoRR	2020	DBLP BibTeX RDF
14	Suraj Shetiya, Saravanan Thirumuruganathan, Nick Koudas, Gautam Das 0001	Astrid: Accurate Selectivity Estimation for String Predicates using Deep Learning. (PDF / PS)	Proc. VLDB Endow.	2020	DBLP DOI BibTeX RDF
14	Bart Jacobs 0001, Abraham Westerbaan	Distances between States and between Predicates.	Log. Methods Comput. Sci.	2020	DBLP DOI BibTeX RDF
14	Marco Attene	Indirect Predicates for Geometric Constructions.	Comput. Aided Des.	2020	DBLP DOI BibTeX RDF
14	V. Alexis Peluce	Epistemic predicates in the arithmetical context.	J. Log. Comput.	2020	DBLP DOI BibTeX RDF
14	Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak	Sequent Calculi of First-order Logics of Partial Predicates with Extended Renominations and Composition of Predicate Complement.	UkrPROG	2020	DBLP BibTeX RDF
14	Sourav Sikdar, Chris Jermaine	MONSOON: Multi-Step Optimization and Execution of Queries with Partially Obscured Predicates.	SIGMOD Conference	2020	DBLP DOI BibTeX RDF
14	Mikhail N. Rybakov, Dmitry Shkatov	Computational properties of the logic of partial quasiary predicates.	SAICSIT	2020	DBLP DOI BibTeX RDF
14	Bingcong Xue, Sen Hu, Lei Zou 0001, Jiashu Cheng	The Value of Paraphrase for Knowledge Base Predicates.	AAAI	2020	DBLP DOI BibTeX RDF
14	Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti	Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates.	IJCAR (1)	2020	DBLP DOI BibTeX RDF
14	Maximiliano Duran	Transformations and Paraphrases for Quechua Sentiment Predicates.	NooJ	2020	DBLP DOI BibTeX RDF
14	Davide Berardi, Franco Callegati, Andrea Melis 0001, Marco Prandini	TechNETium: Atomic Predicates and Model Driven Development to Verify Security Network Policies.	CCNC	2020	DBLP DOI BibTeX RDF
14	Taichi Kato, Rei Miyata, Satoshi Sato	BERT-Based Simplification of Japanese Sentence-Ending Predicates in Descriptive Text.	INLG	2020	DBLP DOI BibTeX RDF
14	Alexander Lochmann, Aart Middeldorp	Formalized Proofs of the Infinity and Normal Form Predicates in the First-Order Theory of Rewriting.	TACAS (2)	2020	DBLP DOI BibTeX RDF
14	Wenxi Wang, Muhammad Usman 0024, Alyas Almaawi, Kaiyuan Wang, Kuldeep S. Meel, Sarfraz Khurshid	A Study of Symmetry Breaking Predicates and Model Counting.	TACAS (1)	2020	DBLP DOI BibTeX RDF
14	Oksana Shkilniak	Relations of Logical Consequence in Program-oriented Logics of Quasiary Predicates.	ACIT	2020	DBLP DOI BibTeX RDF
14	Adam Shimi, Aurélie Hurault, Philippe Quéinnec	Derivation of Heard-of Predicates from Elementary Behavioral Patterns.	FORTE	2020	DBLP DOI BibTeX RDF
14	Tomasz Gogacz, Sanja Lukumbuzya, Magdalena Ortiz 0001, Mantas Simkus	Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates.	KR	2020	DBLP DOI BibTeX RDF
14	José Meseguer 0001, Stephen Skeirik	Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification.	WRLA@ETAPS	2020	DBLP DOI BibTeX RDF
14	Neng Huang, Aaron Potechin	On the Approximability of Presidential Type Predicates.	APPROX-RANDOM	2020	DBLP DOI BibTeX RDF
14	Clemens Kupke, Jurriaan Rot	Expressive Logics for Coinductive Predicates.	CSL	2020	DBLP DOI BibTeX RDF
14	Magdalena Ortiz 0001	Rewritability Results for OMQs with Closed Predicates.	Description Logics	2020	DBLP BibTeX RDF
14	Xuezheng Xu, Changwei Zou, Jingling Xue	Every Mutation Should Be Rewarded: Boosting Fault Localization with Mutated Predicates.	ICSME	2020	DBLP DOI BibTeX RDF
14	Xiaoqian Zhang, Yingyi Luo, Jianhua Hu	Accomplishment Predicates in Mandarin and Their Lexical Semantics.	CLSW	2020	DBLP DOI BibTeX RDF
14	Daniel DeKerlegand, Ben Samuel, Jeffrey Leichman	Encoding Socio-Historical Exegesis as Social Physics Predicates.	FDG	2020	DBLP DOI BibTeX RDF
14	Diego Havenstein, Peter Lysakovski, Norman May, Guido Moerkotte, Gabriele Steidl	Fast Entropy Maximization for Selectivity Estimation of Conjunctive Predicates on CPUs and GPUs.	EDBT	2020	DBLP DOI BibTeX RDF
14	Alexandre Gonzalvez	Affiner la déobfuscation symbolique et concrète de programmes protégés par des prédicats opaques. (To refine symbolic and concrete deobfuscation of programs protected by opaque predicates).		2020	RDF
14	Fernando P. Santos, Ângelo Palos Teixeira, Carlos Guedes Soares	Modeling, simulation and optimization of maintenance cost aspects on multi-unit systems by stochastic Petri nets with predicates.	Simul.	2019	DBLP DOI BibTeX RDF
14	Roy T. Cook	Possible predicates and actual properties.	Synth.	2019	DBLP DOI BibTeX RDF
14	Julia Zakkou	Denial and retraction: a challenge for theories of taste predicates.	Synth.	2019	DBLP DOI BibTeX RDF
14	Shulamyt Ajami, Yonatan Woodbridge, Dror G. Feitelson	Syntax, predicates, idioms - what really affects code complexity?	Empir. Softw. Eng.	2019	DBLP DOI BibTeX RDF
14	Qinrui Chen, Li Yin, Naiqi Wu, Mohammed A. El-Meligy, Mohamed Sharaf 0001, Zhiwu Li 0001	Diagnosability of Vector Discrete-Event Systems Using Predicates.	IEEE Access	2019	DBLP DOI BibTeX RDF
14	Meng Qi, Ke Yan 0001, Yuanjie Zheng	GPredicates: GPU Implementation of Robust and Adaptive Floating-Point Predicates for Computational Geometry.	IEEE Access	2019	DBLP DOI BibTeX RDF
14	Wataru Uegaki	The semantics of question-embedding predicates.	Lang. Linguistics Compass	2019	DBLP DOI BibTeX RDF
14	Mykola S. Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak, Tohrul Mamedov	Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition.	Comput. Sci. J. Moldova	2019	DBLP BibTeX RDF
14	David Broneske, Veit Köppen, Gunter Saake, Martin Schäler	Efficient Evaluation of Multi-Column Selection Predicates in Main-Memory.	IEEE Trans. Knowl. Data Eng.	2019	DBLP DOI BibTeX RDF
14	Ramtine Tofighi-Shirazi, Irina Asavoae, Philippe Elbaz-Vincent, Thanh Ha Le	Defeating Opaque Predicates Statically through Machine Learning and Binary Analysis.	CoRR	2019	DBLP BibTeX RDF
14	Neng Huang, Aaron Potechin	On the Approximability of Presidential Type Predicates.	CoRR	2019	DBLP BibTeX RDF
14	Samuel Epstein 0001	On the Complexity of Completing Binary Predicates.	CoRR	2019	DBLP BibTeX RDF
14	Max Hoffmann 0001, Christof Paar	Stealthy Opaque Predicates in Hardware - Obfuscating Constant Expressions at Negligible Overhead.	CoRR	2019	DBLP BibTeX RDF
14	Shqiponja Ahmetaj, Magdalena Ortiz 0001, Mantas Simkus	Polynomial Rewritings from Expressive Description Logics with Closed Predicates to Variants of Datalog.	CoRR	2019	DBLP BibTeX RDF
14	Geetha S., Deepalakshmi P.	Enhanced Energy in Sensors by Avoiding Voids and Saving Sensitive Data on Cloud Using B+ Tree Index with Retrieval of Query Predicates.	Mob. Networks Appl.	2019	DBLP DOI BibTeX RDF
14	Anshuman Dutt, Chi Wang 0001, Azade Nazi, Srikanth Kandula, Vivek R. Narasayya, Surajit Chaudhuri	Selectivity Estimation for Range Predicates using Lightweight Models. (PDF / PS)	Proc. VLDB Endow.	2019	DBLP DOI BibTeX RDF
14	Laurel J. Orr, Srikanth Kandula, Surajit Chaudhuri	Pushing Data-Induced Predicates Through Joins in Big-Data Clusters. (PDF / PS)	Proc. VLDB Endow.	2019	DBLP DOI BibTeX RDF
14	Carsten Lutz, Inanç Seylan, Frank Wolter	The Data Complexity of Ontology-Mediated Queries with Closed Predicates.	Log. Methods Comput. Sci.	2019	DBLP DOI BibTeX RDF
14	Thomas Place, Varun Ramanathan 0001, Pascal Weil	Covering and separation for logical fragments with modular predicates.	Log. Methods Comput. Sci.	2019	DBLP DOI BibTeX RDF
14	Mathias Hall-Andersen	FastSwap: Concretely Efficient Contingent Payments for Complex Predicates.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
14	Yun Guo, Nan Li 0008, Jeff Offutt, Amihai Motro	Exoneration-based fault localization for SQL predicates.	J. Syst. Softw.	2019	DBLP DOI BibTeX RDF
14	Victor Milenkovic, Elisha Sacks, Nabeel Butt	Fast Detection of Degenerate Predicates in Free Space Construction.	Int. J. Comput. Geom. Appl.	2019	DBLP DOI BibTeX RDF
14	Daniil Larionov, Artem Shelmanov, Elena Chistova, Ivan V. Smirnov	Semantic Role Labeling with Pretrained Language Models for Known and Unknown Predicates.	RANLP	2019	DBLP DOI BibTeX RDF
14	Ramtine Tofighi-Shirazi, Irina Mariuca Asavoae, Philippe Elbaz-Vincent, Thanh-Ha Le	Defeating Opaque Predicates Statically through Machine Learning and Binary Analysis.	SPRO@CCS	2019	DBLP DOI BibTeX RDF
14	Macarena Palma Gutiérrez	Semantic Prosody in Middle Construction Predicates: Exploring Adverb + Verb Collocation in Middles.	Europhras	2019	DBLP DOI BibTeX RDF
14	Shahram Ghandeharizadeh, Yazeed Alabdulkarim, Hieu Nguyen	CPR: Client-Side Processing of Range Predicates.	CLOUD	2019	DBLP DOI BibTeX RDF
14	Subhi Issa, Fayçal Hamdi 0001, Samira Si-Said Cherfi	Enhancing the Conciseness of Linked Data by Discovering Synonym Predicates.	KSEM (1)	2019	DBLP DOI BibTeX RDF
14	Nima Dini, Cagdas Yelen, Milos Gligoric 0001, Sarfraz Khurshid	Extension-Aware Automated Testing Based on Imperative Predicates.	ICST	2019	DBLP DOI BibTeX RDF
14	Sikhar Patranabis, Debdeep Mukhopadhyay, Somindu C. Ramanna	Function Private Predicate Encryption for Low Min-Entropy Predicates.	Public Key Cryptography (2)	2019	DBLP DOI BibTeX RDF
14	Ievgen Ivanov, Mykola S. Nikitchenko	On the Kleene Algebra of Partial Predicates with Predicate Complement.	ICTERI Workshops	2019	DBLP BibTeX RDF
14	Ievgen Ivanov, Mykola S. Nikitchenko	Expressibility in the Kleene Algebra of Partial Predicates with the Complement Composition.	ICTERI (Revised Selected Papers)	2019	DBLP DOI BibTeX RDF
14	Lukas Zobernig, Steven D. Galbraith, Giovanni Russello	When are Opaque Predicates Useful?	TrustCom/BigDataSE	2019	DBLP DOI BibTeX RDF
14	Christian Alrabbaa, Patrick Koopmann, Anni-Yasmin Turhan	Practical Query Rewriting for DL-Lite with Numerical Predicates.	GCAI	2019	DBLP DOI BibTeX RDF
14	Jean-Philippe Bernardy, Rasmus Blanck, Stergios Chatzikyriakidis, Shalom Lappin, Aleksandre Maskharashvili	Predicates as Boxes in Bayesian Semantics for Natural Language.	NODALIDA	2019	DBLP BibTeX RDF
14	Chong Gao, Taolue Chen, Zhilin Wu	Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints.	SOFSEM	2019	DBLP DOI BibTeX RDF
14	Grygoriy Chetverykov, Mykhailo Kopot, Vyacheslav V. Lyashenko	Linear Predicates on a Cone of a Linear Space.	CSIT (1)	2019	DBLP DOI BibTeX RDF
14	Isabel Garcia-Contreras, José F. Morales 0001, Manuel V. Hermenegildo	Incremental Analysis of Logic Programs with Assertions and Open Predicates.	LOPSTR	2019	DBLP DOI BibTeX RDF
14	Marco Voigt	Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates.		2019	RDF
14	David Broneske	Accelerating mono and multi-column selection predicates in modern main-memory database systems.		2019	RDF
14	Georg Gottlob, Andreas Pieris, Mantas Simkus	The Impact of Active Domain Predicates on Guarded Existential Rules.	Fundam. Informaticae	2018	DBLP DOI BibTeX RDF
14	Crystal Chang Din, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu	A modular reasoning system using uninterpreted predicates for code reuse.	J. Log. Algebraic Methods Program.	2018	DBLP DOI BibTeX RDF