340 search results - page 56 / 68 » A World Model for Smart Spaces |
ICS
2010
Tsinghua U.
14 years 4 months ago
2010
Tsinghua U.
Computation in the physical world is restricted by the following spatial locality constraint: In a single unit of time, information can only travel a bounded distance in space. A ...
ISRR
2001
Springer
13 years 12 months ago
2001
Springer
A new field of robotics is emerging. Robots are today moving towards applications beyond the structured environment of a manufacturing plant. They are making their way into the e...
VRML
1998
ACM
13 years 11 months ago
1998
ACM
Peloton is a sports simulator that uses the Virtual Reality Modeling Language (VRML) to create virtual environments for athletic training and competition. In particular, it create...
ICPR
2000
IEEE
14 years 8 months ago
2000
IEEE
This paper describes an efficient method to obtain 3D information from omni images using EPI analysis. Two types of omni cameras are employed to make a spatio-temporal volume, whi...
CSL
2009
Springer
14 years 2 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...