2646 search results - page 356 / 530 » Local Type Inference |
158
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
The quality of cardiac images acquired with multi-detector CT scanners has improved significantly, to the point where minimally invasive examination of the coronary arteries became...
170
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
This paper introduces a new recursion principle for inductive data modulo -equivalence of bound names. It makes use of Oderskystyle local names when recursing over bound names. It...
176
click to vote
EUROSEC
2010
ACM
16 years 1 months ago
2010
ACM
Fighting global security threats with only a local view is inherently difficult. Internet network operators need to fight global phenomena such as botnets, but they are hampered...
165
click to vote
ISBI
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a novel approach to change detection between two brain MRI scans (reference and target.) The proposed method uses a single modality to find subtle changes; and does no...
171
click to vote
CCGRID
2008
IEEE
16 years 1 months ago
2008
IEEE
—Accurate fault detection is a key element of resilient computing. Syslogs provide key information regarding faults, and are found on nearly all computing systems. Discovering ne...