1583 search results - page 24 / 317 » Probabilistic User Behavior Models |
TCS
2008
13 years 7 months ago
2008
We introduce the model of Markov nets, a probabilistic extension of safe Petri nets under the true-concurrency semantics--this means that traces, not firing sequences, are given a...
CONCUR
2001
Springer
14 years 3 days ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...
VTC
2010
IEEE
13 years 6 months ago
2010
IEEE
—We investigate the impact of the human driver behavior on Intelligent Transportation Systems (ITS). Motivated by early studies, which investigated the driver behavior and which ...
ICML
2007
IEEE
14 years 8 months ago
2007
IEEE
We revisit recently proposed algorithms for probabilistic clustering with pair-wise constraints between data points. We evaluate and compare existing techniques in terms of robust...
PPAM
2005
Springer
14 years 1 months ago
2005
Springer
Algorithms for the sparse matrix-vector multiplication (shortly SpM×V ) are important building blocks in solvers of sparse systems of linear equations. Due to matrix sparsity, the...