Sciweavers

3677 search results - page 51 / 736
» Is a probabilistic modeling
Sort
View
MICCAI
2006
Springer
15 years 10 months ago
Spline-Based Probabilistic Model for Anatomical Landmark Detection
Abstract. In medical imaging, finding landmarks that provide biologically meaningful correspondences is often a challenging and time-consuming manual task. In this paper we propose...
Camille Izard, Bruno Jedynak, Craig E. L. Stark
CORR
2008
Springer
91views Education» more  CORR 2008»
14 years 9 months ago
Significant Diagnostic Counterexamples in Probabilistic Model Checking
Abstract. This paper presents a novel technique for counterexample generation in probabilistic model checking of Markov chains and Markov Decision Processes. (Finite) paths in coun...
Miguel E. Andrés, Pedro R. D'Argenio, Peter...
ICASSP
2011
IEEE
14 years 1 months ago
Detection of sinusoidal signals in noise by probabilistic modelling of the spectral magnitude shape and phase continuity
This paper presents a method for detection of sinusoidal signals corrupted by an additive noise in the short-time Fourier domain. The proposed method is based on probabilistic mod...
Peter Jancovic, Münevver Köküer
EMNLP
2007
14 years 11 months ago
Bayesian Document Generative Model with Explicit Multiple Topics
In this paper, we proposed a novel probabilistic generative model to deal with explicit multiple-topic documents: Parametric Dirichlet Mixture Model(PDMM). PDMM is an expansion of...
Issei Sato, Hiroshi Nakagawa
VMCAI
2010
Springer
15 years 7 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