3951 search results - page 474 / 791 » Automatic amortized analysis |
166
click to vote
CONCUR
2005
Springer
16 years 9 days ago
2005
Springer
Research on the automatic analysis of cryptographic protocols has so far mainly concentrated on reachability properties, such as secrecy and authentication. Only recently it was sh...
156
click to vote
EUROGP
2005
Springer
16 years 8 days ago
2005
Springer
We extend our analysis of repetitive patterns found in genetic programming genomes to tree based GP. As in linear GP, repetitive patterns are present in large numbers. Size fair cr...
168
click to vote
GECCO
2005
Springer
16 years 8 days ago
2005
Springer
This research presents an analysis of the reported successes of the Cartesian Genetic Programming method on a simplified form of the Boolean parity problem. We show the method of...
188
click to vote
IBPRIA
2005
Springer
16 years 8 days ago
2005
Springer
We present an inherently discriminative approach to face recognition. This is achieved by automatically selecting key points from lines that sketch the face and extracting textural...
216
click to vote
IBPRIA
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. This paper describes a framework for analyzing video sequences of a driver and determining his level of attention. The proposed system deals with the computation of eyeli...