1249 search results - page 164 / 250 » State Machine Modeling: From Synch States to Synchronized St... |
CODES
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper describes the functional specification and verification portions of El Greco, a system for high-level, heterogeneous functional specification, efficient compiled si...
119
click to vote
FGR
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper presents an approach to recognising the gender and expression of face images by means of Active Appearance Models (AAM). Features extracted by a trained AAM are used to...
VLC
2002
14 years 11 months ago
2002
Real-time 3D graphics are being extensively used to build interactive virtual environments for a number of different applications. In many situations, virtual objects are required...
105
click to vote
DSN
2007
IEEE
15 years 6 months ago
2007
IEEE
When employing a consensus algorithm for state machine replication, should one optimize for the case that all communication links are usually timely, or for fewer timely links? Do...
106
click to vote
IFIP
1994
Springer
15 years 4 months ago
1994
Springer
The computer simulation control problem can be splitted in two parts, namely a local control problem and a global control problem. The local control de nes the \behavior" of ...