85 search results - page 2 / 17 » Synthesis of live behaviour models |
FGR
2004
IEEE
13 years 9 months ago
2004
IEEE
We wish to model the way in which faces move in video sequences. We represent facial behaviour as a sequence of short actions. Each action is a sample from a statistical model rep...
SIGSOFT
2003
ACM
14 years 6 months ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...
DAGSTUHL
2006
13 years 6 months ago
2006
BioAmbients is a derivative of mobile ambients that has shown promise of describing interesting features of the behaviour of biological systems. As for other ambient calculi static...
BIRTHDAY
2005
Springer
13 years 11 months ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
SAC
2010
ACM
13 years 7 months ago
2010
ACM
The long term vision of smart service systems in which electronic environments are made sensitive and responsive to the presence of, possibly many, people is gradually taking shap...