Building Theories in Nuprl.

Published in: Logic at Botik (1989)

Keyphrases

multiscale
theoretical framework
case study
image segmentation
databases
data mining
web services
high level
pattern recognition
domain knowledge
computational models
cognitive psychology