920 search results - page 43 / 184 » Generating Satisfiable Problem Instances |
SCAI
2008
13 years 11 months ago
2008
The problem of automatically selecting simulation models for autonomous agents depending on their current intentions and beliefs is considered in this paper. The intended use of t...
IEAAIE
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. Configuration is the process of composing a system from a set of components such that the system fulfills a set of desired demands. The configuration process relies on a ...
ICIG
2009
IEEE
14 years 5 months ago
2009
IEEE
Classifying natural scenes into semantic categories has always been a challenging task. So far, many works in this field are primarily intended for single label classification, wh...
MFCS
2010
Springer
13 years 8 months ago
2010
Springer
The problem of finding a satisfying assignment for a 2-SAT formula that minimizes the number of variables that are set to 1 (min ones 2–sat) is NP-complete. It generalizes the w...
CVPR
2011
IEEE
13 years 5 months ago
2011
IEEE
Object recognition has made great strides recently. However, the best methods, such as those based on kernelSVMs are highly computationally intensive. The problem of how to accele...