Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | Mark Koch, Dominik Kirst |
Undecidability, incompleteness, and completeness of second-order logic in Coq. |
CPP |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Jie Wang, Dingding Chen, Ziyu Chen, Xiang-Shuang Liu, Junsong Gao |
Completeness Matters: Towards Efficient Caching in Tree-Based Synchronous Backtracking Search for DCOPs. |
CP |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Amin Jaber, Adèle H. Ribeiro, Jiji Zhang, Elias Bareinboim |
Causal Identification under Markov equivalence: Calculus, Algorithm, and Completeness. |
NeurIPS |
2022 |
DBLP BibTeX RDF |
|
11 | Damien Pous, Jana Wagemaker |
Completeness Theorems for Kleene Algebra with Top. |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Eoin Moore |
Soundness and Completeness Results for LEA and Probability Semantics. |
LFCS |
2022 |
DBLP DOI BibTeX RDF |
|
11 | José Meseguer 0001 |
Checking Sufficient Completeness by Inductive Theorem Proving. |
WRLA@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
11 | José Meseguer 0001, Stephen Skeirik |
On Ground Convergence and Completeness of Conditional Equational Program Hierarchies. |
WRLA@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Ana Carla Bibiano |
Completeness of Composite Refactorings for Smell Removal. |
ICSE-Companion |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Tomoyuki Yamakami |
Parameterized-NL Completeness of Combinatorial Problems by Short Logarithmic-Space Reductions and Immediate Consequences of the Linear Space Hypothesis. |
FTC (1) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Joshua Ani, Lily Chung, Erik D. Demaine, Yevhenii Diomidov, Dylan H. Hendrickson, Jayson Lynch |
Pushing Blocks via Checkable Gadgets: PSPACE-Completeness of Push-1F and Block/Box Dude. |
FUN |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Hotaka Kaneyasu, Daiki Nobayashi, Kazuya Tsukamoto, Takeshi Ikenaga, Myung J. Lee |
Data Completeness-aware Transmission Control for Large Spatio-Temporal Data Retention. |
ICCE |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Yang Xiao, Zongjian Li, Qin Zhao, Yaqin Chen, Hao Li |
The knowledge modeling of bridge code for automated completeness checking. |
CIS |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Christopher Franz, Georg Mogk, Thomas Mrziglod, Kevin Schewior |
Completeness and Diversity in Depth-First Proof-Number Search with Applications to Retrosynthesis. |
IJCAI |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Hans L. Bodlaender, Carla Groenland, Hugo Jacob 0001, Lars Jaffke, Paloma T. Lima |
XNLP-Completeness for Parameterized Problems on Graphs with a Linear Structure. |
IPEC |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Anirudh Vemula |
Planning and Execution using Inaccurate Models with Provable Guarantees on Task Completeness. |
|
2022 |
DOI RDF |
|
11 | Alexandra Bugariu |
Automatically Identifying Soundness and Completeness Errors in Program Analysis Tools. |
|
2022 |
RDF |
|
11 | Daniela Glavanicová, Matteo Pascucci |
Correctness and Completeness of Programming Instructions for Traffic Circulation. |
Sci. Eng. Ethics |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Helyette Geman, Henry Price |
Bitcoin spot and derivatives markets: Searching for completeness. |
Risk Decis. Anal. |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Jung Mi Ko, Yong Chan Kim |
Various operations and right completeness in generalized residuated lattices. |
J. Intell. Fuzzy Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Haifeng Zhang, Alexander Ignatov |
A Completeness and Complementarity Analysis of the Data Sources in the NOAA In Situ Sea Surface Temperature Quality Monitor (iQuam) System. |
Remote. Sens. |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Bernd Heinrich, Marcus Hopf, Daniel Lohninger, Alexander Schiller, Michael Szubartowicz |
Data quality in recommender systems: the impact of completeness of item content data on prediction accuracy of recommender systems. |
Electron. Mark. |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Philip Dittmann, Dion Leijnse |
A class of Fields with a Restricted Model Completeness Property. |
J. Symb. Log. |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Peter Hertling, Gisela Krommes |
EXPSPACE-Completeness of the Logics K4 × S5 and S4 × S5 and the Logic of Subset Spaces. |
ACM Trans. Comput. Log. |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Jisheng Pei, Lijie Wen, Hedong Yang, Jianmin Wang 0001, Xiaojun Ye |
Estimating Global Completeness of Event Logs: A Comparative Study. |
IEEE Trans. Serv. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Subhi Issa, Onaopepo Adekunle, Fayçal Hamdi 0001, Samira Si-Said Cherfi, Michel Dumontier, Amrapali Zaveri |
Knowledge Graph Completeness: A Systematic Literature Review. |
IEEE Access |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Varadraj Prabhu Gurupur, Muhammed Shelleh |
Machine Learning Analysis for Data Incompleteness (MADI): Analyzing the Data Completeness of Patient Records Using a Random Variable Approach to Predict the Incompleteness of Electronic Health Records. |
IEEE Access |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Hamid Hoorfar, Alireza Bagheri |
NP-completeness of chromatic orthogonal art gallery problem. |
J. Supercomput. |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Gabriel F. B. de Medeiros, Lívia Castro Degrossi, Maristela Holanda |
QualiOSM: An Architecture to Improve Data Completeness on OpenStreetMap. |
J. Inf. Data Manag. |
2021 |
DBLP BibTeX RDF |
|
11 | Joshua Brakensiek, Venkatesan Guruswami |
The Quest for Strong Inapproximability Results with Perfect Completeness. |
ACM Trans. Algorithms |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Hans-Friedrich Köhn, Chia-Yi Chiu |
A Unified Theory of the Completeness of Q-Matrices for the DINA Model. |
J. Classif. |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Tommaso Flaminio |
On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events. |
Int. J. Approx. Reason. |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Nayyar Iqbal, Jun Sang |
Fuzzy Logic Testing Approach for Measuring Software Completeness. |
Symmetry |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Arshad Ali Khan, Basit Ali |
Completeness of b-Metric Spaces and Best Proximity Points of Nonself Quasi-Contractions. |
Symmetry |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Adrian Kulmburg, Matthias Althoff |
On the co-NP-completeness of the zonotope containment problem. |
Eur. J. Control |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Jordan Poulos, Leilei Zhu, Anoop D. Shah |
Data gaps in electronic health record (EHR) systems: An audit of problem list completeness during the COVID-19 pandemic. |
Int. J. Medical Informatics |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Taishi Kurahashi, Yuya Okawa |
Modal completeness of sublogics of the interpretability logic IL. |
Math. Log. Q. |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Xianmin Liu, Jianzhong Li 0001, Yingshu Li, Yuqiang Feng |
Parameterized complexity of completeness reasoning for conjunctive queries. |
Theor. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Matteo Lorenzini, Marco Rospocher, Sara Tonelli |
On assessing metadata completeness in digital cultural heritage repositories. |
Digit. Scholarsh. Humanit. |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Lisandra Díaz de la Paz, Francisco N. Riestra Collado, Juan-Luis García-Mendoza, Luisa M. González-González, Amed Abel Leiva Mederos, Alberto Taboada-Crispí |
Weights Estimation in the Completeness Measurement of Bibliographic Metadata. |
Computación y Sistemas |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Xiaotie Deng, Jack R. Edmonds, Zhe Feng 0004, Zhengyang Liu 0002, Qi Qi 0003, Zeying Xu |
Understanding PPA-completeness. |
J. Comput. Syst. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Stefano Bonzio, Michele Pra Baldi |
Containment Logics: Algebraic Completeness and Axiomatization. |
Stud Logica |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Runbin Tang, Zuguo Yu, Yuanlin Ma, Yaoqun Wu, Yi-Ping Phoebe Chen, Limsoon Wong, Jinyan Li 0001 |
Genetic source completeness of HIV-1 circulating recombinant forms (CRFs) predicted by multi-label learning. |
Bioinform. |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Longwei Wang, Meige Song, Min Zhang, Li Wang |
How does contract completeness affect tacit knowledge acquisition? |
J. Knowl. Manag. |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Alec Henderson, Radu Nicolescu, Michael J. Dinneen, T. N. Chan, Hendrik Happe, Thomas Hinze |
Turing completeness of water computing. |
J. Membr. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Mikhail Starostin |
Implicit completeness criterion in three-valued logic in terms of maximal classes. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
11 | Todd Schmid, Jurriaan Rot, Alexandra Silva 0001 |
On Star Expressions and Coalgebraic Completeness Theorems. |
MFPS |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Jan Rooduijn, Yde Venema |
Filtration and canonical completeness for continuous modal mu-calculi. |
GandALF |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque |
The Topological Mu-Calculus: completeness and decidability. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
11 | Marco Maggesi, Cosimo Perini Brogi |
A formal proof of modal completeness for provability logic. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
11 | Orlando Amaral, Sallam Abualhaija, Damiano Torre, Mehrdad Sabetzadeh, Lionel C. Briand |
AI-enabled Automation for Completeness Checking of Privacy Policies. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
11 | André Arnold, Patrick Cégielski, Irène Guessarian |
Affine completeness of some free binary algebras. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
11 | Peter Jansen 0001, Kelly J. Smith, Dan Moreno, Huitzilin Ortiz |
On the Challenges of Evaluating Compositional Explanations in Multi-Hop Inference: Relevance, Completeness, and Expert Ratings. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
11 | Wlodzimierz Drabent |
On correctness and completeness of an n queens program. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
11 | Marcel Gehrke |
On the Completeness and Complexity of the Lifted Dynamic Junction Tree Algorithm. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
11 | Sagnik Saha, Manish Purohit |
NP-completeness of the Active Time Scheduling Problem. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
11 | Ramana Nagasamudram, David A. Naumann |
Alignment Completeness for Relational Hoare Logics. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
11 | Antti Valmari, Lauri Hella |
A Completeness Proof for A Regular Predicate Logic with Undefined Truth Value. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
11 | Christian Ikenmeyer, Abhiroop Sanyal |
A note on VNP-completeness and border complexity. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
11 | Pilhyeon Lee, Hyeran Byun |
Learning Action Completeness from Points for Weakly-supervised Temporal Action Localization. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
11 | Adrian de Wynter |
Turing Completeness and Sid Meier's Civilization. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
11 | Eric Hayden Campbell, Michael Greenberg 0002 |
Injecting Finiteness to Prove Completeness for Finite Linear Temporal Logic. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
11 | Andreas Abel 0001 |
Birkhoff's Completeness Theorem for Multi-Sorted Algebras Formalized in Agda. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
11 | Eugene Eberbach |
On Completeness of Cost Metrics and Meta-Search Algorithms in $-Calculus. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
11 | Karl Bringmann, Alejandro Cassis, Nick Fischer, Marvin Künnemann |
Fine-Grained Completeness for Optimization in P. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
11 | Quentin Cohen-Solal |
Completeness of Unbounded Best-First Game Algorithms. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
11 | Todd Schmid, Tobias Kappé, Dexter Kozen, Alexandra Silva 0001 |
Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
11 | Jinsheng Chen, Giuseppe Greco 0001, Alessandra Palmigiano, Apostolos Tzimoulis |
Syntactic completeness of proper display calculi. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
11 | Leonid Barenboim, Tzalik Maimon |
Deterministic Logarithmic Completeness in the Distributed Sleeping Model. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
11 | Masatoshi Uehara, Masaaki Imaizumi, Nan Jiang 0008, Nathan Kallus, Wen Sun 0002, Tengyang Xie |
Finite Sample Analysis of Minimax Offline Reinforcement Learning: Completeness, Fast Rates and First-Order Efficiency. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
11 | Caroline Quinn, J. J. McArthur |
A case study comparing the completeness and expressiveness of two industry recognized ontologies. |
Adv. Eng. Informatics |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Simon Razniewski, Hiba Arnaout, Shrestha Ghosh, Fabian M. Suchanek |
On the Limits of Machine Knowledge: Completeness, Recall and Negation in Web-scale Knowledge Bases. (PDF / PS) |
Proc. VLDB Endow. |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Mojtaba Moniri |
Corrigendum to "On Definable Completeness for Ordered Fields" RML, 54 (2019), 95-100. |
Reports Math. Log. |
2021 |
DBLP BibTeX RDF |
|
11 | Yolanda Villacampa, Patricia Sastre-Vázquez, José A. Reyes, Fernando García-Alonso |
Consistency and Completeness in Model Systems. |
Cybern. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Oliver Fritz, Michael Auer, Alexander Zipf |
Entwicklung eines Regressionsmodells für die Vollständigkeitsanalyse des globalen OpenStreetMap- Datenbestands an Nahverkehrs-Busstrecken / Development of a Regression Model for the Analysis of Local Bus Route Data Completeness on OpenStreetMap. |
AGIT Journal Angew. Geoinformatik |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Diego Nicolás Castaño, Cecilia Cimadamore, José Patricio Díaz Varela, Laura A. Rueda |
Completeness for monadic fuzzy logics via functional algebras. |
Fuzzy Sets Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Jingjing Lou |
Predictive Control-Based Completeness Analysis and Global Calibration of Robot Vision Features. |
Comput. Intell. Neurosci. |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Si Gao, Elisabeth Oswald |
A Novel Completeness Test and its Application to Side Channel Attacks and Simulators. |
IACR Cryptol. ePrint Arch. |
2021 |
DBLP BibTeX RDF |
|
11 | Gianluca Grilletti |
Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic. |
J. Log. Lang. Inf. |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Asta Halkjær From |
Soundness and Completeness of an Axiomatic System for First-Order Logic. |
Arch. Formal Proofs |
2021 |
DBLP BibTeX RDF |
|
11 | Samara Burns, Richard Zach |
Cut-Free Completeness for Modular Hypersequent Calculi for Modal Logics k, T, and d. |
Rev. Symb. Log. |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Lea Seep, Anne Bonin, Katharina Meier, Holger Diedam, Andreas H. Göller |
Ensemble completeness in conformer sampling: the case of small macrocycles. |
J. Cheminformatics |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin |
Model Completeness, Uniform Interpolants and Superposition Calculus. |
J. Autom. Reason. |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Laura A. Evans, Jack W. London, Matvey B. Palchuk |
Assessing real-world medication data completeness. |
J. Biomed. Informatics |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Yannick Forster 0002, Dominik Kirst, Dominik Wehr |
Completeness theorems for first-order logic analysed in constructive type theory. |
J. Log. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Jennifer Chubb, Russell G. Miller, Reed Solomon |
Model completeness and relative decidability. |
Arch. Math. Log. |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Andrés Santamaría-Galvis, Russ Woodroofe |
Shellings from Relative Shellings, with an Application to NP-Completeness. |
Discret. Comput. Geom. |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Frank S. de Boer, Hans-Dieter A. Hiep |
Completeness and Complexity of Reasoning about Call-by-Value in Hoare Logic. |
ACM Trans. Program. Lang. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni |
Completeness of string analysis for dynamic languages. |
Inf. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Tingting Bao, Nan Zhou, Hong Peng 0001, Qian Yang, Jun Wang 0013 |
Computational completeness of sequential spiking neural P systems with inhibitory rules. |
Inf. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Ziheng Wei, Sebastian Link |
Embedded Functional Dependencies and Data-completeness Tailored Database Design. |
ACM Trans. Database Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Hua Zhao, Shujia Li, Peixin Zhang, Qingtian Zeng |
An Emergency Measure Completeness Evaluation Method Based on UGC Data. |
Mob. Inf. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Pilhyeon Lee, Hyeran Byun |
Learning Action Completeness from Points for Weakly-supervised Temporal Action Localization. |
ICCV |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Xun Wang |
Completeness Theorems for $\exists \Box $-Fragment of First-Order Modal Logic. |
LORI |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Damien Pous, Jurriaan Rot, Jana Wagemaker |
On Tools for Completeness of Kleene Algebra with Hypotheses. |
RAMiCS |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Asta Halkjær From |
Formalized Soundness and Completeness of Epistemic Logic. |
WoLLIC |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Ahmad Abbadi, Vaclav Prenosil |
Enhancing Requirements Completeness of Automated Driving System in Concept Phase. |
MESAS |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Rabail Tahir, Alf Inge Wang |
Completeness and Collaboration in the Early Design Phase of Learning Games: Do Ideation Cards Provide Scaffolding? |
HCI (24) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Joshua A. Grochow, Youming Qiao |
On the Complexity of Isomorphism Problems for Tensors, Groups, and Polynomials I: Tensor Isomorphism-Completeness. |
ITCS |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Mark Kuster |
Metrological Data Completeness for Digital Transformation. |
MetroInd4.0&IoT |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Oleksandr V. Kanivets, Irina M. Kanivets, Tetyana M. Gorda, Oleksii A. Burlaka |
Development of a machine vision program to determine the completeness of wrapping plants in the soil. |
CS&SE@SW |
2021 |
DBLP BibTeX RDF |
|