13090 search results - page 2233 / 2618 » Usable artificial intelligence |
207
click to vote
CEC
2009
IEEE
15 years 10 months ago
2009
IEEE
— Humans are inclined to engage in long-lasting relationships whose stability does not only rely on cooperation, but often also on loyalty — our tendency to keep interacting wi...
192
click to vote
CP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...
193
click to vote
AIPS
2010
15 years 9 months ago
2010
Compared to optimal planners, satisficing planners can solve much harder problems but may produce overly costly and long plans. Plan quality for satisficing planners has become in...
190
click to vote
AIPS
2010
15 years 9 months ago
2010
We present Shopper, a plan execution engine that facilitates experimental evaluation of plans and makes it easier for planning researchers to incorporate replanning. Shopper inter...
172
click to vote
AIPS
2010
15 years 9 months ago
2010
Heuristic functions make MDP solvers practical by reducing their time and memory requirements. Some of the most effective heuristics (e.g., the FF heuristic function) first determ...