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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.12884, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.04139, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Anne Baanen, Wouter Swierstra |
Combining predicate transformer semantics for effects: a case study in parsing regular languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP@ETAPS ![In: Proceedings Eighth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2020, Dublin, Ireland, 25th April 2020., pp. 39-56, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Dongjun Wei, Shiyuan Gao, Yaxin Liu, Zhibing Liu, Longtao Hang |
MPSUM: Entity Summarization with Predicate-based Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.11992, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.02891, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Rohan Garg 0002 |
Fast and Work-Optimal Parallel Algorithms for Predicate Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2008.12516, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Hiroshi Unno 0001, Yuki Satake, Tachio Terauchi, Eric Koskinen |
Program Verification via Predicate Constraint Satisfiability Modulo Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.03656, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2009.00893, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Alexis Bès, Christian Choffrut |
Theories of real addition with and without a predicate for integers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.04282, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.07050, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Pratish Datta, Tatsuaki Okamoto, Katsuyuki Takashima |
Adaptively Simulation-Secure Attribute-Hiding Predicate Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 103-D(7), pp. 1556-1597, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Yi-Fan Tseng, Zi-Yuan Liu, Raylin Tso |
A Generic Construction of Predicate Proxy Key Re-encapsulation Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2020, pp. 713, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Jun Yan |
Quantum Computationally Predicate-Binding Commitment with Application in Quantum Zero-Knowledge Argument for NP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2020, pp. 1510, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Junichi Tomida, Nuttapong Attrapadung |
Unbounded Dynamic Predicate Compositions in ABE from Standard Assumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2020, pp. 231, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2020, pp. 1540, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Yi-Fan Tseng, Zi-Yuan Liu, Raylin Tso |
Practical Predicate Encryption for Inner Product. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2020, pp. 270, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Tuba Yavuz |
Partial predicate abstraction and counter-example guided refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 110, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 30(1), pp. 107-156, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Mikhail N. Rybakov, Dmitry Shkatov |
Recursive enumerability and elementary frame definability in predicate modal logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 30(2), pp. 549-560, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Intell. Syst. ![In: Int. J. Comput. Intell. Syst. 13(1), pp. 706-716, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UkrPROG ![In: Proceedings of the 12th International Scientific and Practical Conference of Programming (UkrPROG 2020), Kyiv, Ukraine, September 15-16, 2020., pp. 182-197, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Andrew Crotty, Alex Galakatos, Tim Kraska |
Getting Swole: Generating Access-Aware Code with Predicate Pullups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: 36th IEEE International Conference on Data Engineering, ICDE 2020, Dallas, TX, USA, April 20-24, 2020, pp. 1273-1284, 2020, IEEE, 978-1-7281-2903-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Abdulaziz Almaslukh, Laila Abdelhafeez, Amr Magdy 0001 |
DLEEL: Multi-Predicate Spatial Queries on User-generated Streaming Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: 36th IEEE International Conference on Data Engineering, ICDE 2020, Dallas, TX, USA, April 20-24, 2020, pp. 1770-1773, 2020, IEEE, 978-1-7281-2903-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Rolf Hennicker, Martin Wirsing |
A Dynamic Logic for Systems with Predicate-Based Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (2) ![In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II, pp. 224-242, 2020, Springer, 978-3-030-61469-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Xudong He |
Modeling and Analyzing Smart Contracts using Predicate Transition Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS Companion ![In: 20th IEEE International Conference on Software Quality, Reliability and Security Companion, QRS Companion 2020, Macau, China, December 11-14, 2020, pp. 108-115, 2020, IEEE, 978-1-7281-8915-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 2020 International Conference on Management of Data, SIGMOD Conference 2020, online conference [Portland, OR, USA], June 14-19, 2020., pp. 285-295, 2020, ACM, 978-1-4503-6735-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Gabriel Hondet, Frédéric Blanqui |
Encoding of Predicate Subtyping with Proof Irrelevance in the λΠ-Calculus Modulo Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: 26th International Conference on Types for Proofs and Programs, TYPES 2020, March 2-5, 2020, University of Turin, Italy., pp. 6:1-6:18, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-182-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: MM '20: The 28th ACM International Conference on Multimedia, Virtual Event / Seattle, WA, USA, October 12-16, 2020, pp. 265-273, 2020, ACM, 978-1-4503-7988-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Nuttapong Attrapadung, Junichi Tomida |
Unbounded Dynamic Predicate Compositions in ABE from Standard Assumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT (3) ![In: Advances in Cryptology - ASIACRYPT 2020 - 26th International Conference on the Theory and Application of Cryptology and Information Security, Daejeon, South Korea, December 7-11, 2020, Proceedings, Part III, pp. 405-436, 2020, Springer, 978-3-030-64839-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020., pp. 12297-12304, 2020, AAAI Press, 978-1-57735-823-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Andrew Cropper, Rolf Morel, Stephen H. Muggleton |
Learning Higher-Order Programs through Predicate Invention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020., pp. 13655-13658, 2020, AAAI Press, 978-1-57735-823-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Yuki Satake, Hiroshi Unno 0001, Hinata Yanagi |
Probabilistic Inference for Predicate Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020., pp. 1644-1651, 2020, AAAI Press, 978-1-57735-823-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Jianmin Zhang, Tiejun Li, Kefan Ma |
Accelerating Predicate Abstraction by Minimum Unsatisfiable Cores Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCTCS ![In: Theoretical Computer Science - 38th National Conference, NCTCS 2020, Nanning, China, November 13-15, 2020, Revised Selected Papers, pp. 3-13, 2020, Springer, 978-981-16-1876-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIS ![In: Proceedings of the 41st International Conference on Information Systems, ICIS 2020, Making Digital Inclusive: Blending the Locak and the Global, Hyderabad, India, December 13-16, 2020, 2020, Association for Information Systems, 978-1-7336325-5-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings, pp. 134-155, 2020, Springer, 978-3-030-65473-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BESC ![In: 7th International Conference on Behavioural and Social Computing, BESC 2020, Bournemouth, United Kingdom, November 5-7, 2020, pp. 1-6, 2020, IEEE, 978-1-7281-8605-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Edward Schwalb |
Sketches: Fast Membership Scans for Continuous Variable Predicate Workloads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE BigData ![In: 2020 IEEE International Conference on Big Data (IEEE BigData 2020), Atlanta, GA, USA, December 10-13, 2020, pp. 210-217, 2020, IEEE, 978-1-7281-6251-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIT ![In: 10th International Conference on Advanced Computer Information Technologies, ACIT 2020, Deggendorf, Germany, September 16-18, 2020, pp. 497-500, 2020, IEEE, 978-1-7281-6759-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP (1) ![In: Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing, EMNLP 2020, Online, November 16-20, 2020, pp. 2140-2150, 2020, Association for Computational Linguistics, 978-1-952148-60-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP (Findings) ![In: Findings of the Association for Computational Linguistics: EMNLP 2020, Online Event, 16-20 November 2020., pp. 415-421, 2020, Association for Computational Linguistics, 978-1-952148-90-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Mohammed Alliheedi, Robert E. Mercer |
Semantic Search for Biomedical Texts using Predicate-Argument Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KEOD ![In: Proceedings of the 12th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2020, Volume 2: KEOD, Budapest, Hungary, November 2-4, 2020., pp. 299-306, 2020, SCITEPRESS, 978-989-758-474-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Mario Alviano |
Answer Set Programming with Composed Predicate Names. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 44-48, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Yi-Fan Tseng, Zi-Yuan Liu, Raylin Tso |
Practical Predicate Encryption for Inner Product. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICETE (2) ![In: Proceedings of the 17th International Joint Conference on e-Business and Telecommunications, ICETE 2020 - Volume 2: SECRYPT, Lieusaint, Paris, France, July 8-10, 2020., pp. 553-558, 2020, ScitePress, 978-989-758-446-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Zuzana Bilanová, Ján Perhác, Michal Hulic |
A Modern Interpreter of Predicate Linear Logic Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSIT (2) ![In: IEEE 15th International Conference on Computer Sciences and Information Technologies, CSIT 2020, Zbarazh, Ukraine, September 23-26, 2020 - Volume 2, pp. 103-106, 2020, IEEE, 978-1-7281-7443-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020, Adelaide, Australia, September 28 - October 2, 2020, pp. 160-170, 2020, IEEE, 978-1-7281-9248-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Sudarshan S. Chawathe |
Estimating Predicate Selectivities in a NoSQL Database Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UEMCON ![In: 11th IEEE Annual Ubiquitous Computing, Electronics & Mobile Communication Conference, UEMCON 2020, New York City, NY, USA, October 28-31, 2020, pp. 414-420, 2020, IEEE, 978-1-7281-9656-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Céline Hocquette, Stephen H. Muggleton |
Complete Bottom-Up Predicate Invention in Meta-Interpretive Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020, pp. 2312-2318, 2020, ijcai.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Vijay K. Garg |
Predicate Detection to Solve Combinatorial Optimization Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, Virtual Event, USA, July 15-17, 2020, pp. 235-245, 2020, ACM, 978-1-4503-6935-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Alexander Sakharov |
Hierarchical Resolution For Structured Predicate Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETN ![In: SETN 2020: 11th Hellenic Conference on Artificial Intelligence, Athens, Greece, September 2-4, 2020, pp. 202-210, 2020, ACM, 978-1-4503-8878-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LREC ![In: Proceedings of The 12th Language Resources and Evaluation Conference, LREC 2020, Marseille, France, May 11-16, 2020, pp. 2962-2969, 2020, European Language Resources Association, 979-10-95546-34-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Yi-Fan Tseng, Zi-Yuan Liu, Raylin Tso |
A Generic Construction of Predicate Proxy Key Re-encapsulation Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaJCIS ![In: 15th Asia Joint Conference on Information Security, AsiaJCIS 2020, Taipei, Taiwan, August 20-21, 2020, pp. 1-8, 2020, IEEE, 978-1-7281-9922-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Wouter Swierstra, Tim Baanen |
A predicate transformer semantics for effects (functional pearl). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 3(ICFP), pp. 103:1-103:26, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Secur. Appl. ![In: J. Inf. Secur. Appl. 48, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Claudio Hermida, Uday S. Reddy, Edmund P. Robinson |
Deriving Logical Relations from Interpretations of Predicate Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2019, London, UK, June 4-7, 2019, pp. 241-259, 2019, Elsevier. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Chengbo Xu |
Cryptanalysis of An Improved Predicate Encryption Scheme from LWE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Netw. Secur. ![In: Int. J. Netw. Secur. 21(6), pp. 1054-1061, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 7, pp. 84268-84283, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Marco Rospocher, Francesco Corcoglioniti, Alessio Palmero Aprosio |
PreMOn: LODifing linguistic predicate models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lang. Resour. Evaluation ![In: Lang. Resour. Evaluation 53(3), pp. 499-524, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Kamal Taha, Youssef Iraqi, Amira Al-Aamri |
Predicting protein functions by applying predicate logic to biomedical literature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 20(1), pp. 71:1-71:15, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 8(4), pp. 109, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Manag. ![In: Inf. Process. Manag. 56(3), pp. 381-393, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Sangjin Shin, Xiongnan Jin, Jooik Jung, Kyong-Ho Lee |
Predicate constraints based question answering over knowledge graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Manag. ![In: Inf. Process. Manag. 56(3), pp. 445-462, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neurocomputing ![In: Neurocomputing 323, pp. 52-61, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 107(4), pp. 695-717, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.03564, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | René Haberland, Kirill Krinkin, Sergey Ivanovskiy |
Abstract Predicate Entailment over Points-To Heaplets is Syntax Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1906.00217, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Mikhail N. Rybakov, Dmitry Shkatov |
Recursive enumerability and elementary frame definability in predicate modal logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1911.09473, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Jonathan Julián Huerta y Munive, Georg Struth |
Predicate Transformer Semantics for Hybrid Systems: Verification Components for Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1909.05618, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Evgeny Krivosheev, Fabio Casati, Marcos Báez, Boualem Benatallah |
Combining Crowd and Machines for Multi-predicate Item Screening. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.00714, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Grzegorz Wiaderek, Iwona Skalna |
Generating theorem proving procedures from axioms of Truncated Predicate Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.12636, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Edjard Mota, Jacob M. Howe, Ana Schramm, Artur S. d'Avila Garcez |
Efficient predicate invention using shared "NeMuS". ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1906.06455, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Hikaru Omori, Mamoru Komachi |
Multi-task Learning for Japanese Predicate Argument Structure Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.02244, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Nuttapong Attrapadung |
Unbounded Dynamic Predicate Compositions in Attribute-Based Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2019, pp. 233, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Josh Alman, Robin Hui |
Predicate Encryption from Bilinear Maps and One-Sided Probabilistic Rank. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2019, pp. 1045, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2019, pp. 1479, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Wojciech Dzik, Piotr Wojtylak |
Unification in superintuitionistic Predicate Logics and its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 12(1), pp. 37-61, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Niko Kaso, Serge Kruk |
Study of the polytope of the \({{\, \mathrm{at \text{-} least}\, }}\) predicate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Mach. Learn. Cybern. ![In: Int. J. Mach. Learn. Cybern. 10(12), pp. 3475-3483, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Stefano Baratella |
A completeness theorem for continuous predicate modal logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 58(1-2), pp. 183-201, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Yuejun Liu, Rui Zhang 0002, Yongbin Zhou |
Predicate encryption against master-key tampering attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cybersecur. ![In: Cybersecur. 2(1), pp. 22, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Petr Cintula, Zach Weber, Shier Ju |
Editors' introduction: Special issue on non-classical modal and predicate logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 27(4), pp. 385-386, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Xuefeng Dai, Laihao Jiang, Dahui Li |
Integrating predicate reasoning and reactive behaviors for coordination of multi-robot systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Clust. Comput. ![In: Clust. Comput. 22(Supplement), pp. 7413-7421, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Clust. Comput. ![In: Clust. Comput. 22(Supplement), pp. 6219-6229, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 62(12), pp. 1849-1862, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Mridul Nandi, Tapas Pandit |
Predicate signatures from pair encodings via dual system proof technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Math. Cryptol. ![In: J. Math. Cryptol. 13(3-4), pp. 197-228, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: 2019 IEEE International Conference on Image Processing, ICIP 2019, Taipei, Taiwan, September 22-25, 2019, pp. 4454-4458, 2019, IEEE, 978-1-5386-6249-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: 35th IEEE International Conference on Data Engineering, ICDE 2019, Macao, China, April 8-11, 2019, pp. 1466-1477, 2019, IEEE, 978-1-5386-7474-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Aman Mehta, Aashay Singhal, Kamalakar Karlapalem |
Scalable Knowledge Graph Construction over Text using Deep Learning based Predicate Mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Companion Volume) ![In: Companion of The 2019 World Wide Web Conference, WWW 2019, San Francisco, CA, USA, May 13-17, 2019., pp. 705-713, 2019, ACM, 978-1-4503-6675-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Josh Alman, Robin Hui |
Predicate Encryption from Bilinear Maps and One-Sided Probabilistic Rank. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TCC (1) ![In: Theory of Cryptography - 17th International Conference, TCC 2019, Nuremberg, Germany, December 1-5, 2019, Proceedings, Part I, pp. 151-173, 2019, Springer, 978-3-030-36029-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Hiroaki Anada, Yoshifumi Ueshige |
Generic Construction of Anonymous Deniable Predicate Authentication Scheme with Revocability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECITC ![In: Innovative Security Solutions for Information Technology and Communications - 12th International Conference, SecITC 2019, Bucharest, Romania, November 14-15, 2019, Revised Selected Papers, pp. 142-155, 2019, Springer, 978-3-030-41024-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Edjard Mota, Jacob M. Howe, Ana Schramm, Artur S. d'Avila Garcez |
Efficient Predicate Invention using Shared NeMuS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeSy@IJCAI ![In: Proceedings of the 2019 International Workshop on Neural-Symbolic Learning and Reasoning (NeSy 2019), Annual workshop of the Neural-Symbolic Learning and Reasoning Association, Macao, China, August 12, 2019, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Mohammad-Javad Davari, Abbas Edalat, André Lieutier |
The convex hull of finitely generable subsets and its predicate transformer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019, pp. 1-14, 2019, IEEE, 978-1-7281-3608-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS ![In: 19th IEEE International Conference on Software Quality, Reliability and Security, QRS 2019, Sofia, Bulgaria, July 22-26, 2019, pp. 216-227, 2019, IEEE, 978-1-7281-3927-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Ajaykrishnan Nageswaran, Prakash Narayan |
Predicate Privacy and List Privacy for a ρ-Recoverable Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIT ![In: IEEE International Symposium on Information Theory, ISIT 2019, Paris, France, July 7-12, 2019, pp. 2139-2143, 2019, IEEE, 978-1-5386-9291-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSS (1) ![In: Cyberspace Safety and Security - 11th International Symposium, CSS 2019, Guangzhou, China, December 1-3, 2019, Proceedings, Part I, pp. 173-185, 2019, Springer, 978-3-030-37336-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Hikaru Omori, Mamoru Komachi |
Multi-Task Learning for Japanese Predicate Argument Structure Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NAACL-HLT (1) ![In: Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, NAACL-HLT 2019, Minneapolis, MN, USA, June 2-7, 2019, Volume 1 (Long and Short Papers), pp. 3404-3414, 2019, Association for Computational Linguistics, 978-1-950737-13-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Vijay K. Garg, Rohan Garg 0002 |
Parallel algorithms for predicate detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCN ![In: Proceedings of the 20th International Conference on Distributed Computing and Networking, ICDCN 2019, Bangalore, India, January 04-07, 2019, pp. 51-60, 2019, ACM, 978-1-4503-6094-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Frédéric Gilbert 0002 |
Verifiable Certificates for Predicate Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, pp. 440-466, 2019, Springer, 978-3-030-17183-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACNS ![In: Applied Cryptography and Network Security - 17th International Conference, ACNS 2019, Bogota, Colombia, June 5-7, 2019, Proceedings, pp. 406-425, 2019, Springer, 978-3-030-21567-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Arpita Dutta, Rohit Sahay, Pabitra Mitra, Rajib Mall |
Predicate Proximity in Failure: An MLP based Fault Localization approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TENCON ![In: TENCON 2019 - 2019 IEEE Region 10 Conference (TENCON), Kochi, India, October 17-20, 2019, pp. 936-941, 2019, IEEE, 978-1-7281-1895-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Tu-San Pham, Jo Devriendt, Patrick De Causmaecker |
Declarative Local Search for Predicate Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, pp. 340-346, 2019, Springer, 978-3-030-20527-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Norio Takahashi, Tomohide Shibata, Daisuke Kawahara, Sadao Kurohashi |
Machine Comprehension Improves Domain-Specific Japanese Predicate-Argument Structure Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MRQA@EMNLP ![In: Proceedings of the 2nd Workshop on Machine Reading for Question Answering, MRQA@EMNLP 2019, Hong Kong, China, November 4, 2019, pp. 98-104, 2019, Association for Computational Linguistics, 978-1-950737-81-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|