738 search results - page 148 / 148 » Prime Implicant Computation Using Satisfiability Algorithms |
RSS
2007
13 years 6 months ago
2007
— Multi-robot systems require efficient and accurate planning in order to perform mission-critical tasks. However, algorithms that find the optimal solution are usually computa...
AI
2011
Springer
13 years 11 days ago
2011
Springer
This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming. The develop...
CIKM
2011
Springer
12 years 5 months ago
2011
Springer
In this paper, we reveal a common deficiency of the current retrieval models: the component of term frequency (TF) normalization by document length is not lower-bounded properly;...