1888 search results - page 253 / 378 » Proof theory and computational analysis |
99
Voted
CCS
2010
ACM
15 years 8 months ago
2010
ACM
Many authorization system models include some notion of obligation. Little attention has been given to user obligations that depend on and affect authorizations. However, to be u...
115
click to vote
GECCO
2009
Springer
15 years 8 months ago
2009
Springer
When an optimization problem is encoded using genetic algorithms, one must address issues of population size, crossover and mutation operators and probabilities, stopping criteria...
117
Voted
GECCO
2009
Springer
15 years 8 months ago
2009
Springer
In this paper, we consider multi-objective evolutionary algorithms for the Vertex Cover problem in the context of parameterized complexity. We relate the runtime of our algorithms...
113
Voted
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
The main aim of randomized search heuristics is to produce good approximations of optimal solutions within a small amount of time. In contrast to numerous experimental results, th...
115
click to vote
MMSEC
2006
ACM
15 years 7 months ago
2006
ACM
In this paper, we study the trade-off in steganography between the number of embedding changes and their amplitude. We assume that each element of the cover image is assigned a sc...