Search results for "completeness"

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