Results 281 to 290 of about 546,186 (309)
Some of the next articles are maybe not open access.

Runtime Verification for LTL and TLTL

ACM Transactions on Software Engineering and Methodology, 2011
Andreas Bauer, Martin Leucker
exaly  

Data Verification

2008
openaire   +1 more source

Verification conditions for source-level imperative programs

Computer Science Review, 2011
Maria João Frade, Jorge Sousa Pinto
exaly  

Data Verification

2016
openaire   +1 more source

Video-based kinship verification using distance metric learning

Pattern Recognition, 2018
Haibin Yan, Junlin Hu
exaly  

Ground Data Verification

10th Annual International Symposium on Geoscience and Remote Sensing, 2005
P.N. Churchill, R.J. Miller
openaire   +1 more source

Data Verification and Validation

2022
openaire   +1 more source

Deriving verification objectives and scenarios for maritime systems using the systems-theoretic process analysis

Reliability Engineering and System Safety, 2018
BØRge Rokseth   +2 more
exaly  

Data Entry and Verification

Historical Methods: A Journal of Quantitative and Interdisciplinary History, 1995
William C. Block, Dianne L. Star
openaire   +1 more source

Diagnostic verification of hydrometeorological and hydrologic ensembles

Atmospheric Science Letters, 2010
James H Brown   +2 more
exaly  
artificial intelligence
blockchain
data accuracy
cloud computing
multiple-valued logic
linked list
previous   27  28  29  30  31  

Home - About - Disclaimer - Privacy