489 search results - page 51 / 98 » Guiding Spin Simulation |
IROS
2007
IEEE
14 years 3 months ago
2007
IEEE
— Locomotion on an irregular surface is a challenging task in robotics. Among different problems to solve to obtain robust locomotion, visually guided locomotion and accurate foo...
VTC
2007
IEEE
14 years 3 months ago
2007
IEEE
— The search for free parking places is a promising application for vehicular ad hoc networks (VANETs). In order to guide drivers to a free parking place at their destination, it...
ATVA
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We consider the termination problem of programs manipulating treelike dynamic data structures. Our approach is based on a counter-example guided ion refinement loop. We ...
CSL
2007
Springer
14 years 3 months ago
2007
Springer
Calculi with explicit substitutions (ES) are widely used in different areas of computer science. Complex systems with ES were developed these last 15 years to capture the good comp...
ICALT
2006
IEEE
14 years 3 months ago
2006
IEEE
This article presents advantages of using context to set up a pedagogical assistance for recognition of collectives situations in Virtual Environment for Training (VET). We are fo...