19985 search results - page 3479 / 3997 » Modelling Ecological Data |
189
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Automatically detecting bugs in programs has been a long-held goal in software engineering. Many techniques exist, trading-off varying levels of automation, thoroughness of covera...
184
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
189
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
This paper develops an energy minimization algorithm to reconstruct the 3D motion of transplanted hearts of small animals (rats) from tagged magnetic resonance (MR) sequences. We ...
184
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
The interpretation of the EM tomography of microtubules is challenging due to the low SNR and low contrast of the volume data. Therefore, image enhancement is crucial for the subs...
206
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
We present a novel method of statistical surface-based morphometry based on the use of non-parametric permutation tests. In order to evaluate morphologicaldifferences of brain str...