514 search results - page 77 / 103 » Multiplicative structures in additively large sets |
ERLANG
2006
ACM
14 years 1 months ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
VMV
2004
13 years 9 months ago
2004
The Fourier volume rendering technique operates in the frequency domain and creates line integral projections of a 3D scalar field. These projections can be efficiently generated ...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
Although the Internet AS-level topology has been extensively studied over the past few years, little is known about the details of the AS taxonomy. An AS "node" can repre...
MICCAI
2008
Springer
14 years 8 months ago
2008
Springer
We study the problem of classifying an autistic group from controls using structural image data alone, a task that requires a clinical interview with a psychologist. Because of the...
ISBI
2006
IEEE
14 years 8 months ago
2006
IEEE
In this work we propose a novel rigid image registration approach to determine the position of high-resolution molecular structures in medium-resolution macromolecular complexes. ...