Sciweavers

2585 search results - page 420 / 517
» computer 1999
Sort
View
MICCAI
1999
Springer
14 years 2 months ago
3D Image Matching Using a Finite Element Based Elastic Deformation Model
We present a new approach for the computation of the deformation field between three dimensional (3D) images. The deformation field minimizes the sum of the squared differences b...
Matthieu Ferrant, Simon K. Warfield, Charles R. G....
MICCAI
1999
Springer
14 years 2 months ago
Rendering the Unfolded Cerebral Cortex
Classical volume rendering is computed by casting a bundle of parallel rays from a flat viewing plane onto the volume data set, and produces as such a spatially limited view of the...
Junfeng Guo, Ioan Alexandru Salomie, Rudi Deklerck...
PKC
1999
Springer
91views Cryptology» more  PKC 1999»
14 years 2 months ago
A Secure Pay-per View Scheme for Web-Based Video Service
With the development of high speed computer networks, video service on the Web has huge market potential in that the video service can be provided to subscribers with greater time ...
Jianying Zhou, Kwok-Yan Lam
PPDP
1999
Springer
14 years 2 months ago
A Virtual Machine for a Process Calculus
Abstract. Despite extensive theoretical work on process-calculi, virtual machine specifications and implementations of actual computational models are still scarce. This paper pre...
Luís M. B. Lopes, Fernando M. A. Silva, Vas...
SAS
1999
Springer
116views Formal Methods» more  SAS 1999»
14 years 2 months ago
Decomposing Non-redundant Sharing by Complementation
Complementation, the inverse of the reduced product operation, is a technique for systemfinding minimal decompositions of abstract domains. Fil´e and Ranzato advanced the state ...
Enea Zaffanella, Patricia M. Hill, Roberto Bagnara