Sciweavers

2393 search results - page 320 / 479
» Adaptive Narrative Abstraction
Sort
View
MICCAI
2005
Springer
16 years 7 months ago
Physiological System Identification with the Kalman Filter in Diffuse Optical Tomography
Abstract. Diffuse optical tomography (DOT) is a noninvasive imaging technology that is sensitive to local concentration changes in oxyand deoxyhemoglobin. When applied to functiona...
Solomon Gilbert Diamond, Theodore J. Huppert, Vill...
IPMI
2005
Springer
16 years 7 months ago
Fiber Tracking in q-Ball Fields Using Regularized Particle Trajectories
Abstract. Most of the approaches dedicated to fiber tracking from diffusionweighted MR data rely on a tensor model. However, the tensor model can only resolve a single fiber orient...
Muriel Perrin, Cyril Poupon, Yann Cointepas, Berna...
154
Voted
ESORICS
2009
Springer
16 years 7 months ago
Data Structures with Unpredictable Timing
Abstract. A range of attacks on network components, such as algorithmic denial-of-service attacks and cryptanalysis via timing attacks, are enabled by data structures for which an ...
Darrell Bethea, Michael K. Reiter
ICIAP
2009
ACM
16 years 7 months ago
Nonlocal Similarity Image Filtering
Abstract. We exploit the recurrence of structures at different locations, orientations and scales in an image to perform denoising. While previous methods based on "nonlocal f...
Yifei Lou, Paolo Favaro, Stefano Soatto, Andrea L....
CAV
2009
Springer
209views Hardware» more  CAV 2009»
16 years 7 months ago
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamari...