Sciweavers

588 search results - page 20 / 118
» Querying Objects Modeled by Arbitrary Probability Distributi...
Sort
View
FOSSACS
2005
Springer
15 years 3 months ago
Stochastic Transition Systems for Continuous State Spaces and Non-determinism
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...
Stefano Cattani, Roberto Segala, Marta Z. Kwiatkow...
ICIP
2009
IEEE
14 years 7 months ago
Generative model for abandoned object detection
This paper proposes an algorithm for abandoned object detection based on generative model of low level features. First, suspected blobs are detected by foreground detection and pi...
Jianting Wen, Haifeng Gong, Xia Zhang, Wenze Hu
ALGORITHMICA
1998
81views more  ALGORITHMICA 1998»
14 years 9 months ago
The List Update Problem: Improved Bounds for the Counter Scheme
We consider the problem of dynamic reorganization of a linear list, where requests for the elements are generated randomly with fixed, unknown probabilities. The objective is to ...
Hadas Shachnai, Micha Hofri
FORMATS
2004
Springer
15 years 3 months ago
Symbolic Model Checking for Probabilistic Timed Automata
Probabilistic timed automata are timed automata extended with discrete probability distributions, and can be used to model timed randomised protocols or faulttolerant systems. We ...
Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sprost...
BNCOD
1997
76views Database» more  BNCOD 1997»
14 years 11 months ago
Query Evaluation in CROQUE - Calculus and Algebra Coincide
With the substantial change of declarative query languages from plain SQL to the so-called \object SQLs", in particular OQL, there has surprisingly been not much change in the...
Torsten Grust, Joachim Kröger, Dieter Gluche,...