Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|