Sciweavers

1430 search results - page 79 / 286
» Representing Probability Measures using Probabilistic Proces...
Sort
View
ICASSP
2008
IEEE
14 years 3 months ago
Automatic Flamingo detection using a multiple birth and death process
Here we present a new approach to automatically detect and count breeding Greater Flamingos (Phoenicopterus Roseus) on aerial photographsof their colonies. We consider a stochasti...
Stig Descamps, Xavier Descombes, Arnaud Bechet, Jo...
ALDT
2009
Springer
140views Algorithms» more  ALDT 2009»
14 years 3 months ago
Directional Decomposition of Multiattribute Utility Functions
Abstract. Several schemes have been proposed for compactly representing multiattribute utility functions, yet none seems to achieve the level of success achieved by Bayesian and Ma...
Ronen I. Brafman, Yagil Engel
VMCAI
2010
Springer
14 years 6 months ago
Advances in Probabilistic Model Checking
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
Joost-Pieter Katoen
ESOP
2007
Springer
14 years 29 days ago
Scalar Outcomes Suffice for Finitary Probabilistic Testing
Abstract. The question of equivalence has long vexed research in concurrency, leading to many different denotational- and bisimulation-based approaches; a breakthrough occurred wit...
Yuxin Deng, Rob J. van Glabbeek, Carroll Morgan, C...
ISBI
2006
IEEE
14 years 9 months ago
Coronary tree extraction from X-ray angiograms using marked point processes
In this paper, we use marked point processes to perform an unsupervised extraction of the coronary tree from 2D X-ray angiography. These processes provide a rigorous framework bas...
Caroline Lacoste, Gérard Finet, Isabelle E....