5638 search results - page 44 / 1128 » On presence |
104
click to vote
SCALESPACE
2005
Springer
15 years 5 months ago
2005
Springer
The problem of image deblurring in the presence of salt and pepper noise is considered. Standard image deconvolution algorithms, that are designed for Gaussian noise, do not perfor...
102
click to vote
TCC
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
HAPTICS
2003
IEEE
15 years 5 months ago
2003
IEEE
Based on a distributed architecture for real-time collection and broadcast of haptic information to multiple participants, heterogeneous haptic devices (the PHANToM and the CyberG...
LICS
2003
IEEE
15 years 5 months ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...
COMPSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
In the application domain of online information services such as online census information, health records and real-time stock quotes, there are at least two fundamental challenge...