1140 search results - page 85 / 228 » Progress on Certifying Algorithms |
ASPDAC
2008
ACM
15 years 2 months ago
2008
ACM
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates the verification of digital circuits us...
103
click to vote
INTERACT
2003
15 years 2 months ago
2003
: In this paper we report on the progress of an international EU/IMS research project to develop an Immersive free-form Design Application using Virtual Reality and Haptic Immersio...
111
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
For compressive sensing, we endeavor to improve the recovery performance of the existing orthogonal matching pursuit (OMP) algorithm. To achieve a better estimate of the underlyin...
118
click to vote
IMR
1999
Springer
15 years 5 months ago
1999
Springer
Considerable progress has been made on automatic hexahedral mesh generation in recent years. Several automatic meshing algorithms have proven to be very reliable on certain classe...
104
Voted
ECCV
2006
Springer
16 years 2 months ago
2006
Springer
We address the problem of segmenting an image sequence into rigidly moving 3D objects. An elegant solution to this problem is the multibody factorization approach in which the mea...