2774 search results - page 510 / 555 » Exploiting Deep Structure |
137
click to vote
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
SIMD (Single Instruction, Multiple Data) engines are an essential part of the processors in various computing markets, from servers to the embedded domain. Although SIMD-enabled a...
188
click to vote
WEA
2010
Springer
15 years 10 months ago
2010
Springer
Abstract We report on experiments with turning the branch-price-andcut framework SCIP into a generic branch-price-and-cut solver. That is, given a mixed integer program (MIP), our ...
123
Voted
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...
133
Voted
ICDM
2009
IEEE
15 years 10 months ago
2009
IEEE
—Many real world learning problems can be recast as multi-task learning problems which utilize correlations among different tasks to obtain better generalization performance than...
150
Voted
ICDM
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—We describe a novel application of using data mining and statistical learning methods to automatically monitor and detect abnormal execution traces from console logs in ...