Spherical coverage verification.

Marko D. Petkovic Dragoljub Pokrajac Longin Jan Latecki

Published in: Appl. Math. Comput. (2012)

Keyphrases

model checking
face verification
database
asynchronous circuits
formal analysis
formal methods
concurrent systems
high security
arbitrary shape
spherical harmonics
test suite
microarray
petri net
relational databases
three dimensional
case study
genetic algorithm
machine learning
real world