3305 search results - page 433 / 661 » Models and Modeling Infrastructures for Global Computational... |
159
click to vote
IDA
2009
Springer
16 years 1 months ago
2009
Springer
This work presents a novel robust method for a two-channel multiple Time Difference of Arrival (TDOA) estimation. The method is based on a recursive frequency-domain Independent C...
182
click to vote
HIPS
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes Rthreads (Remote threads), a software distributed shared memory system that supports sharing of global variables on clusters of computers with physically dist...
169
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
157
click to vote
MICCAI
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, the problem of retrospective correction of intensity inhomogeneity in magnetic resonance (MR) images is addressed. A novel model-based correction method is proposed,...
159
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We focus on credal nets, which are graphical models that generalise Bayesian nets to imprecise probability. We replace the notion of strong independence commonly used in credal ne...