14382 search results - page 129 / 2877 » Time in Connectionist Models |
147
click to vote
NETWORKING
2004
15 years 7 months ago
2004
Having in mind that real-time streams tolerate some deadline misses according to (m,k)-firm constraints [1], this paper presents a solution that consists in integrating (m,k)-firm ...
148
click to vote
ATVA
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...
187
click to vote
ICCS
2007
Springer
16 years 15 days ago
2007
Springer
New architectures for Brain-Machine Interface communication and control use mixture models for expanding rehabilitation capabilities of disabled patients. Here we present and test ...
163
click to vote
ISORC
1999
IEEE
15 years 10 months ago
1999
IEEE
Designing distributed real-time systems as being composed of communicating objects offers many advantages with respect to modularity and extensibility of these systems. However, d...
209
click to vote
AMFG
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper addresses the 3D tracking of pose and animation of the human face in monocular image sequences using Active Appearance Models. The classical appearancebased tracking su...