1266 search results - page 112 / 254 » AS Relationships: Inference and Validation |
116
Voted
MICCAI
2007
Springer
16 years 1 months ago
2007
Springer
Disease-specific understanding of echocardiographic sequences requires accurate characterization of spatio-temporal motion patterns. In this paper we present a method of automatic ...
86
Voted
IPMI
2005
Springer
16 years 1 months ago
2005
Springer
In this paper, we study Markov Random Fields as spatial smoothing priors in fMRI detection. Relatively high noise in fMRI images presents a serious challenge for the detection algo...
106
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
We provide a verification technique for a class of programs working on integer arrays of finite, but not a priori bounded length. We use the logic of integer arrays SIL [13] to spe...
112
Voted
KDD
2004
ACM
16 years 1 months ago
2004
ACM
Privacy-preserving data mining has concentrated on obtaining valid results when the input data is private. An extreme example is Secure Multiparty Computation-based methods, where...
RECOMB
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. This paper presents an algorithm to detect lateral gene transfer (LGT) on the basis of pairwise evolutionary distances. The prediction is made from a likelihood ratio der...