1150 search results - page 71 / 230 » Tackling Large State Spaces in Performance Modelling |
CORR
2011
Springer
13 years 22 days ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
INFOCOM
2003
IEEE
14 years 2 months ago
2003
IEEE
We investigate network management information for light-path assessment to dynamically set up end-to-end lightpaths across administrative domains. Our focus is on invetigating what...
SPIN
2005
Springer
14 years 2 months ago
2005
Springer
We describe an improvement of the partial-order reduction algorithm for breadth-first search which was introduced in Spin version 4.0. Our improvement is based on the algorithm by...
IJCNN
2000
IEEE
14 years 16 days ago
2000
IEEE
This paper presents an unsupervised segmentation method for feature sequences based on competitivelearning hidden Markov models. Models associated with the nodes of the Self-Organ...
PACT
2005
Springer
14 years 2 months ago
2005
Springer
The goal of our investigation is to find automatically the best rule for a cell in the cellular automata model. The cells are either of type Obstacle, Empty or Creature. Only Crea...