4698 search results - page 570 / 940 » Making Functionality More General |
177
click to vote
AIPS
2006
15 years 8 months ago
2006
In this paper, we propose a new approach, called lemma-reusing, for accelerating SAT based planning and scheduling. Generally, SAT based approaches generate a sequence of SAT prob...
166
click to vote
EUROIMSA
2006
15 years 8 months ago
2006
While searching the web, the user is often confronted by a great number of results, generally displayed in a list which is sorted according to the relevance of the results. Facing...
148
click to vote
IJCAI
2001
15 years 8 months ago
2001
Generalized Vickrey mechanisms have received wide attention in the literature because they are efficient and strategyproof, i.e. truthful bidding is optimal whatever the bids of o...
187
click to vote
GRAPHICSINTERFACE
2003
15 years 8 months ago
2003
Computer games are one of the most successful application domains in the history of interactive systems. This success has come despite the fact that games were ‘separated at bir...
159
click to vote
IJCAI
2003
15 years 8 months ago
2003
Speculative execution of information gathering plans can dramatically reduce the effect of source I/O latencies on overall performance. However, the utility of speculation is clos...