Experimental Program Verification in the Theorema System.

Tudor Jebelean Laura Kovács Nikolaj Popov

Published in: ISoLA (Preliminary proceedings) (2004)

Keyphrases

data mining
image segmentation
database systems
object recognition
principal component analysis