9405 search results - page 1615 / 1881 » Computing a Model of Set Theory |
150
click to vote
ICCAD
2003
IEEE
15 years 10 months ago
2003
IEEE
Process variations have become a critical issue in performance verification of high-performance designs. We present a new, statistical timing analysis method that accounts for int...
141
click to vote
RTSS
2003
IEEE
15 years 10 months ago
2003
IEEE
Dynamic voltage scaling (DVS) algorithms save energy by scaling down the processor frequency when the processor is not fully loaded. Many algorithms have been proposed for periodi...
136
click to vote
VISUALIZATION
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper we propose a new method for the creation of normal maps for recovering the detail on simplified meshes and a set of objective techniques to metrically evaluate the ...
152
click to vote
AGTIVE
2003
Springer
15 years 10 months ago
2003
Springer
Many polygon mesh algorithms operate in a local manner, yet are formally specified using global indexing schemes. This obscures the essence of these algorithms and makes their spe...
145
click to vote
3DPVT
2002
IEEE
15 years 10 months ago
2002
IEEE
A method for reconstruction of 3D polygonal models from multiple views is presented. The method uses sampling techniques to construct a texture-mapped semi-regular polygonal mesh ...