Unique paths as formal points.

Thierry Coquand Peter Schuster

Published in: J. Log. Anal. (2011)

Keyphrases

path finding
data points
straight line segments
point sets
feature points
data sets
databases
similarity measure
multiscale
object recognition
case study
e learning
path planning
computer vision
formal specification
neural network
single point
mathematical theory
formal language