1681 search results - page 161 / 337 » A Framework for Analysis of Data Freshness |
160
click to vote
ASPDAC
2009
ACM
16 years 1 months ago
2009
ACM
Abstract— Double patterning lithography (DPL) is in current production for memory products, and is widely viewed as inevitable for logic products at the 32nm node. DPL decomposes...
171
click to vote
SEFM
2005
IEEE
16 years 2 days ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
170
click to vote
SIGMOD
1998
ACM
15 years 10 months ago
1998
ACM
As databases get widely deployed, it becomes increasingly important to reduce the overhead of database administration. An important aspect of data administration that critically i...
226
click to vote
JEI
2007
15 years 6 months ago
2007
We propose novel techniques for microarray image analysis. In particular, we describe an overall pipeline able to solve the most common problems of microarray image analysis. We pr...
179
click to vote
MICCAI
2010
Springer
15 years 4 months ago
2010
Springer
To regularize cardiac motion recovery from medical images, electromechanical models are increasingly popular for providing a priori physiological motion information. Although these...