1096 search results - page 187 / 220 » Abstract Canonical Inference |
105
click to vote
ECAI
2010
Springer
15 years 3 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...
125
click to vote
DAGM
2009
Springer
15 years 3 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...
111
click to vote
DIMVA
2009
15 years 3 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...
118
click to vote
ASWEC
2010
IEEE
15 years 2 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...
132
click to vote
AROBOTS
2008
15 years 2 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...