On Reducing Linearizability to State Reachability.

Ahmed Bouajjani Michael Emmi Constantin Enea Jad Hamza

Published in: ICALP (2) (2015)

Keyphrases

state space
high quality
databases
genetic algorithm
website
high level
object recognition
preprocessing
artificial neural networks
hidden markov models