3760 search results - page 701 / 752 » Logic-Based Probabilistic Modeling |
171
click to vote
WWW
2010
ACM
15 years 10 months ago
2010
ACM
With the prosperity of tourism and Web 2.0 technologies, more and more people have willingness to share their travel experiences on the Web (e.g., weblogs, forums, or Web 2.0 comm...
102
click to vote
INFOCOM
2009
IEEE
15 years 9 months ago
2009
IEEE
—Tracking of movements such as that of people, animals, vehicles, or of phenomena such as fire, can be achieved by deploying a wireless sensor network. So far only prototype sys...
125
click to vote
BSN
2006
IEEE
15 years 9 months ago
2006
IEEE
Ubiquitous computing has established a vision of computation where computers are so deeply integrated into our lives that they become both invisible and everywhere. In order to ha...
175
click to vote
JELIA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
119
click to vote
ESORICS
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Proofs of security protocols typically employ simple abstractions of cryptographic operations, so that large parts of such proofs pendent of cryptographic details. The ty...