5084 search results - page 787 / 1017 » Proving Possibility Properties |
177
click to vote
EUROCAST
2003
Springer
15 years 11 months ago
2003
Springer
In this paper we introduce a new generic selection method for Genetic Algorithms. The main difference of this selection principle in contrast to conventional selection models is g...
182
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
This paper presents a non-local kernel regression (NL-KR) method for image and video restoration tasks, which exploits both the non-local self-similarity and local structural regul...
165
click to vote
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
Modern software systems have frequently to face unexpected events, reacting so to reach a consistent state. In the field of concurrent and mobile systems (e.g., for web services) ...
178
click to vote
ACSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Various cryptographic puzzle schemes are proposed as a defense mechanism against denial of service attack. But, all these puzzle schemes face a dilemma when there is a l...
145
click to vote
ITNG
2010
IEEE
15 years 11 months ago
2010
IEEE
—In a user-centric service creation process, users should drive the service creation, in which services can be composed out of existing services. However, the creation is expecte...