Results 271 to 280 of about 546,186 (309)
Some of the next articles are maybe not open access.
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
The K*BMD: A verification data structure
IEEE Design & Test of Computers, 1997Circuit designers can efficiently verify designs at the bit and word levels in one graph-based data structure. The authors present the representation technique, manipulation algorithms for K*BMDs, and experimental results other data structures.
Rolf Drechsler +2 more
openaire +1 more source
Formal Specification and Verification of Autonomous Robotic Systems
ACM Computing Surveys, 2020Matt Luckcuck, , Louise A Dennis
exaly
A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges
IEEE Communications Surveys and Tutorials, 2019Yahui Li, Xia Yin, Zhiliang Wang
exaly
Forecast verification: current status and future directions
Meteorological Applications, 2008D B Stephenson
exaly
A brief account of runtime verification
The Journal of Logic and Algebraic Programming, 2009Martin Leucker, Christian Schallhart
exaly