An Intersection Type System for Deterministic Pushdown Automata.

Takeshi Tsukada Naoki Kobayashi

Published in: IFIP TCS (2012)

Keyphrases

cellular automata
finite state automaton
databases
turing machine
multiscale
data sets
machine learning
computer vision
image processing
optimal policy
model checking