Results 211 to 220 of about 441,498 (266)
Some of the next articles are maybe not open access.
Optimal Data Verification Tests
Operations Research, 1991The problem of data verification may be described as two sides that have concluded a contract stipulating that one side (the inspectee) is to report a set of data to the other (the inspector). The inspector has to decide on the basis of his own measurements whether to accept the data reported by the inspectee as correct or to assume they have been ...
Rudolf Avenhaus +2 more
openaire +2 more sources
The verification and synthesis of data structures
Acta Informatica, 1975The concept of machine extension is a commonly used technique for implementing complex software: sets of object classes and operations on these objects are defined and used, often in a layered fashion, to construct the system. This paper addresses the adaptation of this technique to automatic programming.
Jay M. Spitzen, Ben Wegbreit
openaire +1 more source
Differential Data Quality Verification on Partitioned Data
2019 IEEE 35th International Conference on Data Engineering (ICDE), 2019Modern companies and institutions rely on data to guide every single decision. Missing or incorrect information seriously compromises any decision process. In previous work, we presented Deequ, a Spark-based library for automating the verification of data quality at scale. Deequ provides a declarative API, which combines common quality constraints with
Sebastian Schelter +7 more
openaire +1 more source
The verification of data in historical demography
Population Studies, 1968Abstract In all scientific studies care must be taken to work on data which are correct and hence to make sure of the quality of the observations. In the field of historical demography there is need for extra care. The data were collected a long time ago in circumstances which were sometimes good, sometimes bad, but often little known.
openaire +2 more sources
Knowledge Verification From Data
IEEE Transactions on Neural Networks and Learning SystemsKnowledge verification is an important task in the quality management of knowledge graphs (KGs). Knowledge is a summary of facts and events based on human cognition and experience. Due to the nature of knowledge, most knowledge quality (KQ) management methods are designed by human experts or the characteristics of existing knowledge, which may be ...
Xiangyu Wang 0016 +5 more
openaire +2 more sources
Automatic Verification of Data Summaries
Proceedings of the 14th International Conference on Natural Language Generation, 2021Rayhane Rezgui +2 more
openaire +1 more source
Data augmentation for speaker verification
Proceedings of the 2022 6th International Conference on Electronic Information Technology and Computer Engineering, 2022Shiqing Yang, Min Liu
openaire +1 more source
2015
The problem is concerned with the following setting. A computationally limited client wants to compute some property of a massive input, but lacks the resources to store even a small fraction of the input, and hence cannot perform the desired computation locally.
openaire +1 more source
The problem is concerned with the following setting. A computationally limited client wants to compute some property of a massive input, but lacks the resources to store even a small fraction of the input, and hence cannot perform the desired computation locally.
openaire +1 more source
A Survey of Smart Contract Formal Specification and Verification
ACM Computing Surveys, 2022, Shang-Wei Lin, Palina Tolmach
exaly
Modular data structure verification.
2007This dissertation describes an approach for automatically verifying data structures, focusing on techniques for automatically proving formulas that arise in such verification. I have implemented this approach with my colleagues in a verification system called Jahob.
openaire +1 more source