2797 search results - page 125 / 560 » Control Structures |
126
click to vote
FM
1998
Springer
15 years 6 months ago
1998
Springer
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
102
Voted
AAAI
2010
15 years 4 months ago
2010
Existing controller-based approaches for centralized and decentralized POMDPs are based on automata with output known as Moore machines. In this paper, we show that several advant...
98
Voted
WSC
2004
15 years 3 months ago
2004
As systems become more and more complex the use of automation tools becomes more important. Although automation is introduced to reduce human workload, improve situational awarene...
126
Voted
ESM
2000
15 years 3 months ago
2000
A data simulator that can facilitate the development of improved sampling and analysis procedures for spatial analysis is proposed. The simulator, implemented in MATLAB, provides ...
103
Voted
COMPLEXITY
2004
15 years 2 months ago
2004
Bodies of plants are modularly organized. Development proceeds by adding new modules to open endings with a potential for branching. Each module is autonomous to some extent. Deve...