9018 search results - page 361 / 1804 » 3D-Brain Model Software |
196
click to vote
ESOP
2012
Springer
14 years 1 months ago
2012
Springer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it is only appropriate for sequentially consistent mem...
139
click to vote
CAV
2012
Springer
13 years 8 months ago
2012
Springer
The growing complexity of hardware optimizations employed by multiprocessors leads to subtle distinctions among allowed and disallowed behaviors, posing challenges in specifying th...
159
click to vote
IWSAS
2001
Springer
15 years 10 months ago
2001
Springer
The Infrastructure of modern society is controlled by software systems that are vulnerable to attack. Successful attacks on these systems can lead to catastrophic results; the sur...
163
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: We have developed a new haplotyping program based on the combination of an iterative multiallelic EM algorithm (IEM), bootstrap resampling and a pseudo Gibbs sampler. ...
176
click to vote
MICCAI
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we propose a novel and robust system for the automated identification of major sulci on cortical surfaces. Using multiscale representation and intrinsic surface mappi...