16091 search results - page 467 / 3219 » Solving |
177
click to vote
IPL
2000
15 years 6 months ago
2000
We examine the computational problem of generating all maximal models of a Boolean expression in CNF. We give a resolution-like method that reduces the unnegated variables of an e...
178
click to vote
AAMAS
1998
Springer
15 years 6 months ago
1998
Springer
Since real-time search provides an attractive framework for resource-bounded problem solving, this paper extends the framework for autonomous agents and for a multiagent world. To ...
258
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
Motion blur due to camera shake is a annoying problem in low-light photography. In this paper, we propose a novel method to recover a sharp image from a pair of motion blurred and ...
167
click to vote
AI
1999
Springer
15 years 6 months ago
1999
Springer
There are many different approaches to solving planning problems, one of which is the use of domain specific control knowledge to help guide a domain independent search algorithm. ...
180
click to vote
AIEDAM
1999
15 years 6 months ago
1999
Intelligent agents must update their knowledge base as they acquire new information about their environment. The modal logic S5n has been designed for representing knowledge bases...