2057 search results - page 217 / 412 » Quadratic placement using an improved timing model |
186
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Single-electron devices have drawn much attention in the last two decades. They have been widely used for device research and also show promise as a potential alternative to compl...
140
click to vote
CG
2007
Springer
15 years 6 months ago
2007
Springer
Algorithms that use point-cloud models make heavy use of the neighborhoods of the points. These neighborhoods are used to compute the surface normals for each point, mollificatio...
153
click to vote
HOTOS
1999
IEEE
15 years 11 months ago
1999
IEEE
Most modern I/O systems treat each file access independently. However, events in a computer system are driven by programs. Thus, accesses to files occur in consistent patterns and...
167
click to vote
CAV
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
190
click to vote
PAMI
2010
15 years 5 months ago
2010
—The goal of this work is to develop statistical models for the shape change of a configuration of “landmark” points (key points of interest) over time and to use these mode...