2020 search results - page 149 / 404 » Speeding up Slicing |
155
click to vote
ISAS
2004
Springer
15 years 11 months ago
2004
Springer
Restart is an application-level mechanism to speed up the completion of tasks that are subject to failures or unpredictable delays. In this paper we investigate if restart can be b...
134
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
We describe a technique for speeding up inference for model-based abduction tasks that trades off inference time and/or space for the fraction of queries correctly answered. We co...
158
click to vote
PVM
2004
Springer
15 years 11 months ago
2004
Springer
On recent PC graphics cards, fully programmable parallel geometry and pixel units are available providing powerful instruction sets to perform arithmetic and logical operations. In...
144
click to vote
ROBOCUP
2004
Springer
15 years 11 months ago
2004
Springer
We have developed an automatic calibration method for a global camera system. Firstly, we show how to define automatically the color maps we use for tracking the robots’ markers...
169
Voted
SAT
2004
Springer
15 years 11 months ago
2004
Springer
Structural logical formulas sometimes yield a substantial fraction of so called equivalence clauses after translating to CNF. The best known example of this feature is probably pro...