8828 search results - page 1704 / 1766 » Formal methods in practice |
CIVR
2007
Springer
15 years 4 months ago
2007
Springer
Among the vast numbers of images on the web are many duplicates and near-duplicates, that is, variants derived from the same original image. Such near-duplicates appear in many we...
GECCO
2007
Springer
15 years 4 months ago
2007
Springer
Real life optimization problems often require finding optimal solution to complex high dimensional, multimodal problems involving computationally very expensive fitness function e...
102
click to vote
ICS
2007
Tsinghua U.
15 years 4 months ago
2007
Tsinghua U.
Grid Workflows are emerging as practical programming models for solving large e-scientific problems on the Grid. However, it is typically assumed that the workflow components eith...
107
click to vote
IMA
2007
Springer
15 years 4 months ago
2007
Springer
In spite of growing importance of AES, the Data Encryption Standard is by no means obsolete. DES has never been broken from the practical point of view. The triple DES is believed ...
ISSAC
2007
Springer
15 years 4 months ago
2007
Springer
We discuss the parallelization of algorithms for solving polynomial systems symbolically by way of triangular decompositions. We introduce a component-level parallelism for which ...