Sciweavers

7064 search results - page 322 / 1413
» From States to Histories
Sort
View
CIA
2007
Springer
16 years 1 months ago
Formal Analysis of Trust Dynamics in Human and Software Agent Experiments
Recognizing that trust states are mental states, this paper presents a formal analysis of the dynamics of trust in terms of the functional roles and representation relations for tr...
Tibor Bosse, Catholijn M. Jonker, Jan Treur, Dmytr...
IROS
2006
IEEE
108views Robotics» more  IROS 2006»
16 years 25 days ago
Improving the Consistency of Relative Map
Abstract— In this paper, the Independence Relative Map algorithm is presented. The algorithm aims to achieve the independence of relative map states. We show that using dependent...
Viet Nguyen, Agostino Martinelli, Roland Siegwart
AUSAI
2004
Springer
16 years 6 days ago
A Time and Energy Optimal Controller for Mobile Robots
We present a time and energy optimal controller for a two-wheeled differentially driven robot. We call a mission the task of bringing the robot from an initial state to a desired f...
Sebastien Ancenay, Frédéric Maire
ICMI
2004
Springer
118views Biometrics» more  ICMI 2004»
16 years 5 days ago
Elvis: situated speech and gesture understanding for a robotic chandelier
We describe a home lighting robot that uses directional spotlights to create complex lighting scenes. The robot senses its visual environment using a panoramic camera and attempts...
Joshua Juster, Deb Roy
ERSHOV
2003
Springer
16 years 1 days ago
Integration of Functional and Timed Testing of Real-Time and Concurrent Systems
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
Victor V. Kuliamin, Alexandre Petrenko, Nick V. Pa...