159 search results - page 2 / 32 » Living with the abstract: realism and models |
IC3
2009
13 years 5 months ago
2009
Abstract. This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of dis...
TACAS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
SIGGRAPH
2010
ACM
13 years 12 months ago
2010
ACM
Feedback Control for Character Animation Using an Abstract Model Yuting Ye C. Karen Liu Georgia Institute of Technology∗ Real-time adaptation of a motion capture sequence to vir...
AIME
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Translating clinical guidelines into formal models is beneficial in many ways, but expensive. The progress in medical knowledge requires clinical guidelines to be updated...
WELCOM
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. We have explored the role of user modelling in live help systems for e-commerce web sites. There are several potential benefits with user modelling in this context: 1) H...