1268 search results - page 56 / 254 » Direct Translation Model 2 |
FM
2003
Springer
14 years 1 months ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
CVPR
2006
IEEE
14 years 10 months ago
2006
IEEE
Geometric reconstruction problems in computer vision can be solved by minimizing the maximum of reprojection errors, i.e., the L-norm. Unlike L2-norm (sum of squared reprojection ...
UIST
1993
ACM
13 years 12 months ago
1993
ACM
This paper describes the VB2 architecture for the construction of three-dimensional interactive applications. The system's state and behavior are uniformly represented as a n...
SWAT
2004
Springer
14 years 1 months ago
2004
Springer
For a collection F of d-variate piecewise linear functions of overall combinatorial complexity n, the lower envelope E(F) of F is the pointwise minimum of these functions. The min...
AP2PS
2009
IEEE
13 years 11 months ago
2009
IEEE
—P2P computing platforms are subject to a wide range of attacks. In this paper, we propose a generalisation of the previous disk-less checkpointing approach for fault-tolerance i...