2670 search results - page 66 / 534 » Modeling systems with internal state using evolino |
107
Voted
NIPS
1998
15 years 1 months ago
1998
The Expectation Maximization EM algorithm is an iterative procedure for maximum likelihood parameter estimation from data sets with missing or hidden variables 2 . It has been app...
83
Voted
ICPR
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we present an automatic mouth contour and state estimation system. An efficient mouth contour extraction algorithm is proposed under the framework of Active Shape M...
134
Voted
ESEC
1997
Springer
15 years 4 months ago
1997
Springer
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
116
click to vote
ESORICS
2002
Springer
16 years 5 days ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
78
Voted
SPIN
2001
Springer
15 years 5 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking distributed systems with several instances of t...