573 search results - page 57 / 115 » Planning as Satisfiability with Preferences |
PVLDB
2010
13 years 6 months ago
2010
Mashups are situational applications that join multiple sources to better meet the information needs of Web users. Web sources can be huge databases behind query interfaces, which...
ICRA
2000
IEEE
14 years 5 days ago
2000
IEEE
Structured light is one of the well-known methods in part dimensional inspection that have been successfully employed in various applications in the past decades. In this method, ...
IJCAI
2003
13 years 9 months ago
2003
Efficient implementations of DPLL with the addition of clause learning are the fastest complete satisfiability solvers and can handle many significant real-world problems, such as...
EDBT
2004
ACM
14 years 8 months ago
2004
ACM
Abstract. Non-contiguous subsequence pattern queries search for symbol instances in a long sequence that satisfy some soft temporal constraints. In this paper, we propose a methodo...
IROS
2007
IEEE
14 years 2 months ago
2007
IEEE
— This paper addresses the problem of planning for goal directed navigation in the environment that contains a number of possible adversary locations. It first shows that common...