3742 search results - page 373 / 749 » On the Use of Formal Techniques for Validation |
173
click to vote
ACCV
2006
Springer
16 years 23 days ago
2006
Springer
Abstract. This paper describes a novel method for estimating extrinsic camera parameters using both feature points on an image sequence and sparse position data acquired by GPS. Ou...
178
click to vote
SC
2004
ACM
16 years 6 days ago
2004
ACM
This work describes a technique for improving network performance in Grid environments that we refer to as “logistics.” We demonstrate that by using storage and cooperative fo...
175
click to vote
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
J-DOS provides and integrated JAVA environment for the execution of a program across an interconnected network of heterogeneous computers. The system provides a file system, shar...
165
click to vote
COMPGEOM
1998
ACM
15 years 10 months ago
1998
ACM
We discuss floating-point filters as a means of restricting the precision needed for arithmetic operations while still computing the exact result. We show that interval techniques...
144
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this paper we propose a technique to automate the process of building translators between operations languages, a family of DSLs used to program satellite operations procedures...