1585 search results - page 229 / 317 » A framework for computer-aided validation |
140
Voted
SSDBM
2007
IEEE
15 years 10 months ago
2007
IEEE
There is a significant need for data integration capabilities in the scientific domain, which has manifested itself as products in the commercial world as well as academia. Howeve...
135
click to vote
VTC
2007
IEEE
15 years 10 months ago
2007
IEEE
—The Overbot is one of the original DARPA Grand Challenge vehicles now being used as a platform for autonomous vehicle research. The vehicle, equipped with a complete actuator an...
127
click to vote
VTS
2007
IEEE
15 years 10 months ago
2007
IEEE
Soft errors due to cosmic particles are a growing reliability threat for VLSI systems. In this paper we analyze the soft error vulnerability of FPGAs used in storage systems. Sinc...
130
click to vote
WACV
2007
IEEE
15 years 10 months ago
2007
IEEE
Visual categorization is fundamentally important for autonomous mobile robots to get intelligence such as novel object acquisition and topological place recognition. The main difï...
107
click to vote
ACCV
2007
Springer
15 years 10 months ago
2007
Springer
The complexity of dynamical laws governing 3D atmospheric flows associated to incomplete and noisy observations makes very difficult the recovery of atmospheric dynamics from sate...