Verification of Theories

Known as: Verification, verifications 
 
National Institutes of Health

Topic mentions per year

Topic mentions per year

1999-2018
0519992018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Runtime Verification (rv) is aimed at analyzing individual execution traces and temporal behaviors observed from running programs… (More)
  • table 1
Is this relevant?
2016
2016
In this work, a novel countermeasure is proposed for protecting the speaker verification (SV) system to replay based spoofing… (More)
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • table I
Is this relevant?
2016
2016
  • Pikeroen Olivier
  • 2016
For systems which deal with serious or dangerous things (for example nuclear power plant), programs are constrained by… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2015
2015
The i-vector is a low dimensional representation of Gaussian mixture model (GMM) mean supervector derived through factor analysis… (More)
  • figure 1
  • figure 2
  • figure 3
  • table I
  • figure 5
Is this relevant?
2014
2014
The Universal Verification Methodology (UVM) is a coverage driven verification approach, which has become the standard for the… (More)
  • figure 1
  • figure 2
  • table I
  • table II
  • figure 3
Is this relevant?
2014
2014
This paper presents the significance of glottal activity and glottal signature for capturing speaker characteristics via text… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table I
Is this relevant?
2010
2010
The science and technology of verification has advanced rapidly in recent years and it is now being used in substantive… (More)
Is this relevant?
2006
2006
In recent years, industry cooperation has established common language and methodology standards to support electronic system… (More)
Is this relevant?
2006
2006
We propose variable-text text-dependent speaker-recognition systems based on the one-pass dynamic programming (DP) algorithm. The… (More)
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
1999
1999
This paper describes a novel Speaker Verification (SV) architecture that minimises many of the challenging problems faced by SV… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?