3742 search results - page 359 / 749 » On the Use of Formal Techniques for Validation |
198
click to vote
WACV
2007
IEEE
16 years 1 months ago
2007
IEEE
We consider the problem of autonomous navigation in unstructured outdoor terrains using vision sensors. The goal is for a robot to come into a new environment, map it and move to ...
174
click to vote
ISER
2004
Springer
16 years 4 days ago
2004
Springer
As a flexible needle with a bevel tip is pushed through soft tissue, the asymmetry of the tip causes the needle to bend. We propose that, by using nonholonomic kinematics, contro...
183
click to vote
ER
2003
Springer
15 years 12 months ago
2003
Springer
Many Internet-based applications have adopted XML as the standard data exchange format. These XML data are typically stored in its native form, thus creating the need to present XM...
160
click to vote
CEC
2010
IEEE
15 years 7 months ago
2010
IEEE
In this paper we present an original framework to extract representative groups from a dataset, and we validate it over a novel case study. The framework specifies the application ...
180
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
As a means of transmitting not only data but also code encapsulated within functions, higher-order channels provide an advanced form of task parallelism in parallel computations. ...