Will This Be Formal?

Steven P. Miller

Published in: TPHOLs (2008)

Keyphrases

information technology
formal methods
information retrieval
management system
formal analysis
machine learning
computer vision
web pages
image processing
case study
data structure
cooperative
digital libraries
formal model