23590 search results - page 4607 / 4718 » Algorithm Performance Contest |
131
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
Miniaturization of devices and the ensuing decrease in the threshold voltage has led to a substantial increase in the leakage component of the total processor energy consumption. ...
163
click to vote
FOIKS
2006
Springer
15 years 8 months ago
2006
Springer
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
130
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
Genetic Parallel Programming (GPP) is a novel Genetic Programming paradigm. Based on the GPP paradigm and a local search operator - FlowMap, a logic circuit synthesizing system in...
158
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
Evolutionary algorithms have successfully been applied to software testing. Not only approaches that search for numeric test data for procedural test objects have been investigate...
154
click to vote
ASIACRYPT
2003
Springer
15 years 8 months ago
2003
Springer
Motivated by privacy issues associated with dissemination of signed digital certificates, we define a new type of signature scheme called a `Universal Designated-Verifier Signatur...