2838 search results - page 330 / 568 » Verifying Controlled Components |
115
Voted
DAC
2002
ACM
16 years 1 months ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
WWW
2009
ACM
16 years 1 months ago
2009
ACM
We present a new CAPTCHA which is based on identifying an image's upright orientation. This task requires analysis of the often complex contents of an image, a task which hum...
100
click to vote
CHES
2009
Springer
16 years 1 months ago
2009
Springer
Tamper-proof devices are pretty powerful. They can be used to have better security in applications. In this work we observe that they can also be maliciously used in order to defea...
100
click to vote
KDD
2006
ACM
16 years 1 months ago
2006
ACM
Existing research on mining quantitative databases mainly focuses on mining associations. However, mining associations is too expensive to be practical in many cases. In this pape...
116
click to vote
KDD
2002
ACM
16 years 1 months ago
2002
ACM
This paper presents an approach to automatically optimizing the retrieval quality of search engines using clickthrough data. Intuitively, a good information retrieval system shoul...