An Algebraic Box Calculus.

Raymond R. Devillers Hanna Klaudel Elisabeth Pelz

Published in: J. Autom. Lang. Comb. (2000)

Keyphrases

data sets
automated deduction
minimum bounding
real time
computer vision
decision making
search algorithm
digital libraries
qualitative spatial reasoning
timed automata