1266 search results - page 112 / 254 » AS Relationships: Inference and Validation |
MICCAI
2007
Springer
15 years 11 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 ...
IPMI
2005
Springer
15 years 10 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...
CAV
2009
Springer
15 years 10 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...
KDD
2004
ACM
15 years 10 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
15 years 10 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...