2020 search results - page 127 / 404 » Speeding up Slicing |
167
click to vote
ICDE
2007
IEEE
16 years 2 months ago
2007
IEEE
Queries containing outer joins are common in data warehousing applications. Materialized outer-join views could greatly speed up many such queries but most database systems do not...
ICPR
2006
IEEE
16 years 1 months ago
2006
IEEE
In this work we propose a probabilistic model for generic object classification from raw range images. Our approach supports a validation process in which classes are verified usi...
77
Voted
DAC
2007
ACM
16 years 1 months ago
2007
ACM
Satisfiability (SAT) solvers often benefit from a preprocessing of the formula to be decided. For formulae in conjunctive normal form (CNF), subsumed clauses may be removed or par...
107
Voted
DAC
2006
ACM
16 years 1 months ago
2006
ACM
In this paper, we present a method that helps improve the performance of Bounded Model Checking by automatically strengthening invariants so that the termination proof may be obta...
118
Voted
ICML
2007
IEEE
16 years 1 months ago
2007
IEEE
A typical goal for transfer learning algorithms is to utilize knowledge gained in a source task to learn a target task faster. Recently introduced transfer methods in reinforcemen...