Implied Set Closure and Its Application to Memory Consistency Verification.

Surender Baswana Shashank K. Mehta Vishal Powar

Published in: CAV (2008)

Keyphrases

small number
feature selection
databases
artificial intelligence
case study
multiscale
data structure
probability distribution