2951 search results - page 259 / 591 » Trustable Task Processing Systems |
180
click to vote
CADE
2004
Springer
16 years 6 months ago
2004
Springer
Abstract. We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof ...
183
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— We present a learning mechanism, Socially Guided Exploration, in which a robot learns new tasks through a combination of self-exploration and social interaction. The system’s...
202
click to vote
CLEF
2007
Springer
16 years 23 days ago
2007
Springer
This paper discusses our system’s results at the Spanish Question Answering task of CLEF 2007. Our system is centered in a full data-driven approach that combines information ret...
147
click to vote
IROS
2006
IEEE
16 years 18 days ago
2006
IEEE
— In order to guide the design of a new multi-robot system, we seek to evaluate two different designs of audio direction sensor. We have implemented a simple but useful audio pro...
184
click to vote
ISMIR
2004
Springer
15 years 12 months ago
2004
Springer
The systematic testing of the very many parameters and algorithmic variants involved in the design of high-level music descriptors at large, and similarity measure in particular, ...