10909 search results - page 330 / 2182 » Evaluating Backup Algorithms |
154
Voted
LPAR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We discuss a collection of mechanized formal proofs of symmetric key block encryption algorithms (AES, MARS, Twofish, RC6, Serpent, IDEA, and TEA), performed in an imple...
184
click to vote
DAWAK
2004
Springer
15 years 11 months ago
2004
Springer
Clustering is a difficult problem especially when we consider the task in the context of a data stream of categorical attributes. In this paper, we propose SCLOPE, a novel algorith...
155
Voted
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
Network design involves several areas of engineering and science. Computer networks, electrical circuits, transportation problems, and phylogenetic trees are some examples. In gene...
154
click to vote
PRICAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The problem of interpreting Natural Language (NL) discourse is generally of exponential complexity. However, since interactions with users must be conducted in real time,...
159
click to vote
SPATIALCOGNITION
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a very efficient SLAM algorithm that works by hierarchically dividing the map into local regions and subregions. At each level of the hierarchy each region stor...