Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | Zhaoyi Zhou, Chuning Zhu, Runlong Zhou, Qiwen Cui, Abhishek Gupta 0004, Simon Shaolei Du |
Free from Bellman Completeness: Trajectory Stitching via Model-based Return-conditioned Supervised Learning. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Dipeeka Luitel, Shabnam Hassani, Mehrdad Sabetzadeh |
Improving Requirements Completeness: Automated Assistance through Large Language Models. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Richard Statman, Gilles Dowek |
On Statman's Finite Completeness Theorem. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Wojciech Rozowski, Alexandra Silva 0001 |
A Completeness Theorem for Probabilistic Regular Expressions. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | José Luis Mancilla-Aguilar, Hernan Haimovich |
Time-delay systems that defy intuition: nonrobust forward completeness and related (non)properties. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Arno Broeders, Ruud Hermans, Sylvia Stuurman, Lex Bijlsma 0001, Harrie Passier |
Improving students' code correctness and test completeness by informal specifications. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Igor Sedlár |
Kleene Algebra with Dynamic Tests: Completeness and Complexity. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Gilles Dowek |
Axioms vs. rewrite rules: from completeness to cut elimination. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Mihir Vahanwala |
Skolem and Positivity Completeness of Ergodic Markov Chains. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | S. Rajagopal, P. Vanchinathan |
Higher Level Completeness for Permutation Polynomials. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Pierre Ohlmann, Michal Skrzypczak |
Positionality in Σ_0^2 and a completeness result. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Renaud Vilmart |
Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of Quantum Computing. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Yudong Li, Yirui Cong, Jiuxiang Dong |
Existence and Completeness of Bounded Disturbance Observers: A Set-Membership Viewpoint. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Hichem Belgacem, Xiaochen Li, Domenico Bianculli, Lionel C. Briand |
Learning-Based Relaxation of Completeness Requirements for Data Entry Forms. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Johanna Vielhaben, Stefan Blücher, Nils Strodthoff |
Multi-dimensional concept discovery (MCD): A unifying framework with completeness guarantees. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Georg Friedrich Schuppe, Dilian Gurov |
Soundness and Completeness of a Model-Checking Proof System for CTL. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Nils Lommen, Jürgen Giesl |
Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Guido Boccali, Andrea Laretto, Fosco Loregiàn, Stefano Luneia |
Completeness for categories of generalized automata. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Jigyasa Nigam, Sergey N. Pozdnyakov, Kevin K. Huguenin-Dumittan, Michele Ceriotti |
Completeness of Atomic Structure Representations. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Dipeeka Luitel, Shabnam Hassani, Mehrdad Sabetzadeh |
Using Language Models for Enhancing the Completeness of Natural-language Requirements. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Yuanrui Zhang, Xinxin Liu |
Image Reflection on LLEE Charts - Another Proof for the Completeness of an Axiomatization of 1-Free Regular Expressions Modulo Bisimilarity. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Huayu Guo, Dongheng Chen, Bruno Bentzen |
Verified completeness in Henkin-style for intuitionistic propositional logic. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Damien Pous, Jana Wagemaker |
Completeness Theorems for Kleene algebra with tests and top. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Shihong Chen, Gao Fan, Jun Li |
Improving completeness and accuracy of 3D point clouds by using deep learning for applications of digital twins to civil structures. |
Adv. Eng. Informatics |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Haitao Yuan 0002, Sai Wang, Zhifeng Bao, Shangguang Wang |
Automatic Road Extraction with Multi-Source Data Revisited: Completeness, Smoothness and Discrimination. (PDF / PS) |
Proc. VLDB Endow. |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Samuel Balco, Alexander Kurz 0001 |
Completeness of Nominal PROPs. |
Log. Methods Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Valentin B. Shehtman |
On Kripke completeness of modal predicate logics around quantified K5. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Haruka Kogure, Taishi Kurahashi |
Arithmetical completeness theorems for monotonic modal logics. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Jun Kawabe, Naoki Yamada |
The completeness and separability of function spaces in nonadditive measure theory. |
Fuzzy Sets Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Chun-Yu Lin, Churn-Jung Liau |
Many-valued coalgebraic modal logic: One-step completeness and finite model property. |
Fuzzy Sets Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Gerd Christian Krizek, Lukas Mairhofer |
Notions of Completeness in the EPR Discussion. |
Entropy |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Noam Mazor |
Key-Agreement with Perfect Completeness from Random Oracles. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
11 | Asta Halkjær From |
Synthetic Completeness. |
Arch. Formal Proofs |
2023 |
DBLP BibTeX RDF |
|
11 | Caleb Camrud |
Generalized effective completeness for continuous logic. |
J. Log. Anal. |
2023 |
DBLP BibTeX RDF |
|
11 | Peide Liu, Yueyuan Li, Peng Wang 0045 |
Social Trust-Driven Consensus Reaching Model for Multiattribute Group Decision Making: Exploring Social Trust Network Completeness. |
IEEE Trans. Fuzzy Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Andrii Mironchenko |
Lyapunov criteria for robust forward completeness of distributed parameter systems. |
Syst. Control. Lett. |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Sándor Jenei |
Involutive Uninorm Logic with Fixed Point enjoys finite strong standard completeness. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Juan P. Aguilera 0001 |
A topological completeness theorem for transfinite provability logic. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Michael Gene Dobbins, Linda Kleist, Tillmann Miltzow, Pawel Rzazewski |
Completeness for the Complexity Class $\forall \exists \mathbb {R}$ and Area-Universality. |
Discret. Comput. Geom. |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala |
Pspace-completeness of the temporal logic of sub-intervals and suffixes. |
Inf. Comput. |
2023 |
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. |
SIAM J. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Christos H. Papadimitriou |
Cook's NP-completeness Paper and the Dawn of the New Theory. |
Logic, Automata, and Computational Complexity |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Martin Ruskov |
Who and How: Using Sentence-Level NLP to Evaluate Idea Completeness. |
AIED (Posters/Late Breaking Results/...) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Tobias Kappé |
Completeness and the Finite Model Property for Kleene Algebra, Reconsidered. |
RAMiCS |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Dusko Pavlovic, Temra Pavlovic |
From Gödel's Incompleteness Theorem to the Completeness of Bot Beliefs - (Extended Abstract). |
WoLLIC |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Thomas Macaulay Ferguson, Vít Puncochár |
Structural Completeness and Superintuitionistic Inquisitive Logics. |
WoLLIC |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Anhao Xiang, Weiping Pei, Chuan Yue |
PolicyChecker: Analyzing the GDPR Completeness of Mobile Apps' Privacy Policies. |
CCS |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Leonardo Nagami Coregliano, Fernando Granha Jeronimo, Chris Jones |
Exact Completeness of LP Hierarchies for Linear Codes. |
ITCS |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Romain Bourneuf, Lukás Folwarczný, Pavel Hubácek, Alon Rosen, Nikolaj I. Schwartzbach |
PPP-Completeness and Extremal Combinatorics. |
ITCS |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Flávia Bernardini, Catherine Fortes Thedim Costa, Shaiana Pereira, Victor Antunes Vieira, Daniela Trevisan 0001, José Viterbo |
Verifying Open Data Portals Completeness in Compliance to a Grounding Framework. |
EGOV |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Claudia V. Roberts, Ehtsham Elahi, Ashok Chandrashekar |
CLIME: Completeness-Constrained LIME. |
WWW (Companion Volume) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Jean De Dieu Iradukunda, Divine Umutesi Rusa, Raphael Ndahimana, Briand Mvuyekure, Pascal Birindabagabo, Hinda Ruton, Tharcisse Mpunga, Michael Mugisha, Celestin Twizere, David Tumusiime |
Towards Improving Data Quality in Electronic Medical Records: An Investigation of Data Completeness in a Tertiary Hospital in Rwanda. |
ICIMTH |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Leila Shokrizadeharani, Zahra Batooli, Saeedeh Heydarian, Reihane Sharif, Shady Ghaderkhany, Daniel Hieber, Peter Kuhn |
Evaluation of Completeness, Comparability, Validity, and Timeliness in Cancer Registries: A Scoping Review. |
ICIMTH |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Titouan Carette, Louis Lemonnier, Vladimir Zamdzhiev |
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Boldizsár Poór, Quanlong Wang, Razin A. Shaikh, Lia Yeh, Richie Yeung, Bob Coecke |
Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Jelle Hellings, Marc Gyssens, Jan Van den Bussche, Dirk Van Gucht |
Expressive Completeness of Two-Variable First-Order Logic with Counting for First-Order Logic Queries on Rooted Unranked Trees. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Wojciech Rozowski, Tobias Kappé, Dexter Kozen, Todd Schmid, Alexandra Silva 0001 |
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity. |
ICALP |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Esther Anna Corsi, Tommaso Flaminio, Lluís Godo, Hykel Hosni |
A modal logic for uncertainty: a completeness theorem. |
ISIPTA |
2023 |
DBLP BibTeX RDF |
|
11 | Astrid Rohmann |
Improving the Completeness of Acceptance Criteria. |
REFSQ Workshops |
2023 |
DBLP BibTeX RDF |
|
11 | Dipeeka Luitel, Shabnam Hassani, Mehrdad Sabetzadeh |
Using Language Models for Enhancing the Completeness of Natural-Language Requirements. |
REFSQ |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Vijanti Ramautar, Sergio España, Sjaak Brinkkemper |
Task Completeness Assessments in the Evolution of Domain-Specific Modelling Languages. |
CAiSE |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Kristo Raun, Max Nielsen, Andrea Burattin, Ahmed Awad 0001 |
C-3PA: Streaming Conformance, Confidence and Completeness in Prefix-Alignments. |
CAiSE |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Anjali Sifar, Hariharan Purohit, Nisheeth Srivastava |
Measuring the completeness of race models for perceptual decision-making. |
CogSci |
2023 |
DBLP BibTeX RDF |
|
11 | Julianne Wilson, Jessecae K. Marsh |
Perceptions of Explanation Completeness Help Decrease Knowledge Overestimation. |
CogSci |
2023 |
DBLP BibTeX RDF |
|
11 | Tobias Reinhard, Justus Fasse, Bart Jacobs 0002 |
Completeness Thresholds for Memory Safety of Array Traversing Programs. |
SOAP@PLDI |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Asta Halkjær From, Jørgen Villadsen |
A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness. |
TABLEAUX |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Chen Zhang, Guorong Li, Yuankai Qi, Shuhui Wang, Laiyun Qing, Qingming Huang, Ming-Hsuan Yang 0001 |
Exploiting Completeness and Uncertainty of Pseudo Labels for Weakly Supervised Video Anomaly Detection. |
CVPR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Geetanjli Sharma, M. A. P. Chamikara, Mohan Baruwal Chhetri, Yi-Ping Phoebe Chen |
SoK: Systematizing Attack Studies in Federated Learning - From Sparseness to Completeness. |
AsiaCCS |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Mykola Dyvak, Roman Pasichnyk, Natalia Porplytsya, Volodymyr Fronchko, Vasyl Yakoviv, Veronika Bandzuchová |
A Method of Studying the Completeness of Interval Discrete Models Built on the Basis of Intelligent Computing. |
ACIT |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Fokke Heikamp, Lei Pan 0002, Robin Doss, Rolando Trujillo-Rasua, Sushmita Ruj |
ForTrac: a Secure NFT-based Forward Traceability System for Providing Data Accuracy and Completeness. |
BSCI |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Aurek Chattopadhyay, Ganesh Malla, Nan Niu, Tanmay Bhowmik, Juha Savolainen |
Completeness of Natural Language Requirements: A Comparative Study of User Stories and Feature Descriptions. |
IRI |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Kalle Kujanpää, Joni Pajarinen, Alexander Ilin |
Hybrid Search for Efficient Planning with Completeness Guarantees. |
NeurIPS |
2023 |
DBLP BibTeX RDF |
|
11 | Åsmund Aqissiaq Arild Kløvstad, Eduard Kamburjan, Einar Broch Johnsen |
Compositional Correctness and Completeness for Symbolic Partial Order Reduction. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Zhangzhi Luo, Yang Jiang, Qingwen Han, Lingqiu Zeng, Lingfeng Qi |
Message Prediction Method and Application Based on V2X Interactive Data Completeness. |
ITSC |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Marco Rondina, Antonio Vetrò, Juan Carlos De Martin |
Completeness of Datasets Documentation on ML/AI Repositories: An Empirical Investigation. |
EPIA (1) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Jorge Fandinno, Vladimir Lifschitz |
Omega-Completeness of the Logic of Here-and-There and Strong Equivalence of Logic Programs. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Roberto Bruni |
Local Completeness for Program Correctness and Incorrectness (Invited Talk). |
CALCO |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Guido Boccali, Andrea Laretto, Fosco Loregiàn, Stefano Luneia |
Completeness for Categories of Generalized Automata ((Co)algebraic pearls). |
CALCO |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Fateh Boulmaiz, Patrick Reignier, Stéphane Ploix |
On Completeness-Aware Reasoning in Case-Based Reasoning. |
IEA/AIE (1) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Renaud Vilmart |
Completeness of Sum-Over-Paths for Toffoli-Hadamard and the Dyadic Fragments of Quantum Computation. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Ran Cohen, Juan A. Garay, Vassilis Zikas |
Completeness Theorems for Adaptively Secure Broadcast. |
CRYPTO (1) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Nils Lommen, Jürgen Giesl |
Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs. |
FroCoS |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Pedro Strecht, João Mendes-Moreira 0001, Carlos Soares |
Symbolic Data Analysis to Improve Completeness of Model Combination Methods. |
AI (2) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Vyacheslav Zavalin, Oksana L. Zavalina |
Exploration of Accuracy, Completeness and Consistency in Metadata for Physical Objects in Museum Collections. |
iConference (2) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Lynn Rother, Fabio Mariani, Max Koss |
Linking (In)Completeness: A Collaborative Approach to Representing People in Art Provenance Data. |
DH |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Marco Campion, Mila Dalla Preda, Roberto Giacobazzi |
Partial (In)Completeness in abstract interpretation: limiting the imprecision in program analysis. |
Proc. ACM Program. Lang. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Eugene Eberbach |
On Completeness of Cost Metrics and Meta-Search Algorithms in $-Calculus. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
11 | André Arnold, Patrick Cégielski, Irène Guessarian |
Affine Completeness of Some Free Binary Algebras. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Zhijie Wu, Chunjin Song, Guanxiong Chen, Sheng Guo, Weilin Huang |
Completeness and Coherence Learning for Fast Arbitrary Style Transfer. |
Trans. Mach. Learn. Res. |
2022 |
DBLP BibTeX RDF |
|
11 | Souheir Mehanna, Zoubida Kedad, Mohamed Chachoua |
Completeness Assessment and Improvement in Mobile Crowd-Sensing Environments. |
SN Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Barbara Slibar, Enrique Mu |
OGD metadata country portal publishing guidelines compliance: A multi-case study search for completeness and consistency. |
Gov. Inf. Q. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Gianluigi Salvucci, Luca Salvati |
Official Statistics, Building Censuses, and OpenStreetMap Completeness in Italy. |
ISPRS Int. J. Geo Inf. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Christian Ikenmeyer, Abhiroop Sanyal |
A note on VNP-completeness and border complexity. |
Inf. Process. Lett. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Tommaso Moraschini |
On Equational Completeness Theorems. |
J. Symb. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Jinsheng Chen, Giuseppe Greco 0001, Alessandra Palmigiano, Apostolos Tzimoulis |
Syntactic Completeness of Proper Display Calculi. |
ACM Trans. Comput. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Yuanxia Li, Faiz Currim, Sudha Ram |
Data Completeness and Complex Semantics in Conceptual Modeling: The Need for a Disaggregation Construct. |
ACM J. Data Inf. Qual. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Leilei Lin, Lijie Wen, Li Lin 0011, Jisheng Pei, Hedong Yang |
LCDD: Detecting Business Process Drifts Based on Local Completeness. |
IEEE Trans. Serv. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Martin Rohrmeier |
On Creativity, Music's AI Completeness, and Four Challenges for Artificial Musical Creativity. |
Trans. Int. Soc. Music. Inf. Retr. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Juan Ribeiro Reis, Flávia Bernardini, José Viterbo |
A New Approach for Assessing Metadata Completeness in Open Data Portals. |
Int. J. Electron. Gov. Res. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Patrick Bogaert, Céline Lamarche, Pierre Defourny |
Hidden Markov Models for Annual Land Cover Mapping - Increasing Temporal Consistency and Completeness. |
IEEE Trans. Geosci. Remote. Sens. |
2022 |
DBLP DOI BibTeX RDF |
|