A Verification of Extensible Record Types.

Andreas V. Hense Gert Smolka

Published in: IWAR (1992)

Keyphrases

object oriented
database
face verification
case study
high level
asynchronous circuits
model checking
general purpose
digital images
expert systems
search algorithm
image segmentation
image processing
social networks
search engine
genetic algorithm
machine learning
real time