Sciweavers

807 search results - page 139 / 162
» Vehicle Simulation System: Controls and Virtual-reality-base...
Sort
View
105
Voted
MEMOCODE
2006
IEEE
15 years 8 months ago
Specifying and proving properties of timed I/O automata in the TIOA toolkit
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan M...
113
Voted
ICRA
2003
IEEE
196views Robotics» more  ICRA 2003»
15 years 7 months ago
Generating whole body motions for a biped humanoid robot from captured human dances
— The goal of this study is a system for a robot to imitate human dances. This paper describes the process to generate whole body motions which can be performed by an actual bipe...
Shinichiro Nakaoka, Atsushi Nakazawa, Kazuhito Yok...
131
Voted
JCP
2007
153views more  JCP 2007»
15 years 1 months ago
An Integrated Educational Platform Implementing Real, Remote Lab-Experiments for Electrical Engineering Courses
—This paper describes an Internet-based laboratory, named Remote Monitored and Controlled Laboratory (RMCLab) developed at University of Patras, Greece, for electrical engineerin...
Dimitris Karadimas, Kostas Efstathiou
KI
2001
Springer
15 years 6 months ago
Extracting Situation Facts from Activation Value Histories in Behavior-Based Robots
The paper presents a new technique for extracting symbolic ground facts out of the sensor data stream in autonomous robots for use under hybrid control architectures, which compris...
Frank Schönherr, Mihaela Cistelecan, Joachim ...
GECCO
2008
Springer
138views Optimization» more  GECCO 2008»
15 years 3 months ago
Modular neuroevolution for multilegged locomotion
Legged robots are useful in tasks such as search and rescue because they can effectively navigate on rugged terrain. However, it is difficult to design controllers for them that ...
Vinod K. Valsalam, Risto Miikkulainen