548 search results - page 81 / 110 » On the Limitations of Power Macromodeling Techniques |
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
— In the real world, noisy sensors and limited communication make it difficult for robot teams to coordinate in tightly coupled tasks. Team members cannot simply apply single-ro...
ISER
2004
Springer
14 years 1 months ago
2004
Springer
Legged robots display a characteristically periodic motion. Measuring and tracking this motion has traditionally been performed using general inertial measurement techniques. While...
PET
2004
Springer
14 years 1 months ago
2004
Springer
Internet computing technologies, like grid computing, enable a weak computational device connected to such a grid to be less limited by its inadequate local computational, storage,...
POLICY
2004
Springer
14 years 1 months ago
2004
Springer
As a consequence of the current trend towards consolidating computing, storage and networking infrastructures into large centralized data centers, applications compete for shared ...
SPIN
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...