Sciweavers

2398 search results - page 320 / 480
» On modelling agent systems with Erlang
Sort
View
IVA
2007
Springer
16 years 1 months ago
The Rickel Gaze Model: A Window on the Mind of a Virtual Human
Gaze plays a large number of cognitive, communicative and affective roles in face-to-face human interaction. To build a believable virtual human, it is imperative to construct a ga...
Jina Lee, Stacy Marsella, David R. Traum, Jonathan...
AAAI
2008
15 years 9 months ago
Structure Learning on Large Scale Common Sense Statistical Models of Human State
Research has shown promise in the design of large scale common sense probabilistic models to infer human state from environmental sensor data. These models have made use of mined ...
William Pentney, Matthai Philipose, Jeff A. Bilmes
181
Voted
AAAI
2010
15 years 8 months ago
Modeling Dynamic Multi-Topic Discussions in Online Forums
In the form of topic discussions, users interact with each other to share knowledge and exchange information in online forums. Modeling the evolution of topic discussion reveals h...
Hao Wu, Jiajun Bu, Chun Chen, Can Wang, Guang Qiu,...
CORR
2010
Springer
176views Education» more  CORR 2010»
15 years 7 months ago
Abstraction for Epistemic Model Checking of Dining Cryptographers-based Protocols
ion for Epistemic Model Checking of Dining Cryptographers-based Protocols Omar I. Al-Bataineh and Ron van der Meyden School of Computer Science and Engineering, University of New S...
Omar I. Al-Bataineh, Ron van der Meyden
ATAL
2008
Springer
15 years 9 months ago
Semantic matchmaking of web services using model checking
Service matchmaking is the process of finding suitable services given by the providers for the service requests of consumers. Previous approaches to service matchmaking is mostly ...
Akin Günay, Pinar Yolum