435 search results - page 35 / 87 » fit 2010 |
ICRA
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract-- Motion planning of deformable objects is challenging due to the high degrees-of-freedom inherent in deformation as well as the computational cost of producing physically...
IPPS
2010
IEEE
13 years 5 months ago
2010
IEEE
Software Transactional Memories (STMs) are emerging as a highly attractive programming model, thanks to their ability to mask concurrency management issues to the overlying applic...
LPAR
2010
Springer
13 years 5 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
MICCAI
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We propose a novel probabilistic framework to merge information from DWI tractography and resting-state fMRI correlations. In particular, we model the interaction of late...
MICCAI
2010
Springer
13 years 5 months ago
2010
Springer
In this paper, we propose an efficient algorithm for MR image reconstruction. The algorithm minimizes a linear combination of three terms corresponding to a least square data fitti...