359 search results - page 59 / 72 » Reachability for Continuous and Hybrid Systems |
ACSD
2008
IEEE
14 years 5 days ago
2008
IEEE
The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are widely used models for co...
STACS
2001
Springer
14 years 2 months ago
2001
Springer
We propose a new, logical, approach to the decidability problem for the Straubing and Brzozowski hierarchies based on the preservation theorems from model theory, on a theorem of ...
IV
2000
IEEE
14 years 2 months ago
2000
IEEE
A method of using a moving texture alpha-mask to represent scientific data is described, for the purpose of visualizing continuous fluid dynamics fields. The method combines strea...
ATAL
2008
Springer
14 years 5 days ago
2008
Springer
When human-multiagent teams act in real-time uncertain domains, adjustable autonomy (dynamic transferring of decisions between human and agents) raises three key challenges. First...
NIPS
1996
13 years 11 months ago
1996
We propose a novelapproach to automaticallygrowing and pruning Hierarchical Mixtures of Experts. The constructive algorithm proposed here enables large hierarchies consisting of s...