2173 search results - page 243 / 435 » On the Values of Reducibility Candidates |
147
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Genetic Programming often uses excessive computational resources because the population size and the maximum number of generations per run are not optimized. We have deve...
157
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...
170
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
Temporal specification languages provide an efficient way to express events comprised of complex temporal scenarios. Assertions based on these languages are used to detect viola...
155
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we present an hardware implementation of the RSA algorithm for public-key cryptography. The RSA algorithm consists in the computation of modular exponentials on larg...
157
click to vote
ICDM
2003
IEEE
15 years 12 months ago
2003
IEEE
A novel approach to clustering co-occurrence data poses it as an optimization problem in information theory which minimizes the resulting loss in mutual information. A divisive cl...