12193 search results - page 359 / 2439 » It's not all about |
198
click to vote
FMSP
2000
ACM
15 years 11 months ago
2000
ACM
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
169
click to vote
UIST
1999
ACM
15 years 11 months ago
1999
ACM
The VideoMouse is a mouse that uses a camera as its input sensor. A real-time vision algorithm determines the six degree-of-freedom mouse posture, consisting of 2D motion, tilt in...
165
click to vote
RIDE
1999
IEEE
15 years 11 months ago
1999
IEEE
Advances in computer networking technology and open system standards are making the creation and management of virtual enterprises feasible. A virtual enterprise is a temporary co...
214
click to vote
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper proposes a hybrid approach to the problem of collision avoidance for indoor mobile robots. The DWA (short for: model-based dynamic window approach) integrates sensor dat...
128
click to vote
CVPR
1997
IEEE
15 years 11 months ago
1997
IEEE
A novel scene reconstruction technique is presented, different from previous approaches in its ability to cope with large changes in visibility and its modeling of intrinsic scene...