Towards an Axiomatization of Simple Analog Algorithms
Abstract
We propose a formalization of analog algorithms, extending the framework of abstract state machines to continuous-time models of computation.
Domains
Computational Complexity [cs.CC]
Origin : Files produced by the author(s)
Loading...