1384 search results - page 235 / 277 » Physical limits of inference |
MICCAI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a novel computational framework for characterizing signal in brain images via nonlinear pairing of critical values of the signal. Among the astronomically larg...
104
click to vote
ISBI
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper describes a new methodology and associated theoretical analysis for rapid and accurate extraction of activation regions from functional MRI data. Most fMRI data analysi...
WWW
2008
ACM
15 years 10 months ago
2008
ACM
Easy reuse and integration of declaratively described information in a distributed setting is one of the main motivations for building the Semantic Web. Despite of this claim, reu...
167
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
A bidirectional transformation consists of a function get that takes a source (document or value) to a view and a function put that takes an updated view and the original source b...
CAV
2009
Springer
15 years 10 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...