Results 231 to 240 of about 441,498 (266)

A Verification Scheme for Data Aggregation in Data Mining

2007 IEEE International Conference on Granular Computing (GRC 2007), 2007
Kilho Shin, Justin Zhan
openaire   +1 more source

TRACK-DATA VERIFICATION

2015
DARGY GLEN, OLSON LEE, SCHOUTEN MATT, HACKBARTH GREGORY G   +3 more
openaire   +2 more sources

Diagnostic verification of hydrometeorological and hydrologic ensembles

Atmospheric Science Letters, 2010
Yuejian Zhu, Zoltan Tóth
exaly  

Data Verification

2016
openaire   +1 more source

Data Verification

2008
openaire   +1 more source

Runtime Verification for LTL and TLTL

ACM Transactions on Software Engineering and Methodology, 2011
Martin Leucker, Andreas Bauer, Christian Schallhart   +2 more
exaly  

Data Verification

1986
openaire   +1 more source

Data plane program verification

2021
LEE JEONGKEUN, SCHLESINGER COLE NATHAN, FOSTER JOHN NATHAN, WANG HAN, SOULE ROBERT, HALLAHAN WILLIAM, SMOLKA STEFFEN JULIF, LIU MON JED   +7 more
openaire   +3 more sources

Model checking and modular verification

ACM Transactions on Programming Languages and Systems, 1994
Andrew W Appel, Orna Grumberg, David E Long   +2 more
exaly  

Forecast verification: current status and future directions

Meteorological Applications, 2008
exaly