| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 13 | Ximing Lu, Peter West, Rowan Zellers, Ronan Le Bras 0001, Chandra Bhagavatula, Yejin Choi 0001 |
NeuroLogic Decoding: (Un)supervised Neural Text Generation with Predicate Logic Constraints.  |
CoRR  |
2020 |
DBLP BibTeX RDF |
|
| 13 | Xi Liang 0002, Zechao Shang, Aaron J. Elmore, Sanjay Krishnan, Michael J. Franklin |
Fast and Reliable Missing Data Contingency Analysis with Predicate-Constraints. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 13 | Anne Baanen, Wouter Swierstra |
Combining predicate transformer semantics for effects: a case study in parsing regular languages. |
MSFP@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 13 | Dongjun Wei, Shiyuan Gao, Yaxin Liu, Zhibing Liu, Longtao Hang |
MPSUM: Entity Summarization with Predicate-based Matching. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 13 | Jorge Ramírez, Marcos Báez, Fabio Casati, Luca Cernuzzi, Boualem Benatallah, Ekaterina A. Taran, Veronika A. Malanina |
On the impact of predicate complexity in crowdsourced classification tasks. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 13 | Rohan Garg 0002 |
Fast and Work-Optimal Parallel Algorithms for Predicate Detection. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 13 | Hiroshi Unno 0001, Yuki Satake, Tachio Terauchi, Eric Koskinen |
Program Verification via Predicate Constraint Satisfiability Modulo Theories. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 13 | Shaotian Yan, Chen Shen 0003, Zhongming Jin, Jianqiang Huang, Rongxin Jiang 0001, Yaowu Chen, Xian-Sheng Hua 0001 |
PCPL: Predicate-Correlation Perception Learning for Unbiased Scene Graph Generation. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 13 | Alexis Bès, Christian Choffrut |
Theories of real addition with and without a predicate for integers. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 13 | Gustavo Adrian Bodanza |
On abstract F-systems. A graph-theoretic model for paradoxes involving a falsity predicate and its application to argumentation frameworks. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 13 | Pratish Datta, Tatsuaki Okamoto, Katsuyuki Takashima |
Adaptively Simulation-Secure Attribute-Hiding Predicate Encryption. |
IEICE Trans. Inf. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
| 13 | Yi-Fan Tseng, Zi-Yuan Liu, Raylin Tso |
A Generic Construction of Predicate Proxy Key Re-encapsulation Mechanism. |
IACR Cryptol. ePrint Arch. |
2020 |
DBLP BibTeX RDF |
|
| 13 | Jun Yan |
Quantum Computationally Predicate-Binding Commitment with Application in Quantum Zero-Knowledge Argument for NP. |
IACR Cryptol. ePrint Arch. |
2020 |
DBLP BibTeX RDF |
|
| 13 | Junichi Tomida, Nuttapong Attrapadung |
Unbounded Dynamic Predicate Compositions in ABE from Standard Assumptions. |
IACR Cryptol. ePrint Arch. |
2020 |
DBLP BibTeX RDF |
|
| 13 | Martin R. Albrecht, Nadia Heninger |
On Bounded Distance Decoding with Predicate: Breaking the "Lattice Barrier" for the Hidden Number Problem. |
IACR Cryptol. ePrint Arch. |
2020 |
DBLP BibTeX RDF |
|
| 13 | Yi-Fan Tseng, Zi-Yuan Liu, Raylin Tso |
Practical Predicate Encryption for Inner Product. |
IACR Cryptol. ePrint Arch. |
2020 |
DBLP BibTeX RDF |
|
| 13 | Tuba Yavuz |
Partial predicate abstraction and counter-example guided refinement. |
J. Log. Algebraic Methods Program. |
2020 |
DBLP DOI BibTeX RDF |
|
| 13 | Douglas Cenzer, Victor W. Marek, Jeffrey B. Remmel |
On the complexity of index sets for finite predicate logic programs which allow function symbols. |
J. Log. Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
| 13 | Mikhail N. Rybakov, Dmitry Shkatov |
Recursive enumerability and elementary frame definability in predicate modal logic. |
J. Log. Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
| 13 | David Muñoz-Valero, Luis Rodriguez-Benitez, Luis Jimenez Linares, Juan Moreno García |
Using Recurrent Neural Networks for Part-of-Speech Tagging and Subject and Predicate Classification in a Sentence. |
Int. J. Comput. Intell. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
| 13 | 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 |
|
| 13 | Andrew Crotty, Alex Galakatos, Tim Kraska |
Getting Swole: Generating Access-Aware Code with Predicate Pullups. |
ICDE |
2020 |
DBLP DOI BibTeX RDF |
|
| 13 | Abdulaziz Almaslukh, Laila Abdelhafeez, Amr Magdy 0001 |
DLEEL: Multi-Predicate Spatial Queries on User-generated Streaming Data. |
ICDE |
2020 |
DBLP DOI BibTeX RDF |
|
| 13 | Rolf Hennicker, Martin Wirsing |
A Dynamic Logic for Systems with Predicate-Based Communication. |
ISoLA (2) |
2020 |
DBLP DOI BibTeX RDF |
|
| 13 | Xudong He |
Modeling and Analyzing Smart Contracts using Predicate Transition Nets. |
QRS Companion |
2020 |
DBLP DOI BibTeX RDF |
|
| 13 | Xi Liang 0002, Zechao Shang, Sanjay Krishnan, Aaron J. Elmore, Michael J. Franklin |
Fast and Reliable Missing Data Contingency Analysis with Predicate-Constraints. |
SIGMOD Conference |
2020 |
DBLP DOI BibTeX RDF |
|
| 13 | Gabriel Hondet, Frédéric Blanqui |
Encoding of Predicate Subtyping with Proof Irrelevance in the λΠ-Calculus Modulo Theory. |
TYPES |
2020 |
DBLP DOI BibTeX RDF |
|
| 13 | Shaotian Yan, Chen Shen 0003, Zhongming Jin, Jianqiang Huang, Rongxin Jiang 0001, Yaowu Chen, Xian-Sheng Hua 0001 |
PCPL: Predicate-Correlation Perception Learning for Unbiased Scene Graph Generation. |
ACM Multimedia |
2020 |
DBLP DOI BibTeX RDF |
|
| 13 | Nuttapong Attrapadung, Junichi Tomida |
Unbounded Dynamic Predicate Compositions in ABE from Standard Assumptions. |
ASIACRYPT (3) |
2020 |
DBLP DOI BibTeX RDF |
|
| 13 | Ruihai Wu, Kehan Xu, Chenchen Liu, Nan Zhuang, Yadong Mu |
Localize, Assemble, and Predicate: Contextual Object Proposal Embedding for Visual Relation Detection. |
AAAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 13 | Andrew Cropper, Rolf Morel, Stephen H. Muggleton |
Learning Higher-Order Programs through Predicate Invention. |
AAAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 13 | Yuki Satake, Hiroshi Unno 0001, Hinata Yanagi |
Probabilistic Inference for Predicate Constraint Satisfaction. |
AAAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 13 | Jianmin Zhang, Tiejun Li, Kefan Ma |
Accelerating Predicate Abstraction by Minimum Unsatisfiable Cores Extraction. |
NCTCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 13 | Yi Zhu, Alexander Everhart, Pinar Karaca Mandic, Soumya Sen |
Using NLP to Extract Predicate History from Medical Device Approvals. |
ICIS |
2020 |
DBLP BibTeX RDF |
|
| 13 | Naoki Iwayama, Naoki Kobayashi 0001, Ryota Suzuki 0002, Takeshi Tsukada |
Predicate Abstraction and CEGAR for $\nu \mathrm {HFL}_\mathbb {Z}$ Validity Checking. |
SAS |
2020 |
DBLP DOI BibTeX RDF |
|
| 13 | Hongjing Li, Lin Li 0001 |
A Joint Model of Entity Recognition and Predicate Mapping for Chinese Knowledge Base Question Answering. |
BESC |
2020 |
DBLP DOI BibTeX RDF |
|
| 13 | Edward Schwalb |
Sketches: Fast Membership Scans for Continuous Variable Predicate Workloads. |
IEEE BigData |
2020 |
DBLP DOI BibTeX RDF |
|
| 13 | Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak |
Sequent Calculus for a Program-oriented Predicate Logic over Complex-Named Data. |
ACIT |
2020 |
DBLP DOI BibTeX RDF |
|
| 13 | Mingming Sun, Wenyue Hua, Zoey Liu, Xin Wang 0017, Kangjie Zheng, Ping Li 0001 |
A Predicate-Function-Argument Annotation of Natural Language for Open-Domain Information eXpression. |
EMNLP (1) |
2020 |
DBLP DOI BibTeX RDF |
|
| 13 | Youxuan Jiang, Huaiyu Zhu 0001, Jonathan K. Kummerfeld, Yunyao Li 0001, Walter S. Lasecki |
A Novel Workflow for Accurately and Efficiently Crowdsourcing Predicate Senses and Argument Labels. |
EMNLP (Findings) |
2020 |
DBLP DOI BibTeX RDF |
|
| 13 | Mohammed Alliheedi, Robert E. Mercer |
Semantic Search for Biomedical Texts using Predicate-Argument Structure. |
KEOD |
2020 |
DBLP DOI BibTeX RDF |
|
| 13 | Mario Alviano |
Answer Set Programming with Composed Predicate Names. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 13 | Yi-Fan Tseng, Zi-Yuan Liu, Raylin Tso |
Practical Predicate Encryption for Inner Product. |
ICETE (2) |
2020 |
DBLP DOI BibTeX RDF |
|
| 13 | Zuzana Bilanová, Ján Perhác, Michal Hulic |
A Modern Interpreter of Predicate Linear Logic Formulas. |
CSIT (2) |
2020 |
DBLP DOI BibTeX RDF |
|
| 13 | Dave W. Binkley, James Glenn, Abdullah Alsharif, Phil McMinn |
An Investigation into the Effect of Control and Data Dependence Paths on Predicate Testability. |
SCAM |
2020 |
DBLP DOI BibTeX RDF |
|
| 13 | Sudarshan S. Chawathe |
Estimating Predicate Selectivities in a NoSQL Database Service. |
UEMCON |
2020 |
DBLP DOI BibTeX RDF |
|
| 13 | Céline Hocquette, Stephen H. Muggleton |
Complete Bottom-Up Predicate Invention in Meta-Interpretive Learning. |
IJCAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 13 | Vijay K. Garg |
Predicate Detection to Solve Combinatorial Optimization Problems. |
SPAA |
2020 |
DBLP DOI BibTeX RDF |
|
| 13 | Alexander Sakharov |
Hierarchical Resolution For Structured Predicate Definitions. |
SETN |
2020 |
DBLP DOI BibTeX RDF |
|
| 13 | Li Song, Yuling Dai, Yihuan Liu, Bin Li 0052, Weiguang Qu |
Construct a Sense-Frame Aligned Predicate Lexicon for Chinese AMR Corpus. |
LREC |
2020 |
DBLP BibTeX RDF |
|
| 13 | Yi-Fan Tseng, Zi-Yuan Liu, Raylin Tso |
A Generic Construction of Predicate Proxy Key Re-encapsulation Mechanism. |
AsiaJCIS |
2020 |
DBLP DOI BibTeX RDF |
|
| 13 | Wouter Swierstra, Tim Baanen |
A predicate transformer semantics for effects (functional pearl). |
Proc. ACM Program. Lang. |
2019 |
DBLP DOI BibTeX RDF |
|
| 13 | Pratish Datta, Ratna Dutta, Sourav Mukhopadhyay |
Succinct Predicate and Online-Offline Multi-Input Inner Product Encryptions under Standard Static Assumptions. |
J. Inf. Secur. Appl. |
2019 |
DBLP DOI BibTeX RDF |
|
| 13 | Claudio Hermida, Uday S. Reddy, Edmund P. Robinson |
Deriving Logical Relations from Interpretations of Predicate Logic. |
MFPS |
2019 |
DBLP DOI BibTeX RDF |
|
| 13 | Chengbo Xu |
Cryptanalysis of An Improved Predicate Encryption Scheme from LWE. |
Int. J. Netw. Secur. |
2019 |
DBLP BibTeX RDF |
|
| 13 | Zhen Li 0020, Miaomiao Yu, Dongsheng Wang 0006, Haifeng Wei |
Using Hybrid Algorithm to Estimate and Predicate Based on Software Reliability Model. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
| 13 | Marco Rospocher, Francesco Corcoglioniti, Alessio Palmero Aprosio |
PreMOn: LODifing linguistic predicate models. |
Lang. Resour. Evaluation |
2019 |
DBLP DOI BibTeX RDF |
|
| 13 | Kamal Taha, Youssef Iraqi, Amira Al-Aamri |
Predicting protein functions by applying predicate logic to biomedical literature. |
BMC Bioinform. |
2019 |
DBLP DOI BibTeX RDF |
|
| 13 | Andrzej Malec |
Deontic Logics as Axiomatic Extensions of First-Order Predicate Logic: An Approach Inspired by Wolniewicz's Formal Ontology of Situations. |
Axioms |
2019 |
DBLP DOI BibTeX RDF |
|
| 13 | Jia Zhu 0003, Gabriel Pui Cheong Fung, Zeyang Lei, Min Yang 0007, Ying Shen 0001 |
An in-depth study of similarity predicate committee. |
Inf. Process. Manag. |
2019 |
DBLP DOI BibTeX RDF |
|
| 13 | Sangjin Shin, Xiongnan Jin, Jooik Jung, Kyong-Ho Lee |
Predicate constraints based question answering over knowledge graph. |
Inf. Process. Manag. |
2019 |
DBLP DOI BibTeX RDF |
|
| 13 | Maosheng Guo, Yu Zhang 0030, Dezhi Zhao, Ting Liu 0001 |
Mining predicate-based entailment rules using deep contextual architecture. |
Neurocomputing |
2019 |
DBLP DOI BibTeX RDF |
|
| 13 | Mikhail N. Rybakov, Dmitry Shkatov |
Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter. |
Stud Logica |
2019 |
DBLP DOI BibTeX RDF |
|
| 13 | Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate |
Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 13 | René Haberland, Kirill Krinkin, Sergey Ivanovskiy |
Abstract Predicate Entailment over Points-To Heaplets is Syntax Recognition. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 13 | Mikhail N. Rybakov, Dmitry Shkatov |
Recursive enumerability and elementary frame definability in predicate modal logic. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 13 | Jonathan Julián Huerta y Munive, Georg Struth |
Predicate Transformer Semantics for Hybrid Systems: Verification Components for Isabelle/HOL. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 13 | Evgeny Krivosheev, Fabio Casati, Marcos Báez, Boualem Benatallah |
Combining Crowd and Machines for Multi-predicate Item Screening. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 13 | Grzegorz Wiaderek, Iwona Skalna |
Generating theorem proving procedures from axioms of Truncated Predicate Calculus. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 13 | Edjard Mota, Jacob M. Howe, Ana Schramm, Artur S. d'Avila Garcez |
Efficient predicate invention using shared "NeMuS". |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 13 | Hikaru Omori, Mamoru Komachi |
Multi-task Learning for Japanese Predicate Argument Structure Analysis. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 13 | Nuttapong Attrapadung |
Unbounded Dynamic Predicate Compositions in Attribute-Based Encryption. |
IACR Cryptol. ePrint Arch. |
2019 |
DBLP BibTeX RDF |
|
| 13 | Josh Alman, Robin Hui |
Predicate Encryption from Bilinear Maps and One-Sided Probabilistic Rank. |
IACR Cryptol. ePrint Arch. |
2019 |
DBLP BibTeX RDF |
|
| 13 | Jongkil Kim, Willy Susilo, Fuchun Guo, Joonsang Baek, Nan Li 0007 |
A New Encoding Framework for Predicate Encryption with Non-Linear Structures in Prime Order Groups. |
IACR Cryptol. ePrint Arch. |
2019 |
DBLP BibTeX RDF |
|
| 13 | Wojciech Dzik, Piotr Wojtylak |
Unification in superintuitionistic Predicate Logics and its Applications. |
Rev. Symb. Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 13 | Niko Kaso, Serge Kruk |
Study of the polytope of the \({{\, \mathrm{at \text{-} least}\, }}\) predicate. |
Int. J. Mach. Learn. Cybern. |
2019 |
DBLP DOI BibTeX RDF |
|
| 13 | Stefano Baratella |
A completeness theorem for continuous predicate modal logic. |
Arch. Math. Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 13 | Yuejun Liu, Rui Zhang 0002, Yongbin Zhou |
Predicate encryption against master-key tampering attacks. |
Cybersecur. |
2019 |
DBLP DOI BibTeX RDF |
|
| 13 | Petr Cintula, Zach Weber, Shier Ju |
Editors' introduction: Special issue on non-classical modal and predicate logics. |
Log. J. IGPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 13 | Xuefeng Dai, Laihao Jiang, Dahui Li |
Integrating predicate reasoning and reactive behaviors for coordination of multi-robot systems. |
Clust. Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
| 13 | Shun Wang, Ye Du, Zhen Han |
An improved method of k-induction combined with predicate abstraction and CEGAR for software model checking. |
Clust. Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
| 13 | San Ling, Khoa Nguyen 0002, Huaxiong Wang, Juanyang Zhang |
Server-Aided Revocable Predicate Encryption: Formalization and Lattice-Based Instantiation. |
Comput. J. |
2019 |
DBLP DOI BibTeX RDF |
|
| 13 | Mridul Nandi, Tapas Pandit |
Predicate signatures from pair encodings via dual system proof technique. |
J. Math. Cryptol. |
2019 |
DBLP DOI BibTeX RDF |
|
| 13 | Xuan Ma, Bing-Kun Bao, Lingling Yao, Changsheng Xu |
Multimodal Latent Factor Model with Language Constraint for Predicate Detection. |
ICIP |
2019 |
DBLP DOI BibTeX RDF |
|
| 13 | Michael R. Anderson, Michael J. Cafarella, Germán Ros, Thomas F. Wenisch |
Physical Representation-Based Predicate Optimization for a Visual Analytics Database. |
ICDE |
2019 |
DBLP DOI BibTeX RDF |
|
| 13 | Aman Mehta, Aashay Singhal, Kamalakar Karlapalem |
Scalable Knowledge Graph Construction over Text using Deep Learning based Predicate Mapping. |
WWW (Companion Volume) |
2019 |
DBLP DOI BibTeX RDF |
|
| 13 | Josh Alman, Robin Hui |
Predicate Encryption from Bilinear Maps and One-Sided Probabilistic Rank. |
TCC (1) |
2019 |
DBLP DOI BibTeX RDF |
|
| 13 | Hiroaki Anada, Yoshifumi Ueshige |
Generic Construction of Anonymous Deniable Predicate Authentication Scheme with Revocability. |
SECITC |
2019 |
DBLP DOI BibTeX RDF |
|
| 13 | Edjard Mota, Jacob M. Howe, Ana Schramm, Artur S. d'Avila Garcez |
Efficient Predicate Invention using Shared NeMuS. |
NeSy@IJCAI |
2019 |
DBLP BibTeX RDF |
|
| 13 | Mohammad-Javad Davari, Abbas Edalat, André Lieutier |
The convex hull of finitely generable subsets and its predicate transformer. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
| 13 | Xudong He, Dewan Mohammad Moksedul Alam |
Hybrid Predicate Transition Nets - A Formal Method for Modeling and Analyzing Cyber-Physical Systems. |
QRS |
2019 |
DBLP DOI BibTeX RDF |
|
| 13 | Ajaykrishnan Nageswaran, Prakash Narayan |
Predicate Privacy and List Privacy for a ρ-Recoverable Function. |
ISIT |
2019 |
DBLP DOI BibTeX RDF |
|
| 13 | Yanhua Zhang, Ximeng Liu, Yupu Hu, Qikun Zhang, Huiwen Jia |
Attribute-Based Signatures for Inner-Product Predicate from Lattices. |
CSS (1) |
2019 |
DBLP DOI BibTeX RDF |
|
| 13 | Hikaru Omori, Mamoru Komachi |
Multi-Task Learning for Japanese Predicate Argument Structure Analysis. |
NAACL-HLT (1) |
2019 |
DBLP DOI BibTeX RDF |
|
| 13 | Vijay K. Garg, Rohan Garg 0002 |
Parallel algorithms for predicate detection. |
ICDCN |
2019 |
DBLP DOI BibTeX RDF |
|
| 13 | Frédéric Gilbert 0002 |
Verifiable Certificates for Predicate Subtyping. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 13 | Jongkil Kim, Willy Susilo, Fuchun Guo, Joonsang Baek, Nan Li 0007 |
A New Encoding Framework for Predicate Encryption with Non-linear Structures in Prime Order Groups. |
ACNS |
2019 |
DBLP DOI BibTeX RDF |
|
| 13 | Arpita Dutta, Rohit Sahay, Pabitra Mitra, Rajib Mall |
Predicate Proximity in Failure: An MLP based Fault Localization approach. |
TENCON |
2019 |
DBLP DOI BibTeX RDF |
|
| 13 | Tu-San Pham, Jo Devriendt, Patrick De Causmaecker |
Declarative Local Search for Predicate Logic. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 13 | Norio Takahashi, Tomohide Shibata, Daisuke Kawahara, Sadao Kurohashi |
Machine Comprehension Improves Domain-Specific Japanese Predicate-Argument Structure Analysis. |
MRQA@EMNLP |
2019 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license