3690 search results - page 561 / 738 » Computation with classical sequents |
132
click to vote
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract An encryption scheme is non-malleable if the adversary cannot transform a ciphertext into one of a related message under the given public key. Although providing a very st...
127
click to vote
ICANN
2005
Springer
15 years 10 months ago
2005
Springer
Image superresolution involves the processing of an image sequence to generate a still image with higher resolution. Classical approaches, such as bayesian MAP methods, require ite...
146
click to vote
ICAPR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This contribution shows how unsupervised Markovian segmentation techniques can be accelerated when implemented on graphics hardware equipped with a Graphics Processing Un...
129
click to vote
ICMI
2005
Springer
15 years 10 months ago
2005
Springer
This paper addresses the problem of detecting interaction groups in an intelligent environment. To understand human activity, we need to identify human actors and their interperso...
145
click to vote
ICN
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Many studies explored the guaranteed TCP throughput problem in DiffServ networks. Several new marking schemes have been proposed in order to solve this problem. Even if ...