Sciweavers

382 search results - page 47 / 77
» Formalization of Continuous Probability Distributions
Sort
View
ISORC
1998
IEEE
15 years 4 months ago
Compositional Specification and Structured Verification of Hybrid Systems in cTLA
Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...
Peter Herrmann, Günter Graw, Heiko Krumm
ICIP
2004
IEEE
16 years 1 months ago
A probabilistic framework for object recognition in video
We propose a solution to the problem of object recognition given a continuous video sequence containing multiple views of an object. Initially, object models are acquired from ima...
Omar Javed, Mubarak Shah, Dorin Comaniciu
EPEW
2006
Springer
15 years 3 months ago
Model Checking for a Class of Performance Properties of Fluid Stochastic Models
Abstract. Recently, there is an explosive development of fluid approaches to computer and distributed systems. These approaches are inherently stochastic and generate continuous st...
Manuela L. Bujorianu, Marius C. Bujorianu
CORR
2000
Springer
96views Education» more  CORR 2000»
14 years 11 months ago
A Bayesian Reflection on Surfaces
: The topic of this paper is a novel Bayesian continuous-basis field representation and inference framework. Within this paper several problems are solved: The maximally informativ...
David R. Wolf
PVLDB
2010
103views more  PVLDB 2010»
14 years 10 months ago
Probabilistic XML via Markov Chains
We show how Recursive Markov Chains (RMCs) and their restrictions can define probabilistic distributions over XML documents, and study tractability of querying over such models. ...
Michael Benedikt, Evgeny Kharlamov, Dan Olteanu, P...