5042 search results - page 41 / 1009 » Visions for application development on hybrid computing syst... |
138
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
We describe a new omnidirectional stereo imaging system that uses a concave lens and a convex mirror to produce a stereo pair of images on the sensor of a conventional camera. The...
136
click to vote
HYBRID
2000
Springer
15 years 8 months ago
2000
Springer
A general verification algorithm is described. It is then shown how ellipsoidal methods developed by A. B. Kurzhanski and P. Varaiya can be adapted to the algorithm. New numerical ...
133
click to vote
ICCV
1999
IEEE
16 years 6 months ago
1999
IEEE
A family of axially symmetric mirror shapes are proposed for panoramic imaging. These shapes keep the resolution in the image invariant to changes in elevation in the scene. In ot...
158
click to vote
DANCE
2002
IEEE
15 years 9 months ago
2002
IEEE
Although active networks have generated much debate in the research community, on the whole there has been little hard evidence to inform this debate. This paper aims to redress t...
144
click to vote
ITP
2010
15 years 2 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...