2467 search results - page 342 / 494 » Finite State Machines |
74
Voted
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
Over the past two decades, Gurevich and his colleagues have developed axiomatic foundations for the notion of algorithm, be it classical, interactive, or parallel, and formalized t...
110
Voted
ICANN
2010
Springer
15 years 1 months ago
2010
Springer
We shed light on the key ingredients of reservoir computing and analyze the contribution of the network dynamics to the spatial encoding of inputs. Therefore, we introduce attracto...
89
Voted
CORR
2006
Springer
15 years 27 days ago
2006
Springer
This paper gives an overview of the Caderige project. This project involves teams from different areas (biology, machine learning, natural language processing) in order to develop...
114
Voted
CORR
2006
Springer
15 years 27 days ago
2006
Springer
We propose a new algorithm to solve sparse linear systems of equations over the integers. This algorithm is based on a p-adic lifting technique combined with the use of block matr...
84
Voted
ENTCS
2007
15 years 24 days ago
2007
We present a method for pipeline verification using SMT solvers. It is based on a non-deterministic “mother pipeline” machine (MOP) that abstracts the instruction set archite...