128 search results - page 25 / 26 » Type Reconstruction for General Refinement Types |
DAC
2009
ACM
14 years 6 months ago
2009
ACM
Elevated chip temperatures are true limiters to the scalability of computing systems. Excessive runtime thermal variations compromise the performance and reliability of integrated...
GECCO
2009
Springer
14 years 9 days ago
2009
Springer
This paper introduces a new component based model that makes it relatively simple to prove that certain types of landscapes are elementary. We use the model to reconstruct proofs ...
CVPR
2007
IEEE
14 years 3 days ago
2007
IEEE
Energy-minimizing active contour models (snakes) have been proposed for solving many computer vision problems such as object segmentation, surface reconstruction, and object track...
CVPR
2009
IEEE
13 years 12 months ago
2009
IEEE
We present a new shape-from-distortion framework for recovering specular (reflective/refractive) surfaces. While most existing approaches rely on accurate correspondences between 2...
VRST
2005
ACM
13 years 11 months ago
2005
ACM
Many mixed-reality systems require real-time composition of virtual objects with real video. Such composition requires some description of the virtual and real scene geometries an...