1140 search results - page 71 / 228 » Progress on Certifying Algorithms |
116
Voted
CMSB
2011
Springer
14 years 13 days ago
2011
Springer
Reversible structures are computational units that may progress forward and backward. We study weak coherent structures that are primarily inspired by dna circuits and may be comp...
84
Voted
ASPDAC
2001
ACM
15 years 4 months ago
2001
ACM
Loical defect diagnosis is a critical yet challenging process in VLSI manufacturing. It involves the identification of the defect spots in a logic IC that fails testing. In the la...
108
Voted
VIS
2004
IEEE
16 years 1 months ago
2004
IEEE
We present a novel approach for interactive view-dependent rendering of massive models. Our algorithm combines view-dependent simplification, occlusion culling, and out-of-core re...
144
Voted
PG
2003
IEEE
15 years 5 months ago
2003
IEEE
We introduce an algorithm that consistently and accurately processes arbitrary intersections in tetrahedral meshes in real-time. The intersection surfaces are modeled up to the cu...
181
Voted
Publication
Analysis of face images has been the topic of in-depth research with wide spread applications. Face recognition, verification, age progression studies are some of the topics under...