1930 search results - page 262 / 386 » Learning to Solve QBF |
ECML
2005
Springer
14 years 2 months ago
2005
Springer
Constraint programming is rapidly becoming the technology of choice for modelling and solving complex combinatorial problems. However, users of this technology need significant ex...
EMMCVPR
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Reverse-convex programming (RCP) concerns global optimization of a specific class of non-convex optimization problems. We show that a recently proposed model for sparse ...
LOCA
2005
Springer
14 years 2 months ago
2005
Springer
Research in advanced context-aware systems has clearly shown a need to capture the inherent uncertainty in the physical world, especially in human behavior. Modelling approaches th...
WEBI
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we describe ICARUS, an adaptive architecture for intelligent physical agents. We contrast the framework’s assumptions with those of earlier architectures, taking e...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
We propose an enhanced mechanism for selecting partners for multi-attribute negotiation. The mechanism employs possibilistic case-based reasoning. The possibility of successful ne...