7991 search results - page 129 / 1599 » Using More Reasoning to Improve |
169
click to vote
AAAI
2008
15 years 8 months ago
2008
Building architectures for autonomous rational behavior requires the integration of several AI components, such as planning, learning and execution monitoring. In most cases, the ...
182
click to vote
DAGM
2010
Springer
15 years 6 months ago
2010
Springer
Content-based image retrieval requires a natural image (e.g, a photo) as query, but the absence of such a query image is usually the reason for a search. An easy way to express the...
186
click to vote
IJCAI
2003
15 years 7 months ago
2003
For probabilistic reasoning, one often needs to sample from a combinatorial space. For example, one may need to sample uniformly from the space of all satisfying assignments. Can ...
259
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
The predominant thread-based approach to concurrent programming is bug-prone, difficult to reason about, and does not scale well to large numbers of processors. Sieves provide a s...
139
click to vote
ICLP
2007
Springer
16 years 3 days ago
2007
Springer
We propose a novel technique that maps decision problems in WS1S (weak monadic second-order logic with n successors) to the problem of query evaluation of Complex-value Datalog que...