247 search results - page 43 / 50 » Perspectives in Probabilistic Verification |
INFOCOM
2008
IEEE
14 years 4 months ago
2008
IEEE
—A unique challenge in P2P network is that the peer dynamics (departure or failure) cause unavoidable disruption to the downstream peers. While many works have been dedicated to ...
AIME
2007
Springer
14 years 3 months ago
2007
Springer
Traditional Chinese medicine (TCM) is an important avenue for disease prevention and treatment for the Chinese people and is gaining popularity among others. However, many remain s...
CVPR
2006
IEEE
14 years 3 months ago
2006
IEEE
We develop an integrated, probabilistic model for the appearance and three-dimensional geometry of cluttered scenes. Object categories are modeled via distributions over the 3D lo...
WECWIS
2005
IEEE
14 years 3 months ago
2005
IEEE
A wide variety of interactions on the Internet are characterized by the availability of cheap pseudonyms, where users can obtain new identities freely or at a low cost. Due to the...
ACOM
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Although several approaches to the semantics of agent communication have been proposed, none of them is really suitable for dealing with agent autonomy, which is a decisi...