Programmverifikation in lauffähigen Pascal-Programmen.

Bernhard Hohlfeld

Published in: Fachtagung über Programmiersprachen (1984)

Keyphrases

recognizing textual entailment
information retrieval
higher order
search engine
visual object classes
data streams
high level
least squares
learning environment
learning process
query processing
optical flow
ground truth
text mining
generative model
image processing
natural language
d objects
clustering algorithm