936 search results - page 122 / 188 » FSM-Hume is finite state |
246
click to vote
ICIP
2001
IEEE
16 years 8 months ago
2001
IEEE
The HMM (Hidden Markov Model) is a probabilistic model of the joint probability of a collection of random variables with both observations and states. The GMM (Gaussian Mixture Mo...
192
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
In this paper novel theory to automate shape modelling is described. The main idea is to develop a theory that is intrinsically defined for curves, as opposed to a finite sample o...
140
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
154
click to vote
DCC
2004
IEEE
16 years 6 months ago
2004
IEEE
A d-feedback-with-carry shift register (d-FCSR) is a finite state machine, similar to a linear feedback shift register, in which a small amount of memory and a delay (by d-clock c...
179
click to vote
RULEML
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. Event processing rules may be prescribed in many different ways, including by finite state machines, graphical methods, ECA (event-conditionaction) rules or reactive rule...