Sharpening the Incompleteness of the Duration Calculus.

Dimitar P. Guelev

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

digital images
incomplete information
edge detection
gray level
automated deduction
missing values
formal language
database
image analysis
computer algebra
image sharpening
neural network
image processing
theorem prover