313 search results - page 56 / 63 » Lazy Abstraction with Interpolants |
IPMI
2007
Springer
14 years 8 months ago
2007
Springer
Abstract. Volume segmentation is a relatively slow process and, in certain circumstances, the enormous amount of prior knowledge available is underused. Model-based liver segmentat...
ARITH
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract. We present efficient squaring formulae based on the Toom-Cook multiplication algorithm. The latter always requires at least one non-trivial constant division in the inte...
ICCS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Multiphysics and multiscale simulation systems are emerging as a new grand challenge in computational science, largely because of increased computing power provided by th...
INEX
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper describes the official measures of retrieval effectiveness that are employed for the Ad Hoc Track at INEX 2007. Whereas in earlier years all, but only, XML el...
IJCNN
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— This paper presents the use of a newly created network structure known as a Self-Delaying Dynamic Network (SDN). The SDNs were created to process data which varies with...