1205 search results - page 177 / 241 » Program Extraction from Large Proof Developments |
ICCAD
2005
IEEE
15 years 10 months ago
2005
IEEE
Large-scale process fluctuations in nano-scale IC technologies suggest applying high-order (e.g., quadratic) response surface models to capture the circuit performance variations....
ICCAD
2004
IEEE
15 years 10 months ago
2004
IEEE
We address the classic wire-length estimation problem and propose a new statistical wire-length estimation approach that captures the probability distribution function of net leng...
104
click to vote
DSN
2008
IEEE
15 years 7 months ago
2008
IEEE
An important yet largely uncharted problem in malware defense is how to automate generation of infection signatures for detecting compromised systems, i.e., signatures that charac...
104
click to vote
ICMCS
2007
IEEE
15 years 7 months ago
2007
IEEE
Large displays and hand gestures can be combined to augment the traditional desktop paradigm, allowing for multiple co-located users to interact simultaneously with a single compu...
111
click to vote
IJCNN
2007
IEEE
15 years 7 months ago
2007
IEEE
— The correct segmentation and measurement of mammography images is of fundamental importance for the development of automatic or computer-aided cancer detection systems. In this...