366 search results - page 66 / 74 » Circuit optimization using statistical static timing analysi... |
154
click to vote
SIGMOD
1993
ACM
15 years 5 months ago
1993
ACM
This paper introduces a new approach to database disk buffering, called the LRU–K method. The basic idea of LRU–K is to keep track of the times of the last K references to pop...
132
click to vote
ICWL
2007
Springer
15 years 8 months ago
2007
Springer
Web-based 3D facial animation is an alternative of face to face communication. Animating 3D human faces is also a difficult task because of the substantive non-rigid facial motions...
160
click to vote
PCM
2004
Springer
15 years 7 months ago
2004
Springer
End-to-end distortion estimation plays an important role in error-resilient video coding. The intuitive method is to simulate the decoding process many times at the encoder, as use...
122
click to vote
JAR
2006
15 years 1 months ago
2006
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
122
click to vote
PERCOM
2007
ACM
16 years 1 months ago
2007
ACM
Abstract. A major challenge in pervasive computing is to learn activity patterns, such as bathing and cleaning from sensor data. Typical sensor deployments generate sparse datasets...