662 search results - page 59 / 133 » Heart vs. Model |
FPL
2003
Springer
14 years 1 months ago
2003
Springer
In this paper we propose a design space exploration method targeting reconfigurable architectures that takes place at the algorithmic level and aims to rapidly highlight architect...
ENTCS
2007
13 years 7 months ago
2007
We present a method for pipeline verification using SMT solvers. It is based on a non-deterministic “mother pipeline” machine (MOP) that abstracts the instruction set archite...
TMI
2011
13 years 2 months ago
2011
—The 4D extended Cardiac-Torso (XCAT) phantom was developed to provide a realistic and flexible model of the human anatomy and cardiac and respiratory motions for use in medical ...
SDM
2012
SIAM
11 years 10 months ago
2012
SIAM
Matrix factorization (MF) has been demonstrated to be one of the most competitive techniques for collaborative filtering. However, state-of-the-art MFs do not consider contextual...
MICCAI
2009
Springer
14 years 9 months ago
2009
Springer
Pulmonary valve disease affects a significant portion of the global population and often occurs in conjunction with other heart dysfunctions. Emerging interventional methods enable...