Sloth - A Tool for Checking Minimal-Strictness.

Jan Christiansen

Published in: PADL (2011)

Keyphrases

neural network
database
databases
cooperative
data sets
information technology
trade off
multiresolution
medical images
software tools