3677 search results - page 62 / 736 » Is a probabilistic modeling |
ECAI
2008
Springer
14 years 11 months ago
2008
Springer
Semantic peer to peer (P2P) systems are fully decentralized overlay networks of people or machines (called peers) sharing and searching varied resources (documents, videos, photos...
ENTCS
2002
14 years 9 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
IUI
2009
ACM
15 years 6 months ago
2009
ACM
Adaptive software systems are intended to modify their appearance, performance or functionality to the needs and preferences of different users. A key bottleneck in building effec...
CVPR
2003
IEEE
15 years 11 months ago
2003
IEEE
Scene content understanding facilitates a large number of applications, ranging from content-based image retrieval to other multimedia applications. Material detection refers to t...
ENC
2005
IEEE
15 years 3 months ago
2005
IEEE
The main purpose of this work is to develop an intelligent tutor system coupled to a robotics virtual laboratory, in order to offer a tutored virtual learning environment. The stu...