A Calculus of Bounded Capacities.

Franco Barbanera Michele Bugliesi Mariangiola Dezani-Ciancaglini Vladimiro Sassone

Published in: ASIAN (2003)

Keyphrases

relational databases
real time
multiscale
automated theorem proving
computer vision
information systems
decision trees
asymptotically optimal