The Resolution Calculus, Alexander Leitsch.

Hans de Nivelle

Published in: J. Log. Lang. Inf. (1998)

Keyphrases

high resolution
low resolution
consequence finding
high quality
multiscale
video sequences
probabilistic model
algebraic structure
provably correct