913 search results - page 51 / 183 » Full Abstraction for Linda |
MICCAI
2003
Springer
14 years 9 months ago
2003
Springer
Abstract. We propose a method for automatically correcting the spherical topology of any segmentation under any digital connectivity. A multiple region growing process, concurrentl...
MICCAI
2004
Springer
14 years 9 months ago
2004
Springer
Abstract. A method fully utilizing multiscale line filter responses is presented to estimate the point spread function (PSF) of a CT scanner and diameters of small tubular structur...
EUROCRYPT
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Efficiently computable homomorphisms allow elliptic curve point multiplication to be accelerated using the Gallant-Lambert-Vanstone (GLV) method. Iijima, Matsuo, Chao and...
CADE
2004
Springer
14 years 9 months ago
2004
Springer
Abstract. We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof ...
ICDE
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract-- A large amount of the world's data is both sequential and imprecise. Such data is commonly modeled as Markovian streams; examples include words/sentences inferred f...