1757 search results - page 169 / 352 » Alternating Refinement Relations |
105
Voted
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Modern termination provers rely on a safety checker to construct disjunctively well-founded transition invariants. This safety check is known to be the bottleneck of the ...
120
Voted
ICDE
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper, we propose a simple and flexible execution model that (i) supports a wide spectrum of alternative optimization and execution strategies and their mixtures, (ii) pro...
116
Voted
CRYPTO
2006
Springer
15 years 7 months ago
2006
Springer
In the last ten years, multivariate cryptography has emerged as a possible alternative to public key cryptosystems based on hard computational problems from number theory. Notably,...
122
click to vote
ECML
2006
Springer
15 years 7 months ago
2006
Springer
This work proposes a new approach to the retrieval of images from text queries. Contrasting with previous work, this method relies on a discriminative model: the parameters are sel...
112
click to vote
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
This paper investigates the limits of the predictions based on the classical progress rate theory for Evolution Strategies. We explain on the sphere function why positive progress...