29147 search results - page 69 / 5830 » System Modeling Resurrected |
153
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
Voted
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
Voted
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
Voted
IC3
2009
15 years 16 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
Voted
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...