691 search results - page 20 / 139 » Equational Abstractions |
MICCAI
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. The simulation of ultrasound wave propagation is of high interest in fields as ultrasound system development and therapeutic ultrasound. From a computational point of vi...
MICCAI
2003
Springer
14 years 9 months ago
2003
Springer
Abstract. Non-rigid registration of landmarked datasets is an important problem that finds many applications in medical image analysis. In this paper, we present a method for inter...
CP
1998
Springer
14 years 29 days ago
1998
Springer
Abstract. This paper takes a fresh look at the application of interval analysis to ordinary differential equations and studies how consistency techniques can help address the accur...
FPL
2006
Springer
14 years 12 days ago
2006
Springer
This paper presents a novel tool flow combining rewriting logic with hardware synthesis. It enables the automated generation of synthesizable VHDL code from mathematical equations...
SIAMSC
2008
13 years 8 months ago
2008
Abstract. In this paper, we empirically investigate the NP-hard problem of finding sparsest solutions to linear equation systems, i.e., solutions with as few nonzeros as possible. ...