400 search results - page 1 / 80 » Moving Proofs-As-Programs into Practice |
KBSE
1997
IEEE
13 years 8 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...
ICRA
2010
IEEE
13 years 3 months ago
2010
IEEE
— Game theoretical approaches have been recently used to develop patrolling strategies for mobile robots. The idea is that the patroller and the intruder play a game, whose outco...
BMVC
2010
13 years 2 months ago
2010
Many practical applications require an accurate knowledge of the extrinsic calibration (i.e., pose) of a moving camera. The existing SLAM and structure-from-motion solutions are n...
VTC
2008
IEEE
13 years 11 months ago
2008
IEEE
— In this paper, a new method for AOA estimation, based on the synthetic ESPRIT algorithm is described and tested with actual CDMA signals. Physical size constraints of handheld ...
VLDB
2007
ACM
14 years 4 months ago
2007
ACM
A range of mobile services rely on knowing the current positions of populations of so-called moving objects. In the ideal setting, the positions of all objects are known always an...