2797 search results - page 297 / 560 » Control Structures |
140
Voted
AIPS
2000
15 years 5 months ago
2000
This paper develops Probabilistic Hybrid Action Models (PHAMs), a realistic causal model for predicting the behavior generated by modern concurrent percept-driven robot plans. PHA...
158
click to vote
JSA
2008
15 years 3 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
115
click to vote
RTS
2010
15 years 2 months ago
2010
Abstract Complex real-time systems, must integrate physical processes with digital control, human operation and organizational structures. New scientific foundations are required ...
164
Voted
CAV
2012
Springer
13 years 6 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
191
click to vote
AAAI
1993
15 years 5 months ago
1993
This paper describes a method for the development of dialogue managers for natural language interfaces. A dialogue manager is presented designed on the basis of both a theoretical...