1040 search results - page 83 / 208 » Tools for modeling and solving search problems |
102
click to vote
CAV
2001
Springer
15 years 5 months ago
2001
Springer
In this paper we show how the classical job-shop scheduling problem can be modeled as a special class of acyclic timed automata. Finding an optimal schedule corresponds, then, to n...
104
Voted
ESAW
2004
Springer
15 years 6 months ago
2004
Springer
The general aim of our work is to provide tools, methods and models to adaptive multi-agent systems designers. These systems consist in several interacting agents and have to optim...
75
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents an agent strategy for complex bilateral negotiations over many issues with inter-dependent valuations. We use ideas inspired by graph theory and probabilistic ...
133
click to vote
ENTCS
2007
15 years 18 days ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
110
click to vote
GECCO
2006
Springer
15 years 4 months ago
2006
Springer
In this paper we present an evolutionary approach for inferring the structure and dynamics in gene circuits from observed expression kinetics. For representing the regulatory inte...