4460 search results - page 161 / 892 » Formal methods for interactive systems |
142
click to vote
ACL
2001
15 years 5 months ago
2001
We address the issue of on-line detection of communication problems in spoken dialogue systems. The usefulness is investigated of the sequence of system question types and the wor...
128
click to vote
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
We introduce a novel approach to the smart execution of scenario-based models of reactive systems, such as those resulting from the multi-modal inter-object language of live sequen...
156
click to vote
FORTE
2009
15 years 1 months ago
2009
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
130
click to vote
FTRTFT
1998
Springer
15 years 8 months ago
1998
Springer
Visual description techniques are particularly important for the design of hybrid systems because specifications of such systems must usually be discussed between engineers from a ...
148
click to vote
CAPTECH
1998
Springer
15 years 8 months ago
1998
Springer
In this paper, we present a method for robustly extracting the silhouette form of the participant within an interactive environment. The approach overcomes the inherent problems as...