920 search results - page 98 / 184 » Generating Satisfiable Problem Instances |
100
Voted
AAAI
2004
15 years 2 months ago
2004
In many real world planning scenarios, agents often do not have enough resources to achieve all of their goals. Consequently, they are forced to find plans that satisfy only a sub...
89
Voted
WWW
2003
ACM
16 years 1 months ago
2003
ACM
A modern approach for generating individualized web-sites is to compose a page out of individual elements, for instance XML-fragments, which is eventually transformed to . If the ...
87
Voted
MMM
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. With the explosive growth of multimedia data, video presentation has become an important technology for fast browsing of video content. In this paper, we present a novel ...
109
Voted
JAR
2011
14 years 7 months ago
2011
We consider optimization problems of the form (S, cost), where S is a clause set over Boolean variables x1 . . . xn, with an arbitrary cost function cost: Bn → R, and the aim is ...
81
Voted
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
—What is reachability in higher-order functional programs? We formulate reachability as a decision problem in the setting of the prototypical functional language PCF, and show th...