295 search results - page 37 / 59 » Simultaneous Quantifier Elimination |
MICCAI
2007
Springer
14 years 9 months ago
2007
Springer
In functional connectivity analysis, networks of interest are defined based on correlation with the mean time course of a user-selected `seed' region. In this work we propose ...
MICCAI
2005
Springer
14 years 9 months ago
2005
Springer
Abstract. This paper presents a robust and fully automated registration algorithm for registration of images of Quadrature Tomographic Microscopy (QTM), which is an optical interfe...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Code clones are generally considered to be an obstacle to software maintenance. Research has provided evidence that it may not always be practical, feasible, or cost-effective to ...
ISBI
2004
IEEE
14 years 9 months ago
2004
IEEE
This paper presents a method for robustly measuring temporal morphological brain changes, by means of a 4D image warping mechanism. Longitudinal stability is achieved by consideri...
PERCOM
2006
ACM
14 years 8 months ago
2006
ACM
The advances in wireless networking and the consequent emergence of new applications that wireless networks increasingly support inevitably leads to low capability mobile nodes co...