1641 search results - page 157 / 329 » Termination Analysis with Algorithmic Learning |
131
Voted
KDD
2007
ACM
16 years 3 months ago
2007
ACM
Analyzing data on-board a spacecraft as it is collected enables several advanced spacecraft capabilities, such as prioritizing observations to make the best use of limited bandwid...
127
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: The aim of this study was to provide a framework for the analysis of visceral obesity and its determinants in women, where complex inter-relationships are observed amo...
138
Voted
JAR
2006
15 years 3 months ago
2006
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
126
Voted
MICCAI
2010
Springer
15 years 1 months ago
2010
Springer
The use of machine learning tools is gaining popularity in neuroimaging, as it provides a sensitive assessment of the information conveyed by brain images. In particular, finding ...
135
Voted
CVPR
2005
IEEE
16 years 5 months ago
2005
IEEE
Functional Magnetic Resonance Imaging (fMRI) has enabled scientists to look into the active human brain. FMRI provides a sequence of 3D brain images with intensities representing ...