20197 search results - page 3493 / 4040 » Comparing Computational Power |
141
click to vote
AINTEC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We motivate in this paper the need for application-level proximity. This proximity is a function of network characteristics that decide on the application performance. Mo...
172
click to vote
AVBPA
2005
Springer
15 years 12 months ago
2005
Springer
Biometrics-based authentication systems offer enhanced security and user convenience compared to traditional token-based (e.g., ID card) and knowledge-based (e.g., password) system...
188
click to vote
AVBPA
2005
Springer
15 years 12 months ago
2005
Springer
A novel nonlinear discriminant analysis method, Kernelized Decision Boundary Analysis (KDBA), is proposed in our paper, whose Decision Boundary feature vectors are the normal vecto...
182
click to vote
BERTINORO
2005
Springer
15 years 12 months ago
2005
Springer
Fractal proteins are an evolvable method of mapping genotype to phenotype through a developmental process, where genes are expressed into proteins comprised of subsets of the Mande...
170
click to vote
CAV
2005
Springer
15 years 12 months ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...