3677 search results - page 43 / 736 » Is a probabilistic modeling |
TCS
2008
13 years 9 months ago
2008
This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known ...
CSE
2009
IEEE
14 years 4 months ago
2009
IEEE
—With the growth in the past few years of social tagging services like Delicious and CiteULike, there is growing interest in modeling and mining these social systems for deriving...
ICPR
2004
IEEE
14 years 10 months ago
2004
IEEE
ICIP
2009
IEEE
14 years 10 months ago
2009
IEEE
In recent years, many principled probabilistic definitions for the determination of visual saliency have been proposed. Moreover, there has been increased focus on the role of con...
ICDE
2009
IEEE
13 years 7 months ago
2009
IEEE
Many real world applications such as sensor networks and other monitoring applications naturally generate probabilistic streams that are highly correlated in both time and space. ...