Sciweavers

132 search results - page 27 / 27
» Robust place recognition for 3D range data based on point fe...
Sort
View
BILDMED
2007
141views Algorithms» more  BILDMED 2007»
13 years 7 months ago
Angiographic Assessment of Myocardial Perfusion Using Correlation Analysis
Abstract. Although angiography was originally designed as a morphological imaging modality, it is increasingly demanded to retrieve functional information from conventional angiogr...
Yu Deuerling-Zheng, Jan Boese, Stephan Achenbach, ...
POPL
2010
ACM
14 years 3 months ago
Continuity Analysis of Programs
We present an analysis to automatically determine if a program represents a continuous function, or equivalently, if infinitesimal changes to its inputs can only cause infinitesim...
Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerm...