1888 search results - page 272 / 378 » Proof theory and computational analysis |
COMPGEOM
2004
ACM
15 years 7 months ago
2004
ACM
Robustness problems due to the substitution of the exact computation on real numbers by the rounded floating point arithmetic are often an obstacle to obtain practical implementa...
112
click to vote
COMPGEOM
2004
ACM
15 years 7 months ago
2004
ACM
We revisit the problem of computing shortest obstacle-avoiding paths among obstacles in three dimensions. We prove new hardness results, showing, e.g., that computing Euclidean sh...
116
click to vote
HPCC
2009
Springer
15 years 6 months ago
2009
Springer
This paper studies a load scheduling strategy with nearoptimal processing time leveraging the computational characteristics of parallel DNA sequence alignment algorithms, specific...
ICCV
2009
IEEE
14 years 11 months ago
2009
IEEE
We show that multi-path analysis using images from a timeof-flight (ToF) camera provides a tantalizing opportunity to infer about 3D geometry of not only visible but hidden parts ...
132
click to vote
EXPCS
2007
15 years 3 months ago
2007
Pipeline Spectroscopy is a new technique that allows us to measure the cost of each cache miss. The cost of a miss is displayed (graphed) as a histogram, which represents a precis...