Formal Power Series and the Invertibility of Finite Linear Transducers.

Ivone Amorim António Machiavelo Rogério Reis

Published in: NCMA (2012)

Keyphrases

finite automata
power consumption
sufficient conditions
binary images
neural network
formal model
unit length
machine learning
real time
multiscale
color images
computational power
formal methods
power distribution