748 search results - page 34 / 150 » Time and Probability in Process Algebra |
119
Voted
ICDE
2010
IEEE
16 years 4 days ago
2010
IEEE
Abstract-- This paper introduces a deterministic approximation algorithm with error guarantees for computing the probability of propositional formulas over discrete random variable...
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
In this paper, we present a lower-bound estimate for dynamic time warping (DTW) on time series consisting of multi-dimensional posterior probability vectors known as posteriorgram...
184
Voted
DAGM
2006
Springer
15 years 4 months ago
2006
Springer
We present a new approach to integrated motion estimation and segmentation by combining methods from discrete and continuous optimization. The velocity of each of a set of regions ...
85
Voted
FOSSACS
2004
Springer
15 years 5 months ago
2004
Springer
More than a decade ago, Moller and Tofts published their seminal work on relating processes that are annotated with lower time bounds, with respect to speed. Their paper has left o...
102
click to vote
IJCAI
2007
15 years 1 months ago
2007
Agents often have to construct plans that obey deadlines or, more generally, resource limits for real-valued resources whose consumption can only be characterized by probability d...