Search results for "Data verification"

Found 19 publication records. Showing 19 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Michael Huber, Steve King	Towards an Integrated Model Checker for Railway Signalling Data.	FME	2002	DBLP DOI BibTeX RDF	Data verification, hidden formal methods, model checking
1	Guozhen Xu, Peng Jiao, Yabing Zha	Case-Based Reasoning for Data Verification with Data Structure in M&S.	CSISE	2011	DBLP DOI BibTeX RDF
1	Steve Kelling, Jun Yu, Jeff Gerbracht, Weng-Keen Wong	Emergent Filters: Automated Data Verification in a Large-Scale Citizen Science Project.	e-Science Workshops	2011	DBLP DOI BibTeX RDF
1	Patrik Lundblad, Hanna Löfving, Annika Elovsson, Jimmy Johansson	Exploratory Visualization for Weather Data Verification.	IV	2011	DBLP DOI BibTeX RDF
1	Dayong Huang, Xinqi Wang, Gabrielle Allen, Tevfik Kosar	Semantic Enabled Metadata Framework for Data Grids.	CISIS	2008	DBLP DOI BibTeX RDF
1	Micah Altman	A Fingerprint Method for Scientific Data Verification.	SCSS	2007	DBLP DOI BibTeX RDF
1	Chiang S. Jao, Cathy M. Helgason, Donna A. Zych	The role of clinical information systems in improving physician productivity: Challenges facing the adoption of an electronic charge capture system.	SMC	2007	DBLP DOI BibTeX RDF
1	Michael Collins, Charles Reynolds, Christine Le, Cihan Varol, Coskun Bayrak	Automated data verification in a format-free environment.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF	data mining, verification, document analysis, mining methods and algorithms
1	Jun Gao, Peter Z. Revesz	Voting prediction using new spatiotemporal interpolation methods.	DG.O	2006	DBLP DOI BibTeX RDF	voting prediction, interpolation, spatiotemporal
1	Alessandro Campi, Paola Spoletini	History Checking of XML Data Streams.	DEXA Workshops	2006	DBLP DOI BibTeX RDF
1	Harry M. Sneed	Testing a Datawarehouse - An Industrial Challenge.	TAIC PART	2006	DBLP DOI BibTeX RDF	Datawarehouse Testing, Data Transformation Rules, Post Conditions Assertions, Formal Verification, System Testing
1	Khandoker Asadul Islam, Yoshimichi Watanabe	Maintaining Data Consistency of XML Databases Using Verification Techniques.	ASIAN	2006	DBLP DOI BibTeX RDF	Verification, XML Database
1	César Stradiotto, Everton Pacheco, Andre Bortolon, Hugo Cesar Hoeschl	A Graphic Tool for Ontology Viewing Based on Graph Theory.	IFIP PPAI	2006	DBLP DOI BibTeX RDF
1	Michael Zoumboulakis, George Roussos, Alexandra Poulovassilis	Active rules for sensor databases.	DMSN	2004	DBLP DOI BibTeX RDF
1	Mark G. Karpovsky, Lev B. Levitin, Ari Trachtenberg	Data verification and reconciliation with generalized error-control cod.	IEEE Transactions on Information Theory	2003	DBLP DOI BibTeX RDF
1	Qi-De Qian, Sheldon X.-D. Tan	Advanced Physical Models for Mask Data Verification and Impacts on Physical Layout Synthesis.	ISQED	2003	DBLP DOI BibTeX RDF
1	Chun-Shien Lu, Hong-Yuan Mark Liao	Structural digital signature for image authentication: an incidental distortion resistant scheme.	IEEE Transactions on Multimedia	2003	DBLP DOI BibTeX RDF
1	David Grabel	Data Verification: A Prerequisite for Heuristic Diagnostics.	ITC	1989	DBLP DOI BibTeX RDF
1	Peter Solecky, R. L. Panko	Test data verification - not just the final step for test data before release for production testing.	DAC	1981	DBLP BibTeX RDF