1088 search results - page 166 / 218 » A Bayesian Approach to Tackling Hard Computational Problems |
ACMICEC
2003
ACM
15 years 4 months ago
2003
ACM
The aggregation of conflicting preferences is a central problem in multiagent systems. The key difficulty is that the agents may report their preferences insincerely. Mechanism ...
107
click to vote
CP
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...
IEEEPACT
2006
IEEE
15 years 5 months ago
2006
IEEE
The address sequence on the processor-memory bus can reveal abundant information about the control flow of a program. This can lead to critical information leakage such as encryp...
SAC
2005
ACM
15 years 4 months ago
2005
ACM
Active learning is a generic approach to accelerate training of classifiers in order to achieve a higher accuracy with a small number of training examples. In the past, simple ac...
FM
2006
Springer
15 years 2 months ago
2006
Springer
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...