85 search results - page 6 / 17 » Synthesis of live behaviour models |
FGR
2011
IEEE
12 years 10 months ago
2011
IEEE
— Despite major advances within the affective computing research field, modelling, analysing, interpreting and responding to naturalistic human affective behaviour still remains...
IEAAIE
2010
Springer
13 years 4 months ago
2010
Springer
A large number of delinquent activities are performed by adolescents and only occur during this period in their lives. One of the main factors that influence this behaviour is soci...
SIGGRAPH
1993
ACM
13 years 10 months ago
1993
ACM
The realistic depiction of smoke, steam, mist and water reacting to a turbulent eld such as wind is an attractive and challenging problem. Its solution requires interlocking model...
CODES
1999
IEEE
13 years 11 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
ICSOC
2007
Springer
14 years 26 days ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...