4166 search results - page 33 / 834 » A modular module system |
IROS
2007
IEEE
14 years 1 months ago
2007
IEEE
— A simple and robust inter-module latch is possibly the most important component of a modular robotic system. This paper describes a latch based on electric fields and capaciti...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
— In swarm robotics research, instead of using large size robots, it is often desirable to have multiple small size robots for saving valuable work space and making the maintaina...
ICFP
2006
ACM
14 years 7 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
SLE
2009
Springer
14 years 2 months ago
2009
Springer
Modularisation can reduce the effort in designing and maintaining language specifications. Existing approaches to language modularisation are typically either focused on language ...
KI
2005
Springer
14 years 1 months ago
2005
Springer
In this paper we present a highly modular planning system architecture. It is based on a proper formal account of hybrid planning, which allows for the formal definition of (flex...