479 search results - page 29 / 96 » Simple Modules for GRACE |
102
click to vote
CAV
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Contract-based property checkers hold the potential for precise, scalable, and incremental reasoning. However, it is difficult to apply such checkers to large program mod...
ICRA
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— This paper describes the electronics and communication system of Odin, a novel heterogeneous modular robot made of links and joints. The electronics is divided into two...
INFOCOM
2009
IEEE
15 years 8 months ago
2009
IEEE
— Recently, the direct sequence spread-spectrum (DSSS)-based technique has been proposed to trace anonymous network flows. In this technique, homogeneous pseudo-noise (PN) codes...
130
Voted
MICAI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Conventional artificial neural network models lack many physiological properties of the neuron. Current learning algorithms are more concerned to computational performanc...
116
click to vote
ECAIW
2000
Springer
15 years 6 months ago
2000
Springer
This paper discusses the hierarchical control architecture used to generate the behavior of individual agents and a team of robots for the RoboCup Small Size competition. Our react...