Unary Pushdown Automata and Straight-Line Programs.

Dmitry Chistikov Rupak Majumdar

Published in: ICALP (2) (2014)

Keyphrases

straight line
hough transform
circular arcs
cellular automata
line drawings
pairwise
line segments
finite state machines
line detection
feature points
radon transform
turing machine
curvature estimation
computer programs
finite state
vanishing points
model checking
logic programs