Search results for "predicates"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Daiki Suruga	Matching upper bounds on symmetric predicates in quantum communication complexity.	CoRR	2023	DBLP DOI BibTeX RDF
14	Simon Vilmin, Pierre Faure-Giovagnoli, Jean-Marc Petit, Vasile-Marian Scuturici	Functional Dependencies with Predicates: What Makes the g3-error Easy to Compute?	CoRR	2023	DBLP DOI BibTeX RDF
14	Wieger R. Punter, Odysseas Papapetrou, Minos N. Garofalakis	OmniSketch: Efficient Multi-Dimensional High-Velocity Stream Analytics with Arbitrary Predicates.	CoRR	2023	DBLP DOI BibTeX RDF
14	Riccardo Orlando, Simone Conia, Roberto Navigli	Exploring Non-Verbal Predicates in Semantic Role Labeling: Challenges and Opportunities.	CoRR	2023	DBLP DOI BibTeX RDF
14	Mnacho Echenim, Nicolas Peltier	Tractable and Intractable Entailment Problems in Separation Logic with Inductively Defined Predicates.	CoRR	2023	DBLP DOI BibTeX RDF
14	Xiaocheng Yang, Yik-Cheung Tam	Exploring an LM to generate Prolog Predicates from Mathematics Questions.	CoRR	2023	DBLP DOI BibTeX RDF
14	Vijay K. Garg, Robert P. Streit	Parallel Algorithms for Equilevel Predicates.	CoRR	2023	DBLP DOI BibTeX RDF
14	Brandon Bennett, Lucía Gómez Álvarez	Vagueness in Predicates and Objects.	CoRR	2023	DBLP DOI BibTeX RDF
14	Bernard Boigelot, Pascal Fontaine, Baptiste Vergain	Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates.	CoRR	2023	DBLP DOI BibTeX RDF
14	Wieger R. Punter, Odysseas Papapetrou, Minos N. Garofalakis	OmniSketch: Efficient Multi-Dimensional High-Velocity Stream Analytics with Arbitrary Predicates.	Proc. VLDB Endow.	2023	DBLP BibTeX RDF
14	Xinyu Lyu, Lianli Gao, Pengpeng Zeng, Heng Tao Shen, Jingkuan Song	Adaptive Fine-Grained Predicates Learning for Scene Graph Generation.	IEEE Trans. Pattern Anal. Mach. Intell.	2023	DBLP DOI BibTeX RDF
14	Carmen Torres-Blanc, Susana Cubillo, Luis Magdalena, Pablo Hernández-Varela	Antonyms of predicates on n-tuples of fuzzy sets. A characterization of involutions on [0,1]n.	Fuzzy Sets Syst.	2023	DBLP DOI BibTeX RDF
14	Morgan Thomas	Arithmetization of predicates into Halo 2 using application specific trace types.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
14	Masahito Ishizaka, Kazuhide Fukushima	Homomorphic Signatures for Subset and Superset Mixed Predicates and Its Applications.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
14	Kai Tanter	Subatomic Inferences: an inferentialist Semantics for Atomics, Predicates, and Names.	Rev. Symb. Log.	2023	DBLP DOI BibTeX RDF
14	Zizhong Meng, Xin Cao 0001, Gao Cong	Selectivity Estimation for Queries Containing Predicates over Set-Valued Attributes.	Proc. ACM Manag. Data	2023	DBLP DOI BibTeX RDF
14	Koji Sakai, Yu Ohara, Takeshi Takahashi, Kei Yamada	A Method for Estimating the Number of Diseases in an Image Database: Utilization of Predicates and Application to a CT Database.	NBiS	2023	DBLP DOI BibTeX RDF
14	Petr A. Golovach, Giannos Stamoulis, Dimitrios M. Thilikos	Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classes.	SODA	2023	DBLP DOI BibTeX RDF
14	Thibaut Benjamin, Julien Signoles	Formalizing an Efficient Runtime Assertion Checker for an Arithmetic Language with Functions and Predicates.	SAC	2023	DBLP DOI BibTeX RDF
14	Hyeonachang Jeon, Seoyeon Kang, Seoksu Lee, Eun-Sun Cho	Assessing Opaque Predicates: Unveiling the Efficacy of Popular Obfuscators with a Rapid Deobfuscator.	APSEC	2023	DBLP DOI BibTeX RDF
14	Ilaria Canavotto, John F. Horty	Reasoning with hierarchies of open-textured predicates.	ICAIL	2023	DBLP DOI BibTeX RDF
14	Adam Chen, Parisa Fathololumi, Mihai Nicola, Jared Pincus, Tegan Brennan, Eric Koskinen	Better Predicates and Heuristics for Improved Commutativity Synthesis.	ATVA	2023	DBLP DOI BibTeX RDF
14	Dong Guo, Jian Luo, Kai Gao 0001, Y. Richard Yang	Poster: Scaling Data Plane Verification with Throughput-Optimized Atomic Predicates.	SIGCOMM	2023	DBLP DOI BibTeX RDF
14	Armita Khajeh Nassiri, Nathalie Pernelle, Fatiha Saïs	REGNUM: Generating Logical Rules with Numerical Predicates in Knowledge Graphs.	ESWC	2023	DBLP DOI BibTeX RDF
14	Saehan Jo, Immanuel Trummer	Demonstration of ThalamusDB: Answering Complex SQL Queries with Natural Language Predicates on Multi-Modal Data.	SIGMOD Conference Companion	2023	DBLP DOI BibTeX RDF
14	Dingyi Pan, Judith Degen	Towards a computational account of projection inferences in clause-embedding predicates.	CogSci	2023	DBLP BibTeX RDF
14	Bernard Boigelot, Pascal Fontaine, Baptiste Vergain	Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates.	CADE	2023	DBLP DOI BibTeX RDF
14	Simon Vilmin, Pierre Faure-Giovagnoli, Jean-Marc Petit, Vasile-Marian Scuturici	Functional Dependencies with Predicates: What Makes the g3-error Easy to Compute?	ICCS	2023	DBLP DOI BibTeX RDF
14	Masahito Ishizaka, Kazuhide Fukushima	Homomorphic Signatures for Subset and Superset Mixed Predicates and Its Applications.	ACISP	2023	DBLP DOI BibTeX RDF
14	Markéta Lopatková, Václava Kettnerová	Inherently Reciprocal Predicates - Do They Exist At All?	ITAT	2023	DBLP BibTeX RDF
14	Brandon Bennett, Lucía Gómez Álvarez	Vagueness in Predicates and Objects.	FOIS	2023	DBLP DOI BibTeX RDF
14	Huei-Ling Lin	Directional Constructions in Taiwan Southern Min: Complex Predicates or Compounds.	PACLIC	2023	DBLP BibTeX RDF
14	Magnus Müller, Lucas Woltmann, Wolfgang Lehner	Enhanced Featurization of Queries with Mixed Combinations of Predicates for ML-based Cardinality Estimation.	EDBT	2023	DBLP DOI BibTeX RDF
14	Riccardo Orlando, Simone Conia, Roberto Navigli	Exploring Non-Verbal Predicates in Semantic Role Labeling: Challenges and Opportunities.	ACL (Findings)	2023	DBLP DOI BibTeX RDF
14	Pu Li, Xin Wang, Hui Liang 0004, Suzhi Zhang, Yazhou Zhang, Yuncheng Jiang, Yong Tang 0001	A fuzzy semantic representation and reasoning model for multiple associative predicates in knowledge graph.	Inf. Sci.	2022	DBLP DOI BibTeX RDF
14	Bettina Finzel, Anna Saranti, Alessa Angerschmid, David E. Tafler, Bastian Pfeifer, Andreas Holzinger	Generating Explanations for Conceptual Validation of Graph Neural Networks: An Investigation of Symbolic Predicates Learned on Relevance-Ranked Sub-Graphs.	Künstliche Intell.	2022	DBLP DOI BibTeX RDF
14	Masayuki Abe, Miguel Ambrona	Blind key-generation attribute-based encryption for general predicates.	Des. Codes Cryptogr.	2022	DBLP DOI BibTeX RDF
14	Rea Golan	Metainferences from a Proof-Theoretic Perspective, and a Hierarchy of Validity Predicates.	J. Philos. Log.	2022	DBLP DOI BibTeX RDF
14	Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, Shriram Krishnamurthi	Automated, Targeted Testing of Property-Based Testing Predicates.	Art Sci. Eng. Program.	2022	DBLP DOI BibTeX RDF
14	Chi-Ning Chou, Alexander Golovnev, Amirbehshad Shahrasbi, Madhu Sudan 0001, Santhoshini Velusamy	Sketching Approximability of (Weak) Monarchy Predicates.	Electron. Colloquium Comput. Complex.	2022	DBLP BibTeX RDF
14	Yukihiro Masuoka, Daisuke Kimura	A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates.	CoRR	2022	DBLP DOI BibTeX RDF
14	Yuanfei Lin, Haoxuan Li, Matthias Althoff	Model Predictive Robustness of Signal Temporal Logic Predicates.	CoRR	2022	DBLP DOI BibTeX RDF
14	Omar Arab Oghli, Jennifer D'Souza 0001, Sören Auer	Clustering Semantic Predicates in the Open Research Knowledge Graph.	CoRR	2022	DBLP DOI BibTeX RDF
14	Xinyu Lyu, Lianli Gao, Pengpeng Zeng, Heng Tao Shen, Jingkuan Song	Adaptive Fine-Grained Predicates Learning for Scene Graph Generation.	CoRR	2022	DBLP DOI BibTeX RDF
14	Laura Ciobanu, Albert Garreta	Group equations with abelian predicates.	CoRR	2022	DBLP DOI BibTeX RDF
14	Xinyu Lyu, Lianli Gao, Yuyu Guo 0001, Zhou Zhao, Hao Huang, Heng Tao Shen, Jingkuan Song	Fine-Grained Predicates Learning for Scene Graph Generation.	CoRR	2022	DBLP DOI BibTeX RDF
14	Tinko Bartels, Vissarion Fisikopoulos, Martin Weiser	Fast Floating-Point Filters for Robust Predicates.	CoRR	2022	DBLP DOI BibTeX RDF
14	Toki Migimatsu, Wenzhao Lian, Jeannette Bohg, Stefan Schaal	Symbolic State Estimation with Predicates for Contact-Rich Manipulation Tasks.	CoRR	2022	DBLP DOI BibTeX RDF
14	Chi-Ning Chou, Alexander Golovnev, Amirbehshad Shahrasbi, Madhu Sudan 0001, Santhoshini Velusamy	Sketching Approximability of (Weak) Monarchy Predicates.	CoRR	2022	DBLP DOI BibTeX RDF
14	Shreya Sharma 0005, Jigyasa Gupta, Shreshth Tuli, Rohan Paul, Mausam	GoalNet: Inferring Conjunctive Goal Predicates from Human Plan Demonstrations for Robot Instruction Following.	CoRR	2022	DBLP DOI BibTeX RDF
14	Mehdi Zaïdi	Duality for the existential fragment of first-order logic on words with numerical predicates of a fixed arity.	CoRR	2022	DBLP BibTeX RDF
14	Petr A. Golovach, Giannos Stamoulis, Dimitrios M. Thilikos	Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classes.	CoRR	2022	DBLP DOI BibTeX RDF
14	V. B. Melekhin, M. V. Khachumov	Principle of Constructing Procedures for Planning Behavior of Autonomous Intelligent Robots Based on Polyvariable Conditionally Dependent Predicates.	Autom. Remote. Control.	2022	DBLP DOI BibTeX RDF
14	Marcelo de Matos Menezes, Salles Viana Gomes de Magalhães, Matheus Aguilar de Oliveira, W. Randolph Franklin, Rodrigo Eduardo de Oliveira Bauer Chichorro	Fast Parallel Evaluation of Exact Geometric Predicates on GPUs.	Comput. Aided Des.	2022	DBLP DOI BibTeX RDF
14	Mikhail N. Rybakov, Dmitry Shkatov	Undecidability of the Logic of Partial Quasiary Predicates.	Log. J. IGPL	2022	DBLP DOI BibTeX RDF
14	Srikanth Kandula, Laurel J. Orr, Surajit Chaudhuri	Data-induced predicates for sideways information passing in query optimizers.	VLDB J.	2022	DBLP DOI BibTeX RDF
14	Marcelo M. Menezes, Salles Viana Gomes de Magalhães, Matheus Aguilar de Oliveira, W. Randolph Franklin, Bruno F. Coelho	Employing GPUs to Accelerate Exact Geometric Predicates for 3D Geospatial Processing.	Spatial Gems (1) (1)	2022	DBLP DOI BibTeX RDF
14	Karell Bertet, Christophe Demko, Salah Eddine Boukhetta, Jérémy Richard, Cyril Faucher	Analysis of Complex and Heterogeneous Data Using FCA and Monadic Predicates.	Complex Data Analytics with Formal Concept Analysis	2022	DBLP DOI BibTeX RDF
14	Stepan S. Shkilniak, Oksana Shkilniak	First Order Sequent Calculi of Logics of Quasiary Predicates with Extended Renominations and Equality.	UkrPROG	2022	DBLP BibTeX RDF
14	Graeme Smith 0001	Declassification Predicates for Controlled Information Release.	ICFEM	2022	DBLP DOI BibTeX RDF
14	Bernard Boigelot, Pascal Fontaine, Baptiste Vergain	Decidability of difference logics with unary predicates.	SC-Square@FLoC	2022	DBLP BibTeX RDF
14	Toki Migimatsu, Jeannette Bohg	Grounding Predicates through Actions.	ICRA	2022	DBLP DOI BibTeX RDF
14	Toki Migimatsu, Wenzhao Lian, Jeannette Bohg, Stefan Schaal	Symbolic State Estimation with Predicates for Contact-Rich Manipulation Tasks.	ICRA	2022	DBLP DOI BibTeX RDF
14	Hongshen Yu, Tenglong Ren, Xiaowang Zhang, Lulu Yang, Guopeng Zheng	CoPMP: Correlated Predicates Merging and Partition for SPARQL Query Optimization.	ISWC (Posters/Demos/Industry)	2022	DBLP BibTeX RDF
14	Omar Arab Oghli, Jennifer D'Souza 0001, Sören Auer	Clustering Semantic Predicates in the Open Research Knowledge Graph.	ICADL	2022	DBLP DOI BibTeX RDF
14	Emetis Niazmand	Enhancing Query Answer Completeness with Query Expansion based on Synonym Predicates.	WWW (Companion Volume)	2022	DBLP DOI BibTeX RDF
14	Mitja Kulczynski, Kevin Lotz, Dirk Nowotka, Danny Bøgsted Poulsen	Solving String Theories Involving Regular Membership Predicates Using SAT.	SPIN	2022	DBLP DOI BibTeX RDF
14	Thanh Son Nguyen, Ben Jones, Zvonimir Rakamaric	Synthesis of Rigorous Floating-Point Predicates.	SPIN	2022	DBLP DOI BibTeX RDF
14	Mora Maldonado, Jennifer Culbertson, Wataru Uegaki	Learnability and constraints on the semantics of clause-embedding predicates.	CogSci	2022	DBLP BibTeX RDF
14	Yongyi Liu, Amr Magdy 0001	U-ASK: a unified architecture for kNN spatial-keyword queries supporting negative keyword predicates.	SIGSPATIAL/GIS	2022	DBLP DOI BibTeX RDF
14	Hajer Cheikhrouhou, Imed Lahyani	A Linguistic Approach for Automatic Analysis, Recognition and Translation of Arabic Nominal Predicates.	NooJ	2022	DBLP DOI BibTeX RDF
14	Xinyu Lyu, Lianli Gao, Yuyu Guo 0001, Zhou Zhao, Hao Huang, Heng Tao Shen, Jingkuan Song	Fine-Grained Predicates Learning for Scene Graph Generation.	CVPR	2022	DBLP DOI BibTeX RDF
14	Chi-Ning Chou, Alexander Golovnev, Amirbehshad Shahrasbi, Madhu Sudan 0001, Santhoshini Velusamy	Sketching Approximability of (Weak) Monarchy Predicates.	APPROX/RANDOM	2022	DBLP DOI BibTeX RDF
14	Roksolana Nazarchuk	Object Relations of Verbal Predicates of the Fluidity Functional-Onomasiological Group According to the Text Corpora.	CSIT	2022	DBLP DOI BibTeX RDF
14	Xuejian Li, Jun-Yi Wang	Construction of Inductive Property Predicates for Mutable Data Structures.	DSA	2022	DBLP DOI BibTeX RDF
14	Maria Paola Bonacina, Stéphane Graham-Lengrand, Natarajan Shankar	CDSAT for Nondisjoint Theories with Shared Predicates: Arrays With Abstract Length.	SMT	2022	DBLP BibTeX RDF
14	Neer Bhardwaj, Chieu-Minh Tran	The additive Groups of and with Predicates for being square-Free.	J. Symb. Log.	2021	DBLP DOI BibTeX RDF
14	Stéphane Demri, Étienne Lozes, Alessio Mansutti	The Effects of Adding Reachability Predicates in Quantifier-Free Separation Logic.	ACM Trans. Comput. Log.	2021	DBLP DOI BibTeX RDF
14	Eslam Al Maghayreh, Habib Dhahiri, Fahad R. Albogamy, Mohamad Mahmoud Al Rahhal, Awais Mahmood, Esam Othman, Wail S. El-Kilani	Particle Swarm Optimization Algorithm for Detecting Distributed Predicates.	IEEE Access	2021	DBLP DOI BibTeX RDF
14	Roberto Peña Luna, Gregorio Garza Rodríguez, Liliana A. Guerrero-Ramos, Rafael Alejandro Espín Andrade, Sandra Rodríguez, Víctor De-León-Gómez	Smart Competence Management Using Business Analytics with Fuzzy Predicates.	Axioms	2021	DBLP DOI BibTeX RDF
14	Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu	Planning of Heterogeneous Multi-Agent Systems Under Signal Temporal Logic Specifications With Integral Predicates.	IEEE Robotics Autom. Lett.	2021	DBLP DOI BibTeX RDF
14	Peter Backeman, Philipp Rümmer, Aleksandar Zeljic	Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic.	Formal Methods Syst. Des.	2021	DBLP DOI BibTeX RDF
14	Ze-ke Wang, Xue Liu 0003, Kai Zhang 0006, Haihang Zhou, Bingsheng He	Understanding and Optimizing Conjunctive Predicates Under Memory-Efficient Storage Layouts.	IEEE Trans. Knowl. Data Eng.	2021	DBLP DOI BibTeX RDF
14	Daniel Kang, John Guibas, Peter Bailis, Tatsunori Hashimoto, Yi Sun 0010, Matei Zaharia	Accelerating Approximate Aggregation Queries with Expensive Predicates.	CoRR	2021	DBLP BibTeX RDF
14	Alexey V. Vishnyakov, Vlada Logunova, Eli Kobrin, Daniil O. Kuts, Darya Parygina, Andrey Fedotov	Symbolic Security Predicates: Hunt Program Weaknesses.	CoRR	2021	DBLP BibTeX RDF
14	Toki Migimatsu, Jeannette Bohg	Grounding Predicates through Actions.	CoRR	2021	DBLP BibTeX RDF
14	Marco Attene	Indirect predicates for geometric constructions.	CoRR	2021	DBLP BibTeX RDF
14	Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu	Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates.	CoRR	2021	DBLP BibTeX RDF
14	Daniel Kang, John Guibas, Peter Bailis, Tatsunori Hashimoto, Yi Sun 0010, Matei Zaharia	Proof: Accelerating Approximate Aggregation Queries with Expensive Predicates.	CoRR	2021	DBLP BibTeX RDF
14	Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, Shriram Krishnamurthi	Automated, Targeted Testing of Property-Based Testing Predicates.	CoRR	2021	DBLP 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.	CoRR	2021	DBLP BibTeX RDF
14	Zhuang Li, Lizhen Qu, Shuo Huang, Gholamreza Haffari	Few-Shot Semantic Parsing for New Predicates.	CoRR	2021	DBLP BibTeX RDF
14	Daniel Kang, John Guibas, Peter Bailis, Tatsunori Hashimoto, Yi Sun 0010, Matei Zaharia	Accelerating Approximate Aggregation Queries with Expensive Predicates. (PDF / PS)	Proc. VLDB Endow.	2021	DBLP DOI BibTeX RDF
14	Adam Shimi, Aurélie Hurault, Philippe Quéinnec	Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models.	Log. Methods Comput. Sci.	2021	DBLP DOI BibTeX RDF
14	Clemens Kupke, Jurriaan Rot	Expressive Logics for Coinductive Predicates.	Log. Methods Comput. Sci.	2021	DBLP DOI BibTeX RDF
14	Marco Voigt	Decidable ∃ ∀ First-Order Fragments of Linear Rational Arithmetic with Uninterpreted Predicates.	J. Autom. Reason.	2021	DBLP DOI BibTeX RDF
14	Danila Piatov, Sven Helmer, Anton Dignös, Fabio Persia	Cache-efficient sweeping-based interval joins for extended Allen relation predicates.	VLDB J.	2021	DBLP DOI BibTeX RDF
14	Bernard Boigelot, Pascal Fontaine, Baptiste Vergain	Deciding Satisfiability for Fragments with Unary Predicates and Difference Arithmetic (short paper).	SC-Square@SIAM AG	2021	DBLP BibTeX RDF
14	Vivek Balachandran	Quantum Obfuscation: Quantum Predicates with Entangled qubits.	CODASPY	2021	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).	ITCS	2021	DBLP DOI BibTeX RDF