502 search results - page 79 / 101 » Monotone Approximation of Decision Problems |
SCANGIS
2003
14 years 11 months ago
2003
Discrete sampling data is used in several environmental studies to create maps in order to support decision-making processes. The decision maps represent an increasing importance i...
EOR
2002
14 years 9 months ago
2002
The paper presents a new genetic local search algorithm for multi-objective combinatorial optimization. The goal of the algorithm is to generate in a short time a set of approxima...
133
click to vote
LPAR
2010
Springer
14 years 7 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
The ability to coordinate effectively is critical for agents to accomplish their goals in a multi-agent system. A number of researchers have modeled the coordination problem for m...
NIPS
2004
14 years 11 months ago
2004
First-order Markov models have been successfully applied to many problems, for example in modeling sequential data using Markov chains, and modeling control problems using the Mar...