2509 search results - page 107 / 502 » Abstract Geometrical Computation and Computable Analysis |
113
click to vote
COMPGEOM
2009
ACM
15 years 5 months ago
2009
ACM
We present a new (1 + ε)-spanner for sets of n points in Rd . Our spanner has size O(n/εd−1 ) and maximum degree O(logd n). The main advantage of our spanner is that it can be...
132
click to vote
PAMI
2008
15 years 21 days ago
2008
Conventional photometric stereo recovers one normal direction per pixel of the input image. This fundamentally limits the scale of recovered geometry to the resolution of the input...
87
Voted
GIS
2010
ACM
14 years 10 months ago
2010
ACM
Map matching is a fundamental operation in many applications such as traffic analysis and location-aware services, the killer apps for ubiquitous computing. In the past, several m...
103
Voted
CAV
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
96
Voted
ECCV
2006
Springer
16 years 2 months ago
2006
Springer
Abstract. Conventional photometric stereo has a fundamental limitation that the scale of recovered geometry is limited to the resolution of the input images. However, surfaces that...