Formalizing falsification: Three delete operations.

Rüdiger Schätz

Published in: Math. Log. Q. (1990)

Keyphrases

multimedia
expert systems
data sets
neural network
decision trees
image segmentation
three dimensional
high level
objective function
object recognition
information technology
hidden markov models
arithmetic operations