Login / Signup
Lenient/Strict Batch Verification in Several Groups.
Fumitaka Hoshino
Masayuki Abe
Tetsutaro Kobayashi
Published in:
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2003)
Keyphrases
</>
model checking
face verification
batch processing
formal verification
data sets
information retrieval
search engine
image processing
case study
data structure
learning environment
formal analysis
similar objects
verification method