98 search results - page 17 / 20 » Weak Bisimulation for Probabilistic Systems |
103
click to vote
PKDD
2004
Springer
15 years 2 months ago
2004
Springer
Spam filtering is a text categorization task that has attracted significant attention due to the increasingly huge amounts of junk email on the Internet. While current best-pract...
DICTA
2007
14 years 11 months ago
2007
This paper presents an appearance–based method to automatically determine places from vision data for topological mapping. The approach exploits the continuity of the visual app...
QEST
2008
IEEE
15 years 3 months ago
2008
IEEE
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...
SIROCCO
2010
14 years 7 months ago
2010
We consider the problem of exploring an anonymous unoriented ring of size n by k identical, oblivious, asynchronous mobile robots, that are unable to communicate, yet have the abil...
ACSAC
2005
IEEE
15 years 3 months ago
2005
IEEE
Online email archives are an under-protected yet extremely sensitive information resource. Email archives can store years worth of personal and business email in an easy-to-access...