Unary Pushdown Automata and Straight-Line Programs.
Dmitry ChistikovRupak MajumdarPublished in: CoRR (2014)
Keyphrases
- straight line
- hough transform
- line detection
- line segments
- pairwise
- feature points
- curvature estimation
- turing machine
- finite state machines
- vanishing points
- straight line segments
- model checking
- computer programs
- finite state
- circular arcs
- three dimensional
- intersection points
- regular expressions
- radon transform
- line drawings
- tree automata
- machine learning
- pattern matching
- image sequences
- image processing