Login / Signup
Citations for the test-of-time award from 1994.
Dexter Kozen
Published in:
CSL-LICS (2014)
Keyphrases
</>
knowledge base
database
real time
social networks
computer vision
image segmentation
artificial neural networks
multiresolution
test data
test suite