2607 search results - page 348 / 522 » On the Architecture of System Verification Environments |
200
click to vote
IBERAMIA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The orientation of conversational robots to face their interlocutors is essential for natural and efficient Human-Robot Interaction (HRI). In this paper, progress towards...
207
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
MATLAB provides a powerful environment for rapid prototyping of research methods and techniques. Across the wide range of on-line pen computing applications there exists a series ...
190
click to vote
ACSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
Emerging distributed computing architectures, such as grid and cloud computing, depend on the high integrity execution of each system in the computation. While integrity measuremen...
181
click to vote
MVA
2007
15 years 8 months ago
2007
Most vision-based UAV (Unmanned Aerial Vehicle) navigation algorithms extract manmade features such as buildings or roads, which are well structured in urban terrain, using the CC...
161
click to vote
DIGITEL
2007
IEEE
16 years 28 days ago
2007
IEEE
Teachers working in robotics classes face a major problem: how to keep track on individual students’ or even small groups’ progress in a class of 30-40 students. A multi-agent...