An Implementation of Flush Channels Based on a Verification Methodology.

Phil Kearns Tracy Camp Mohan Ahuja

Published in: ICDCS (1992)

Keyphrases

implementation details
model checking
neural network
image processing
data structure
general purpose
face verification