579 search results - page 58 / 116 » Constraint Validation in Model Compilers |
RSP
2006
IEEE
14 years 2 months ago
2006
IEEE
Embedded real-time multimedia applications usually imply data parallel processing. SIMD processors embedded in SOCs are cost-effective to exploit the underlying parallelism. Howev...
OOPSLA
2004
Springer
14 years 1 months ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
—In this paper we propose the progressive clamping method to better model the kinematic anisotropy of joint limits for virtual mannequins or robots. Like recent approaches our me...
TMI
2010
13 years 2 months ago
2010
Abstract--Reconstruction algorithms for fluorescence tomography have to address two crucial issues : (i) the ill-posedness of the reconstruction problem, (ii) the large scale of nu...
CVPR
2007
IEEE
14 years 10 months ago
2007
IEEE
Tracking of speckles in echocardiography enables the study of myocardium deformation, and thus can provide insights about heart structure and function. Most of the current methods...