2354 search results - page 420 / 471 » Randomness, Stochasticity and Approximations |
CONCUR
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...
CVPR
1999
IEEE
14 years 2 months ago
1999
IEEE
We introduce an approach to feature-based object recognition, using maximum a posteriori (MAP) estimation under a Markov random field (MRF) model. This approach provides an effici...
SIGIR
1999
ACM
14 years 2 months ago
1999
ACM
A content-based retrieval model for tackling the mismatch problems specific to music data is proposed and implemented. The system uses a pitch profile encoding for queries in any ...
EUROCRYPT
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. This work describes schemes for distributing between n servers the evaluation of a function f which is an approximation to a random function, such that only authorized su...
FOCS
1998
IEEE
14 years 2 months ago
1998
IEEE
In the Finite Capacity Dial-a-Ride problem the input is a metric space, a set of objects {di}, each specifying a source si and a destination ti, and an integer k--the capacity of t...