176 search results - page 18 / 36 » Constraint solvers: An empirical evaluation of design decisi... |
SIGECOM
2004
ACM
15 years 5 months ago
2004
ACM
A crucial element in consumer electronic commerce is a catalog tool that not only finds the product for the user, but also convinces him that he has made the best choice. To do th...
ICS
1999
Tsinghua U.
15 years 4 months ago
1999
Tsinghua U.
Supercomputer performance is highly dependent on its interconnection subsystem design. In this paper we study how di erent architectural approaches for router design impact into s...
110
click to vote
SAT
2009
Springer
15 years 6 months ago
2009
Springer
Probabilistic inference techniques can be used to estimate variable bias, or the proportion of solutions to a given SAT problem that fix a variable positively or negatively. Metho...
123
click to vote
MMB
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. During development, processor architectures can be tuned and configured by many different parameters. For benchmarking, automatic design space explorations (DSEs) with h...
95
Voted
AAAI
2008
15 years 2 months ago
2008
Modern Bayesian Network learning algorithms are timeefficient, scalable and produce high-quality models; these algorithms feature prominently in decision support model development...