2610 search results - page 152 / 522 » Computational Probabilistic Non-interference |
ENC
2005
IEEE
14 years 3 months ago
2005
IEEE
The main purpose of this work is to develop an intelligent tutor system coupled to a robotics virtual laboratory, in order to offer a tutored virtual learning environment. The stu...
ICIP
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper presents a novel technique for 2D human motion estimation using a single non calibrated camera. The user’s five crucial human features (head, hands and feet) are ext...
DAGM
2005
Springer
14 years 3 months ago
2005
Springer
Usually, optical flow computation is based on grayscale images and the brightness conservation assumption. Recently, some authors have investigated in transferring gradient-based ...
ICALP
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
FMCO
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...