14 search results - page 1 / 3 » Speed-Up Techniques for Negation in Grounding |
LPAR
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Grounding is the task of reducing a first order formula to ground formula that is equivalent on a given universe, and is important in many kinds of problem solving and re...
DATE
2003
IEEE
13 years 10 months ago
2003
IEEE
In this paper, we present a novel multigrid-based technique for power/ground mesh area optimization subject to reliability constraints. The multigrid-based technique is applied to...
HPCA
2009
IEEE
14 years 5 months ago
2009
IEEE
Several recent processor designs have proposed to enhance performance by increasing the clock frequency to the point where timing faults occur, and by adding error-correcting supp...
ECCV
2010
Springer
13 years 10 months ago
2010
Springer
We introduce a real-time stereo matching technique based on a reformulation of Yoon and Kweon’s adaptive support weights algorithm [1]. Our implementation uses the bilateral grid...
MICCAI
2008
Springer
14 years 6 months ago
2008
Springer
We propose to measure quantitatively the opacity property of each pixel in a ground-glass opacity tumor from CT images. Our method results in an opacity map in which each pixel tak...