Augmenting Types with Unbounded Demonic and Angelic Nondeterminacy.

Joseph M. Morris

Published in: MPC (2004)

Keyphrases

lower bound
varying degrees
database
machine learning
search engine
computer vision
information systems
digital libraries
control system
multiple types