7820 search results - page 1313 / 1564 » Formalization of Time and Space |
159
click to vote
ICCAD
1997
IEEE
15 years 11 months ago
1997
IEEE
We present a new matrix formulation of the face hypercube embedding problem that motivates the design of an efficient search strategy to find an encoding that satisfies all fac...
188
click to vote
PEPM
1998
ACM
15 years 11 months ago
1998
ACM
Abstract. We use a code generator--type-directed partial evaluation-to verify conversions between isomorphic types, or more precisely to verify that a composite function is the ide...
155
click to vote
WEBDB
1998
Springer
15 years 10 months ago
1998
Springer
In its infancy, the World-Wide Web consisted of a web of largely static hypertext documents. As time progresses it is evolving into a domain which supports almost arbitrary network...
207
click to vote
CVPR
1996
IEEE
15 years 10 months ago
1996
IEEE
We present a vision system for the 3-D modelbased tracking of unconstrained human movement. Using image sequences acquired simultaneously from multiple views, we recover the 3-D b...
182
click to vote
ISER
1997
Springer
15 years 10 months ago
1997
Springer
: We have constructed a tactile shape display which can be used to convey small-scale shapes in teleoperation and virtual environments. A line of 10 pins spaced 2 mm on center are ...