Sciweavers

519 search results - page 74 / 104
» Using Goal-Models to Analyze Variability
Sort
View
QEST
2010
IEEE
13 years 6 months ago
Reasoning about MDPs as Transformers of Probability Distributions
We consider Markov Decision Processes (MDPs) as transformers on probability distributions, where with respect to a scheduler that resolves nondeterminism, the MDP can be seen as ex...
Vijay Anand Korthikanti, Mahesh Viswanathan, Gul A...
MIA
2011
125views more  MIA 2011»
13 years 3 months ago
A review of segmentation methods in short axis cardiac MR images
For the last 15 years, Magnetic Resonance Imaging (MRI) has become a reference examination for cardiac morphology, function and perfusion in humans. Yet, due to the characteristic...
Caroline Petitjean, Jean-Nicolas Dacher
PCS
2011
13 years 3 months ago
The parametric solution of underdetermined linear ODEs
The purpose of this paper is twofold. An immediate practical use of the presented algorithm is its applicability to the parametric solution of underdetermined linear ordinary diļ¬...
Thomas Wolf
CODES
2007
IEEE
14 years 20 days ago
Pointer re-coding for creating definitive MPSoC models
Today's MPSoC synthesis and exploration design flows start abstract input specification model captured in a system level design language. Usually this model is created from a...
Pramod Chandraiah, Rainer Dömer
CORR
2006
Springer
105views Education» more  CORR 2006»
13 years 8 months ago
Mixing and non-mixing local minima of the entropy contrast for blind source separation
In this paper, both non-mixing and mixing local minima of the entropy are analyzed from the viewpoint of blind source separation (BSS); they correspond respectively to acceptable a...
Frédéric Vrins, Dinh-Tuan Pham, Mich...