Group Testing and Batch Verification.
Gregory M. ZaveruchaDouglas R. StinsonPublished in: ICITS (2009)
Keyphrases
- group testing
- disjoint sets
- model checking
- computer vision
- batch learning
- face verification
- concurrent systems
- steady state
- data structure
- formal methods
- formal verification
- test generation
- batch mode
- asynchronous circuits
- quality prediction
- high security
- bayesian networks
- verification method
- database systems
- batch size
- artificial intelligence