10890 search results - page 1672 / 2178 » Automatic Complexity Analysis |
212
click to vote
ICPP
2006
IEEE
16 years 28 days ago
2006
IEEE
This paper discusses fast parallel algorithms for evaluating several centrality indices frequently used in complex network analysis. These algorithms have been optimized to exploi...
193
click to vote
TPHOL
2005
IEEE
16 years 14 days ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
188
click to vote
SC
2005
ACM
16 years 13 days ago
2005
ACM
We present the development and use of a novel distributed geohazard modeling environment for the analysis and interpretation of large scale earthquake data sets. Our work demonstr...
202
click to vote
GECCO
2010
Springer
15 years 11 months ago
2010
Springer
Recent advances in genotyping technology have led to the generation of an enormous quantity of genetic data. Traditional methods of statistical analysis have proved insufficient i...
267
click to vote
MICCAI
2001
Springer
15 years 11 months ago
2001
Springer
Standard practice in quantitative structural neuroimaging is a segmentation into brain tissue, subcortical structures, fluid space and lesions followed by volume calculations of gr...