Sciweavers

4184 search results - page 238 / 837
» Names of Our Lives
Sort
View
LISP
2002
107views more  LISP 2002»
15 years 6 months ago
Dependent Types for Program Termination Verification
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...
Hongwei Xi
PAMI
1998
112views more  PAMI 1998»
15 years 6 months ago
Efficient Region Tracking With Parametric Models of Geometry and Illumination
—As an object moves through the field of view of a camera, the images of the object may change dramatically. This is not simply due to the translation of the object across the im...
Gregory D. Hager, Peter N. Belhumeur
PUC
2002
143views more  PUC 2002»
15 years 6 months ago
TRIP: A Low-Cost Vision-Based Location System for Ubiquitous Computing
: Sentient Computing provides computers with perception so that they can react and provide assistance to user activities. Physical spaces are made sentient when they are wired with...
Diego López de Ipiña, Paulo R. S. Me...
TIS
1998
106views more  TIS 1998»
15 years 6 months ago
The Meaning of the Web
Speculation about the meaning of the "Net" (the Internet and potentially associated networks), and its most rapidly developing dimension, the "Web" (the World ...
Jim Falk
TVCG
1998
143views more  TVCG 1998»
15 years 6 months ago
Calibration-Free Augmented Reality
We describe the design and implementation of a videobasedaugmentedreality system capableof overlayingthreedimensional graphical objects on live video of dynamic environments. The ...
Kiriakos N. Kutulakos, James R. Vallino