4513 search results - page 256 / 903 » Modeling with a Sense of Purpose |
162
click to vote
ICRA
1993
IEEE
15 years 10 months ago
1993
IEEE
The ability to automatically generate internal models from sensed data will be of critical importance in the development of flexible, adaptive and useful unmanned underwater vehic...
154
click to vote
E4MAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Decentralised, event-driven distributed simulation is particularly suitable for modelling systems with inherent asynchronous parallelism, such as agentbased systems. Howe...
169
click to vote
ATMOS
2007
15 years 8 months ago
2007
The optimal track allocation problem (OPTRA) is to find, in a given railway network, a conflict free set of train routes of maximum value. We study two types of integer programmi...
156
click to vote
ANOR
2010
15 years 6 months ago
2010
We study some mathematical programming formulations for the origin-destination model in airline revenue management. In particular, we focus on the traditional probabilistic model ...
181
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic...