9659 search results - page 1668 / 1932 » Points on Computable Curves |
154
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...
167
click to vote
3DIM
2001
IEEE
15 years 10 months ago
2001
IEEE
We introduce a novel outlook on the self-calibration task, by considering images taken by a camera in motion, allowing for zooming and focusing. Apart from the complex relationshi...
192
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
This paper addresses the problem of protecting the data carried by mobile agents from the possible attacks of malicious execution hosts. Specifically, we consider protection mecha...
182
click to vote
CBMS
2003
IEEE
15 years 10 months ago
2003
IEEE
This article addresses visualization of deformation or shape differences between bones while conventional visualization techniques are often about a single bone such as its 3D rec...
197
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...