Indécidabilité de la Théorie des Paires Immédiates de Corps Valués Henseliens.

Françoise Delon

Published in: J. Symb. Log. (1991)

Keyphrases

target tracking
inclusion dependencies
database
databases
computer vision
three dimensional
search algorithm
image analysis
multiresolution