3446 search results - page 539 / 690 » A Reasoning Algorithm for pD* |
128
click to vote
SEMWEB
2004
Springer
15 years 9 months ago
2004
Springer
Both OWL-DL and function-free Horn rules3 are decidable logics with interesting, yet orthogonal expressive power: from the rules perspective, OWL-DL is restricted to tree-like rule...
119
click to vote
SOFSEM
2004
Springer
15 years 9 months ago
2004
Springer
Our aim is to investigate the factors which determine the intrinsic hardness of constructing a solution to any particular constraint satisfaction problem instance, regardless of th...
156
click to vote
PDP
2010
IEEE
15 years 9 months ago
2010
IEEE
- We present a parallel conjugate gradient solver for the Poisson problem optimized for multi-GPU platforms. Our approach includes a novel heuristic Poisson preconditioner well sui...
133
click to vote
ICCV
2003
IEEE
15 years 9 months ago
2003
IEEE
Active object tracking, for example, in surveillance tasks, becomes more and more important these days. Besides the tracking algorithms themselves methodologies have to be develop...
140
click to vote
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
— Recent investigations into the pricing of multiclass loss networks have shown that static prices are optimal in the asymptotic regime of many small sources. These results sugge...