3954 search results - page 39 / 791 » Image-based Model Completion |
125
Voted
ICIP
2000
IEEE
16 years 3 months ago
2000
IEEE
This paper presents a novel wavelet-based image denoising algorithm under overcomplete expansion. In order to optimize the denoising performance, we make a systematic study of bot...
117
click to vote
MFCS
2010
Springer
15 years 9 days ago
2010
Springer
In the context of modelling cryptographic tools like blind signatures and homomorphic encryption, the DolevYao model is typically extended with an operator over which encryption i...
131
Voted
AAAI
2011
14 years 1 months ago
2011
Suppose an unpredictable evader is free to move around in a polygonal environment of arbitrary complexity that is under full camera surveillance. How many pursuers, each with the ...
116
Voted
LICS
1999
IEEE
15 years 6 months ago
1999
IEEE
A new concurrent form of game semantics is introduced. This overcomes the problems which had arisen with previous, sequential forms of game semantics in modelling Linear Logic. It...
111
click to vote
APLAS
2008
ACM
15 years 3 months ago
2008
ACM
This paper introduces a new type system designed for safe systems programming. The type system features a new mutability model that combines unboxed types with a consistent typing ...