Sciweavers

3206 search results - page 194 / 642
» Functional Variant Modeling for Adaptable Functional Network...
Sort
View
ISIPTA
2005
IEEE
161views Mathematics» more  ISIPTA 2005»
15 years 8 months ago
Decision making under incomplete data using the imprecise Dirichlet model
The paper presents an efficient solution to decision problems where direct partial information on the distribution of the states of nature is available, either by observations of ...
Lev V. Utkin, Thomas Augustin
136
Voted
MICCAI
2008
Springer
16 years 3 months ago
3D Brain Segmentation Using Active Appearance Models and Local Regressors
We describe an efficient and accurate method for segmenting sets of subcortical structures in 3D MR images of the brain. We first find the approximate position of all the structure...
Kolawole O. Babalola, Timothy F. Cootes, Carole ...
115
Voted
IEEEPACT
2009
IEEE
15 years 9 months ago
Analytical Modeling of Pipeline Parallelism
Parallel programming is a requirement in the multi-core era. One of the most promising techniques to make parallel programming available for the general users is the use of parall...
Angeles G. Navarro, Rafael Asenjo, Siham Tabik, Ca...
PVM
2007
Springer
15 years 8 months ago
Practical Model-Checking Method for Verifying Correctness of MPI Programs
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
Salman Pervez, Ganesh Gopalakrishnan, Robert M. Ki...
MODELS
2010
Springer
15 years 27 days ago
Modeling Features at Runtime
A feature represents a functional requirement fulfilled by a system. Since many maintenance tasks are expressed in terms of features, it is important to establish the corresponden...
Marcus Denker, Jorge Ressia, Orla Greevy, Oscar Ni...