157 search results - page 19 / 32 » Incremental Compilation-to-SAT Procedures |
82
Voted
SIAMMAX
2010
14 years 4 months ago
2010
For the approximation of time-dependent data tensors and of solutions to tensor differential equations by tensors of low Tucker rank, we study a computational approach that can be ...
MICCAI
2009
Springer
15 years 10 months ago
2009
Springer
The anatomy, function and hemodynamics of the aortic and mitral valves are known to be strongly interconnected. An integrated quantitative and visual assessment of the aortic-mitra...
RTSS
2005
IEEE
15 years 3 months ago
2005
IEEE
The design phase of any real-time system requires balancing the limited computational resources against the functional requirements and the performance of the application. The opt...
AND
2009
14 years 7 months ago
2009
Developing better systems for document image analysis requires understanding errors, their sources, and their effects. The interactions between various processing steps are comple...
72
Voted
CVPR
2007
IEEE
15 years 11 months ago
2007
IEEE
The success of tensor-based subspace learning depends heavily on reducing correlations along the column vectors of the mode-k flattened matrix. In this work, we study the problem ...