835 search results - page 27 / 167 » A calculus of challenges and responses |
ICFEM
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
IJVR
2008
13 years 7 months ago
2008
Recent work in behavioral animation has taken impressive steps towards a virtual human. As for intelligent virtual agents, abbreviated "IVAs", the behaviors displayed in ...
NIPS
2008
13 years 9 months ago
2008
Multi-level hierarchical models provide an attractive framework for incorporating correlations induced in a response variable organized in a hierarchy. Model fitting is challengin...
COMPUTER
1999
13 years 7 months ago
1999
Innovation in the small business can be conceived of as a management process and challenge. This process, when mapped, offers a framework that can be used to encourage and enhance...
MOBISYS
2003
ACM
14 years 7 months ago
2003
ACM
Achieving crisp interactive response in resource-intensive applications such as augmented reality, language translation, and speech recognition is a major challenge on resource-po...