Ellipses and Lambda Definability.

Published in: Log. Methods Comput. Sci. (2015)

Keyphrases

fixed point
ellipse detection
sufficient conditions
hough transform
partially occluded
propositional logic
dynamical systems
case study
high level
database systems
lambda calculus