Sciweavers

614 search results - page 100 / 123
» A Variable Rate Execution Model
Sort
View
TMI
2011
130views more  TMI 2011»
14 years 10 months ago
Parameterization-Invariant Shape Comparisons of Anatomical Surfaces
—We consider 3D brain structures as continuous parameterized surfaces and present a metric for their comparisons that is invariant to the way they are parameterized. Past compari...
Sebastian Kurtek, Eric Klassen, Zhaohua Ding, Sand...
MIA
2010
113views more  MIA 2010»
14 years 10 months ago
Musculoskeletal MRI segmentation using multi-resolution simplex meshes with medial representations
The automatic segmentation of the musculoskeletal system from medical images is a particularly challenging task, due to its morphological complexity, its large variability in the ...
Benjamin Gilles, Nadia Magnenat-Thalmann
JMLR
2012
13 years 5 months ago
Structured Sparse Canonical Correlation Analysis
In this paper, we propose to apply sparse canonical correlation analysis (sparse CCA) to an important genome-wide association study problem, eQTL mapping. Existing sparse CCA mode...
Xi Chen, Han Liu, Jaime G. Carbonell
APLAS
2005
ACM
15 years 8 months ago
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
Patrick Cousot
ECRTS
2007
IEEE
15 years 9 months ago
Probabilistic Admission Control to Govern Real-Time Systems under Overload
Existing real-time research focuses on how to formulate, model and enforce timeliness guarantees for task sets whose correctness has a temporal aspect. However, the resulting syst...
Claude-Joachim Hamann, Michael Roitzsch, Lars Reut...