Sciweavers

10707 search results - page 1759 / 2142
» Designing executable abstractions
Sort
View
MICCAI
2003
Springer
16 years 8 months ago
Statistical Atlas-Based Detection of Abnormalities in Brain Perfusion: Comparing Models and Estimating Detection Performance
Abstract. When developing statistical models of normal brain perfusion, two questions are of crucial interest: How well does an atlas describe normality and how sensitive is it at ...
Torbjørn Vik, Fabrice Heitz, Jean-Paul Arms...
185
Voted
IPMI
2009
Springer
16 years 8 months ago
Inverse-Consistent Surface Mapping With Laplace-Beltrami Eigen-Features
Abstract. We propose in this work a novel variational method for computing maps between surfaces by combining informative geometric features and regularizing forces including inver...
Arthur W. Toga, Jonathan H. Morra, Paul M. Thompso...
207
Voted
WWW
2007
ACM
16 years 8 months ago
Tag clouds for summarizing web search results
In this paper, we describe an application, PubCloud that uses tag clouds for the summarization of results from queries over the PubMed database of biomedical literature. PubCloud ...
Benjamin M. Good, Byron Yu-Lin Kuo, Mark D. Wilkin...
ESORICS
2009
Springer
16 years 8 months ago
A Privacy Preservation Model for Facebook-Style Social Network Systems
Abstract. Recent years have seen unprecedented growth in the popularity of social network systems, with Facebook being an archetypical example. The access control paradigm behind t...
Philip W. L. Fong, Mohd M. Anwar, Zhen Zhao
197
Voted
SAS
2009
Springer
172views Formal Methods» more  SAS 2009»
16 years 8 months ago
Type Analysis for JavaScript
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but ...
Anders Møller, Peter Thiemann, Simon Holm J...
« Prev « First page 1759 / 2142 Last » Next »