Reading Between the Lines in Constructive Type Theory.

Published in: J. Log. Comput. (1997)

Keyphrases

theoretical framework
straight line
theoretical foundation
website
theoretical basis
databases
information retrieval
artificial intelligence
image processing
case study
image sequences
expert systems
evolutionary algorithm
hidden markov models
line segments
conceptual framework