7827 search results - page 149 / 1566 » time 2007 |
172
click to vote
ICCS
2007
Springer
16 years 1 days ago
2007
Springer
Dynamic reconfigurable simulation based on Discrete Event System Specification (DEVS) requires efficient verification of simulation models. Traditional verification method of DEVS ...
177
click to vote
LFCS
2007
Springer
16 years 1 days ago
2007
Springer
Abstract. We consider weighted o-minimal hybrid systems, which extend classical o-minimal hybrid systems with cost functions. These cost functions are “observer variables” whic...
163
click to vote
AAAI
2007
15 years 8 months ago
2007
In recent years, the size of combinatorial applications and the need to produce high-quality solutions quickly have increased steadily, providing significant challenges for optim...
142
click to vote
AAAI
2007
15 years 8 months ago
2007
In multi-agent systems, agents need to share information in order to make good decisions. Who does what in order to achieve this matters a lot. The assignment of responsibility in...
152
click to vote
IJON
2007
15 years 5 months ago
2007
Many neural networks, such as the complex cortical networks of the mammalian brain, are organized in multiple clusters, with many connections within but few links between clusters...