2165 search results - page 251 / 433 » cases 2005 |
144
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Partitioned BDD-based algorithms have been proposed in the literature to solve the memory explosion problem in BDD-based verification. Such algorithms can be at times ineffective ...
179
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Dynamic voltage scaling (DVS) is a well-known low power design technique that reduces the processor energy by slowing down the DVS processor and stretching the task execution time...
165
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. Diffuse optical tomography (DOT) is a noninvasive imaging technology that is sensitive to local concentration changes in oxyand deoxyhemoglobin. When applied to functiona...
185
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
The spherical harmonic (SPHARM) description is a powerful surface modeling technique that can model arbitrarily shaped but simply connected 3D objects and has been used in many app...
172
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
Robotic surgical systems such as Intuitive Surgical's da Vinci system provide a rich source of motion and video data from surgical procedures. In principle, this data can be u...