2467 search results - page 204 / 494 » Finite State Machines |
192
click to vote
ENTCS
2006
15 years 6 months ago
2006
In Rutten [13] the theoretical basis was given for the synthesis of binary Mealy machines from specifications in 2-adic arithmetic. This construction is based on the symbolic comp...
169
click to vote
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
In this paper we proposed a visual speech recognition network based on Support Vector Machines. Each word of the dictionary is modeled by a set of temporal sequences of visemes. E...
164
click to vote
VLSID
2007
IEEE
16 years 28 days ago
2007
IEEE
In recent years, research and development in the field of machine learning and classification techniques have gained paramount importance. The future generation of intelligent e...
177
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
In this paper, Receding Horizon Model Predictive Control (RHMPC) of nonlinear systems subject to input and state constraints is considered. We propose to estimate the terminal reg...
157
click to vote
FMICS
2007
Springer
16 years 24 days ago
2007
Springer
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...