Gait verification using probabilistic methods

被引:0
|
作者
Bazin, AI [1 ]
Nixon, MS [1 ]
机构
[1] Univ Southampton, Sch Elect & Comp Sci, Southampton, Hants, England
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
In this paper we describe a novel method for gait based identity verification based on Bayesian classification. The verification task is reduced to a two class problem (Client or Impostor) with logistic functions constructed to provide probability estimates of intra-class (Client) and inter-class (Impostor) likelihoods. These likelihoods are combined using Bayes rule and thresholded to provide a decision boundary. Since the outputs of the classifier are probabilities they are particularly well suited for use without modification in classifier fusion schemes. On tests using 1664 examples from 100 clients and 100 impostors the Bayesian method achieved an equal error rate of 7.3%. The improvement over a Euclidean distance classifier was shown to be statistically significant at the 5% level using McNemar's test.
引用
收藏
页码:60 / 65
页数:6
相关论文
共 50 条
  • [41] VERIFICATION OF MULTIPROCESS PROBABILISTIC PROTOCOLS
    PNUELI, A
    ZUCK, L
    DISTRIBUTED COMPUTING, 1986, 1 (01) : 53 - 72
  • [42] Probabilistic Horn Clause Verification
    Albarghouthi, Aws
    STATIC ANALYSIS (SAS 2017), 2017, 10422 : 1 - 22
  • [43] Bloom filters in probabilistic verification
    Dillinger, PC
    Manolios, P
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, PROCEEDINGS, 2004, 3312 : 367 - 381
  • [44] Probabilistic Verification of Network Configurations
    Steffen, Samuel
    Gehr, Timon
    Tsankov, Petar
    Vanbever, Laurent
    Vechev, Martin
    SIGCOMM '20: PROCEEDINGS OF THE 2020 ANNUAL CONFERENCE OF THE ACM SPECIAL INTEREST GROUP ON DATA COMMUNICATION ON THE APPLICATIONS, TECHNOLOGIES, ARCHITECTURES, AND PROTOCOLS FOR COMPUTER COMMUNICATION, 2020, : 750 - 764
  • [45] Program verification as probabilistic inference
    Gulwani, Sumit
    Jojic, Nebojsa
    ACM SIGPLAN NOTICES, 2007, 42 (01) : 277 - 289
  • [46] Accelerating Parametric Probabilistic Verification
    Jansen, Nils
    Corzilius, Florian
    Volk, Matthias
    Wimmer, Ralf
    Abraham, Erika
    Katoen, Joost-Pieter
    Becker, Bernd
    QUANTITATIVE EVALUATION OF SYSTEMS, QEST 2014, 2014, 8657 : 404 - 420
  • [47] Probabilistic Verification of BGP Convergence
    Haeri, Soroush
    Kresic, Dario
    Trajkovic, Ljiljana
    2011 19TH IEEE INTERNATIONAL CONFERENCE ON NETWORK PROTOCOLS (ICNP), 2011,
  • [48] Bloom filters in probabilistic verification
    Dillinger, PC
    Manolios, P
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, 2004, 3312 : 367 - 381
  • [49] Scalable Verification of Probabilistic Networks
    Smolka, Steffen
    Kumar, Praveen
    Kahn, David M.
    Foster, Nate
    Hsu, Justin
    Kozen, Dexter
    Silva, Alexandra
    PROCEEDINGS OF THE 40TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '19), 2019, : 190 - 203
  • [50] COMPOSITIONAL VERIFICATION OF PROBABILISTIC PROCESSES
    LARSEN, KG
    SKOU, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 630 : 456 - 471