Sciweavers

4192 search results - page 301 / 839
» Probabilistic Logic Programming
Sort
View
SIGMOD
2008
ACM
162views Database» more  SIGMOD 2008»
16 years 6 months ago
Event queries on correlated probabilistic streams
A major problem in detecting events in streams of data is that the data can be imprecise (e.g. RFID data). However, current state-ofthe-art event detection systems such as Cayuga ...
Christopher Ré, Dan Suciu, Julie Letchner, ...
ENTCS
2006
134views more  ENTCS 2006»
15 years 6 months ago
Anonymity in Probabilistic and Nondeterministic Systems
Anonymity means that the identity of the user performing a certain action is maintained secret. The protocols for ensuring anonymity often use random mechanisms which can be descr...
Catuscia Palamidessi
UM
2005
Springer
15 years 12 months ago
Exploiting Probabilistic Latent Information for the Construction of Community Web Directories
This paper improves a recently-presented approach to Web Personalization, named Community Web Directories, which applies personalization techniques to Web Directories. The Web dire...
Dimitrios Pierrakos, Georgios Paliouras
TASE
2008
IEEE
15 years 6 months ago
Perspectives in Probabilistic Verification
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
Joost-Pieter Katoen
SPIN
2010
Springer
15 years 4 months ago
Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio,...