557 search results - page 17 / 112 » The L4.verified Project - Next Steps |
VR
2008
IEEE
14 years 3 months ago
2008
IEEE
Most projector-based immersive displays have numerous problems relating to complexity, space, and cost. We present a technique for rendering perspectively correct images using a c...
ICIC
2005
Springer
14 years 2 months ago
2005
Springer
Dimension reduction is a crucial step for pattern recognition and information retrieval tasks to overcome the curse of dimensionality. In this paper a novel unsupervised linear dim...
ICCV
2001
IEEE
14 years 10 months ago
2001
IEEE
Consider two views of a multi-body scene consisting of planar bodies moving in pure translation one relative to the other. We show that the fundamental matrices, one per body, liv...
WCRE
2002
IEEE
14 years 1 months ago
2002
IEEE
Software miniaturization is a form of software refactoring focused on reducing an application to the bare bone. Porting an application on a hand-held device is very likely to requ...
AIPR
2004
IEEE
14 years 15 days ago
2004
IEEE
The Intelligent Systems Division of the National Institute of Standards and Technology has been engaged for several years in developing real-time systems for autonomous driving. A...