2774 search results - page 27 / 555 » Exploiting Deep Structure |
SIGKDD
2010
14 years 6 months ago
2010
The goal of this work was to test whether the performance of a regular pairwise classifier can be improved when additional information about the hierarchical class structure is ad...
DAC
2004
ACM
16 years 22 days ago
2004
ACM
Instances of the Boolean satisfiability problem (SAT) arise in many areas of circuit design and verification. These instances are typically constructed from some human-designed ar...
INFOCOM
1997
IEEE
15 years 4 months ago
1997
IEEE
We propose a new bandwidth allocation scheme for VBR video tra c in ATM networks. The scheme is tailored to MPEG-coded video sources that require stringent and deterministic quali...
111
click to vote
JAIR
2011
14 years 6 months ago
2011
Previous studies have demonstrated that encoding a Bayesian network into a SAT formula and then performing weighted model counting using a backtracking search algorithm can be an ...
HPCA
2006
IEEE
16 years 3 days ago
2006
IEEE
Simulation is an important means of evaluating new microarchitectures. Current trends toward chip multiprocessors (CMPs) try the ability of designers to develop efficient simulato...