6059 search results - page 222 / 1212 » A Technique for Verifying Measurements |
172
click to vote
PICS
2000
15 years 8 months ago
2000
Eastman Kodak Company is using a scanner-based image quality measurement system to perform production line testing of the image quality of a high-quality thermal media based imagi...
169
click to vote
SAS
2009
Springer
16 years 7 months ago
2009
Springer
ion Refinement for Quantified Array Assertions Mohamed Nassim Seghir1, , Andreas Podelski1 , and Thomas Wies1,2 1 University of Freiburg, Germany 2 EPFL, Switzerland Abstract. We p...
166
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Verifying Web Services (WS) in a dynamic Service Oriented Architecture (SOA) is challenging because new services can be composed at runtime using existing WS. Furthermore, in a co...
155
click to vote
EDM
2008
15 years 8 months ago
2008
In this paper we compare different data mining methods and techniques for classifying students based on their Moodle usage data and the final marks obtained in their respective cou...
211
click to vote
NFM
2011
15 years 1 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...