9067 search results - page 1475 / 1814 » Adaptive Model Checking |
177
click to vote
ROBOCUP
2004
Springer
16 years 19 days ago
2004
Springer
We have developed an automatic calibration method for a global camera system. Firstly, we show how to define automatically the color maps we use for tracking the robots’ markers...
190
click to vote
ICRA
2003
IEEE
16 years 17 days ago
2003
IEEE
Adversarial multi-robot problems, where teams of robots compete with one another, require the development of approaches that span all levels of control and integrate algorithms ra...
137
Voted
ICRA
2003
IEEE
16 years 17 days ago
2003
IEEE
— This paper proposes techniques to fabricate synthetic gecko foot-hairs for future wall-climbing robots, and models for understanding the synthetic hair design issues. Two nanom...
206
click to vote
ISCAS
2003
IEEE
16 years 17 days ago
2003
IEEE
—A unified approach to rate-distortion (R-D) optimized compression and view-dependent transmission of three-dimensional (3-D) normal meshes is investigated in this work. A norma...
202
click to vote
ISORC
2003
IEEE
16 years 17 days ago
2003
IEEE
SMIL is a markup language which enables us to describe multimedia contents. This paper proposes a design model of SMIL browser functionality for mobile terminals whose resources a...