2701 search results - page 87 / 541 » On the form of witness terms |
136
click to vote
ICIAR
2007
Springer
16 years 14 days ago
2007
Springer
To a large extent noise suppression algorithms have been designed to deal with the two most classically defined types of noise: impulsive and Gaussian noise. However digitized imag...
193
click to vote
ICICIC
2006
IEEE
16 years 11 days ago
2006
IEEE
Traditional nonlinear filtering techniques are observed in underutilization of blur identification techniques, and vice versa. To improve blind image restoration, a designed edg...
137
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we introduce an application of real-coded genetic algorithms to the problem of consistent graph layout and exploring the role of mutation for this particular problem...
127
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
170
click to vote
CCS
2004
ACM
15 years 11 months ago
2004
ACM
We study a countermeasure proposed to protect Chinese remainder theorem (CRT) computations for RSA against fault attacks. The scheme was claimed to be provably secure. However, we...