314 search results - page 23 / 63 » Generating Path Conditions for Timed Systems |
ICCV
2007
IEEE
14 years 9 months ago
2007
IEEE
Monocular SLAM has the potential to turn inexpensive cameras into powerful pose sensors for applications such as robotics and augmented reality. However, current implementations l...
ISIPTA
1999
IEEE
13 years 12 months ago
1999
IEEE
A solution is provided to the problem of computing a convex set of conditional probability distributions that characterize the state of a nonlinear dynamic system as it evolves in...
UM
2001
Springer
14 years 19 hour ago
2001
Springer
In an experimental environment, we simulated the situation of a user who gives speech input to a system while walking through an airport. The time pressure on the subjects and the ...
HICSS
2002
IEEE
14 years 16 days ago
2002
IEEE
The growing concern about wide area power system disturbances and their impact on power systems have reinforced interest in the new generation of system protection tools. Their ap...
VLSID
2004
IEEE
14 years 8 months ago
2004
IEEE
Recent advances on language based software toolkit generation enables performance driven exploration of embedded systems by exploiting the application behavior. There is a need fo...