4192 search results - page 660 / 839 » Efficient testing of groups |
DAC
2005
ACM
16 years 1 months ago
2005
ACM
We present an efficient search strategy for satisfiability checking on circuits represented at the register-transfer-level (RTL). We use the RTL circuit structure by extending con...
112
Voted
DAC
2006
ACM
16 years 1 months ago
2006
ACM
The gain-based technology mapping paradigm has been successfully employed for finding minimum delay and minimum area mappings. However, existing gain-based technology mappers fail...
95
Voted
MICCAI
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we propose a new approach for false positive reduction in the field of mammographic mass detection. The goal is to distinguish between the true recognized masses and ...
ICML
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we introduce the first algorithms for efficiently learning a simulation policy for Monte-Carlo search. Our main idea is to optimise the balance of a simulation polic...
76
Voted
ICML
2009
IEEE
16 years 1 months ago
2009
IEEE
In many real-world applications, such as image retrieval, it would be natural to measure the distances from one instance to others using instance specific distance which captures ...