Sciweavers

2083 search results - page 326 / 417
» Perception and Experience in Problem Solving
Sort
View
108
Voted
EUROPKI
2004
Springer
15 years 10 months ago
Flexible and Scalable Public Key Security for SSH
Abstract. A standard tool for secure remote access, the SSH protocol uses publickey cryptography to establish an encrypted and integrity-protected channel with a remote server. How...
Yasir Ali, Sean W. Smith
FORMATS
2004
Springer
15 years 10 months ago
Bounded Model Checking for Region Automata
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
Fang Yu, Bow-Yaw Wang, Yao-Wen Huang
136
Voted
GECCO
2004
Springer
15 years 10 months ago
Improving the Performance of a Genetic Algorithm Using a Variable-Reordering Algorithm
Genetic algorithms have been successfully applied to many difficult problems but there have been some disappointing results as well. In these cases the choice of the internal repre...
Eduardo Rodriguez-Tello, Jose Torres-Jimenez
147
Voted
PVM
2004
Springer
15 years 10 months ago
Open MPI: Goals, Concept, and Design of a Next Generation MPI Implementation
Abstract. A large number of MPI implementations are currently available, each of which emphasize different aspects of high-performance computing or are intended to solve a speci...
Edgar Gabriel, Graham E. Fagg, George Bosilca, Tha...
ECCV
2010
Springer
15 years 10 months ago
Towards Optimal Naive Bayes Nearest Neighbor
Abstract. Naive Bayes Nearest Neighbor (NBNN) is a feature-based image classifier that achieves impressive degree of accuracy [1] by exploiting ‘Image-toClass’ distances and b...