Sciweavers

83 search results - page 9 / 17
» Sigma-delta learning for super-resolution independent compon...
Sort
View
FASE
2011
Springer
14 years 3 months ago
Automated Learning of Probabilistic Assumptions for Compositional Reasoning
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
Lu Feng, Marta Z. Kwiatkowska, David Parker
ICPR
2000
IEEE
15 years 4 months ago
Eigensnakes for Vessel Segmentation in Angiography
In this paper we introduce a new deformable model, called eigensnake, for segmentation of elongated structures in a probabilistic framework. Instead of snake attraction by speciļ¬...
Ricardo Toledo, Xavier Orriols, Petia Radeva, Xavi...
109
Voted
ISCAS
2008
IEEE
145views Hardware» more  ISCAS 2008»
15 years 6 months ago
Group learning using contrast NMF : Application to functional and structural MRI of schizophrenia
— Non-negative Matrix factorization (NMF) has increasingly been used as a tool in signal processing in the last couple of years. NMF, like independent component analysis (ICA) is...
Vamsi K. Potluru, Vince D. Calhoun
134
Voted
DSP
2007
15 years 10 days ago
Blind separation of nonlinear mixtures by variational Bayesian learning
Blind separation of sources from nonlinear mixtures is a challenging and often ill-posed problem. We present three methods for solving this problem: an improved nonlinear factor a...
Antti Honkela, Harri Valpola, Alexander Ilin, Juha...
APSEC
2007
IEEE
15 years 6 months ago
Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems
Analyzing accidents is a vital exercise in the development of safety-critical software systems to prevent past accidents from reoccurring in the future. Current practices such as ...
Tariq Mahmood, Edmund Kazmierczak, Tim Kelly, Denn...