1096 search results - page 187 / 220 » Abstract Canonical Inference |
74
Voted
ECAI
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We address the problem of continuous stochastic optimal control in the presence of hard obstacles. Due to the non-smooth character of the obstacles, the traditional appro...
91
Voted
DAGM
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. We present a system that allows for changing the major camera parameters after the acquisition of an image. Using the high dynamic range composition technique and additio...
77
Voted
DIMVA
2009
14 years 10 months ago
2009
Abstract. This paper introduces a new software polymorphism technique that randomizes program data structure layout. This technique will generate different data structure layouts f...
ASWEC
2010
IEEE
14 years 10 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
AROBOTS
2008
14 years 9 months ago
2008
Abstract-- We present a vision- and ladar-based approach to autonomous driving on rural and desert roads that has been tested extensively in a closed-loop system. The vision compon...