6020 search results - page 518 / 1204 » A New Approach to Model Counting |
198
click to vote
SIGMOD
2003
ACM
16 years 7 months ago
2003
ACM
In modern application domains such as multimedia, molecular biology and medical imaging, similarity search in database systems is becoming an increasingly important task. Especial...
220
click to vote
ICAC
2006
IEEE
16 years 1 months ago
2006
IEEE
Network resources will always be heterogeneous, and thus have different functionalities and programming models. This adversely affects interoperability. Seamless Mobility is one e...
220
click to vote
ASPDAC
2008
ACM
15 years 9 months ago
2008
ACM
In the nanometer manufacturing region, process variation causes significant uncertainty for circuit performance verification. Statistical static timing analysis (SSTA) is thus dev...
161
click to vote
MVA
2007
15 years 8 months ago
2007
For a social robot, the ability of learning tasks via human demonstration is very crucial. But most current approaches suffer from either the demanding of the huge amount of label...
178
click to vote
ACSC
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper discusses the design and implementation of a payment framework that is loosely based on the direct debit payment model. We define such payments as one in which customer...