6059 search results - page 279 / 1212 » A Technique for Verifying Measurements |
207
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...
169
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...
149
click to vote
VR
2009
IEEE
16 years 1 months ago
2009
IEEE
iPhone and iPod Touch are multi-touch handheld devices that provide new possibilities for interaction techniques. We describe iPhone/iPod Touch implementation of a navigation inte...
182
click to vote
IVCNZ
1998
15 years 8 months ago
1998
: Interval arithmetic is a method for performing computations on measurements that are only known to within a xed error range. As the measurements are combined mathematically, thei...
156
click to vote
BIB
2007
15 years 6 months ago
2007
Bayesian methods are valuable, inter alia, whenever there is a need to extract information from data that is uncertain or subject to any kind of error or noise (including measurem...