A Unified Approach to Kinship Verification.

Eran Dahan Yosi Keller

Published in: IEEE Trans. Pattern Anal. Mach. Intell. (2021)

Keyphrases

model checking
database
data sets
artificial intelligence
verification method
formal analysis
formal verification
test generation
social networks
multiscale
multi agent systems
probabilistic model
signature verification
asynchronous circuits
concurrent systems