1202 search results - page 86 / 241 » Sortings for Reactive Systems |
176
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
161
click to vote
APN
2000
Springer
15 years 7 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
140
click to vote
IJCAI
2001
15 years 5 months ago
2001
Deductive, mode-estimation has become an essential component of robotic space systems, like NASA's deep space probes. Future robots will serve as components of large robotic ...
105
click to vote
ACII
2007
Springer
15 years 10 months ago
2007
Springer
We discuss an aspect of an affect-detection system used in edrama by intelligent conversational agents, namely affective interpretation of limited sorts of metaphorical utterance. ...
126
click to vote
CLIN
2003
15 years 5 months ago
2003
This paper presents an efficient algorithm for the incremental construction of a minimal acyclic sequential transducer (ST) from a list of input and output strings. The algorithm...