63 search results - page 11 / 13 » A computational model of human interaction and planning for ... |
DSVIS
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
LOCA
2005
Springer
14 years 27 days ago
2005
Springer
Services in pervasive computing systems must evolve so that they become minimally intrusive and exhibit inherent proactiveness and dynamic adaptability to the current conditions, u...
SIGGRAPH
1996
ACM
13 years 11 months ago
1996
ACM
This paper describes a prototype system for surgical planning and prediction of human facial shape after craniofacial and maxillofacial surgery for patients with facial deformitie...
MOBIHOC
2008
ACM
14 years 7 months ago
2008
ACM
In this paper we seek to improve our understanding of human mobility in terms of social structures, and to use these structures in the design of forwarding algorithms for Pocket S...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
We present a Semantic Web application that we call CS AKTive Space1 . The application exploits a wide range of semantically heterogeneous and distributed content relating to Compu...