2652 search results - page 382 / 531 » Positioning using local maps |
ISSAC
2004
Springer
14 years 2 months ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
HUC
2003
Springer
14 years 2 months ago
2003
Springer
With increased use of mobile information technology and increased amounts of information comes the need to simplify information presentation. This research considers whether low-in...
ICCVW
1999
Springer
14 years 1 months ago
1999
Springer
While many algorithms for computing stereo correspondence have been proposed, there has been very little work on experimentally evaluating algorithm performance, especially using r...
WSCG
2004
13 years 10 months ago
2004
We present a real-time algorithm for rendering volumetric 3D Magic LensesTM having arbitrary convex shapes. During fragment processing the algorithm performs a second depth test u...
SCANGIS
2003
13 years 10 months ago
2003
GISs give users facilities to integrate and analyze data from different sources with different scale, accuracy, resolution and quality of the original data which are the key aspect...