Sciweavers

4095 search results - page 631 / 819
» How to test a tree
Sort
View
IROS
2009
IEEE
151views Robotics» more  IROS 2009»
14 years 2 months ago
Analysis of the terrestrial locomotion of a salamander robot
Abstract— Salamanders propel themselves by proper coordination of limb movements and body undulations. This type of locomotion is interesting for robotics to design robots capabl...
Konstantinos Karakasiliotis, Auke Jan Ijspeert
WSOM
2009
Springer
14 years 2 months ago
Self-Organization of Tactile Receptive Fields: Exploring Their Textural Origin and Their Representational Properties
In our earlier work, we found that feature space induced by tactile receptive fields (TRFs) are better than that by visual receptive fields (VRFs) in texture boundary detection t...
Choonseog Park, Heeyoul Choi, Yoonsuck Choe
MHCI
2009
Springer
14 years 2 months ago
Studying multi-user settings for pervasive games
Whenever a pervasive game has to be developed for a group of children an appropriate multi-user setting has to be found. If the pervasive game does not support the children with a...
Karin Leichtenstern, Elisabeth André
MICAI
2009
Springer
14 years 2 months ago
A Two-Stage Relational Reinforcement Learning with Continuous Actions for Real Service Robots
Reinforcement Learning is a commonly used technique in robotics, however, traditional algorithms are unable to handle large amounts of data coming from the robot’s sensors, requi...
Julio H. Zaragoza, Eduardo F. Morales
SBMF
2009
Springer
105views Formal Methods» more  SBMF 2009»
14 years 2 months ago
Verifying Compiled File System Code
Abstract. This paper presents a case study on retrospective verication of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
Jan Tobias Mühlberg, Gerald Lüttgen