2346 search results - page 148 / 470 » Hierarchical State Machines |
VLSID
2007
IEEE
14 years 4 months 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...
AUTOMATICA
2006
13 years 10 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...
FMICS
2007
Springer
14 years 4 months 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 ...
ICDT
2007
ACM
14 years 4 months ago
2007
ACM
We introduce a new abstract model of database query processing, finite cursor machines, that incorporates certain data streaming aspects. The model describes quite faithfully what...
MFCS
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. We provide concise abstract code for running the Java Virtual Machine (JVM) to execute compiled Java programs, and define a general compilation scheme of Java programs to...