3446 search results - page 163 / 690 » A Reasoning Algorithm for pD* |
134
click to vote
DLOG
2007
15 years 6 months ago
2007
We show that global caching can be used with propagation of both satisfiability and unsatisfiability in a sound manner to give an EXPTIME algorithm for checking satisfiability w...
156
click to vote
APPROX
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Exchanging messages between nodes of a network (e.g., embedded computers) is a fundamental issue in real-time systems involving critical routing and scheduling decisions....
144
click to vote
CAGD
2010
15 years 1 months ago
2010
We present an exact algorithm for computing the precise Hausdorff distance between two general polyhedra represented as triangular meshes. The locus of candidate points, events wh...
187
click to vote
AI
2011
Springer
14 years 7 months ago
2011
Springer
Probabilistic inference in graphical models is a prevalent task in statistics and artificial intelligence. The ability to perform this inference task efficiently is critical in l...
135
click to vote
SIGMOD
2011
ACM
14 years 6 months ago
2011
ACM
We study the problem of context-sensitive ranking for document retrieval, where a context is defined as a sub-collection of documents, and is specified by queries provided by do...