29147 search results - page 69 / 5830 » System Modeling Resurrected |
154
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
We present a two-step method for identifying SISO Hammerstein systems. First, using a persistent input with retrospective cost optimization, we estimate a parametric model of the l...
135
click to vote
SIGDIAL
2010
14 years 9 months ago
2010
We present a first step towards a model of speech generation for incremental dialogue systems. The model allows a dialogue system to incrementally interpret spoken input, while si...
109
click to vote
SIAMCO
2000
15 years 2 months ago
2000
It is well known that a crucial property for the effective identification of time-varying systems is that the data carry continual information on the parameters to be estimated. As...
142
click to vote
IC3
2009
15 years 17 days ago
2009
Abstract. This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of dis...
144
click to vote
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...