17298 search results - page 287 / 3460 » Abstract computing machines |
133
click to vote
CSR
2010
Springer
15 years 8 months ago
2010
Springer
We study one-head machines through symbolic and topological dynamics. In particular, a subshift is associated to the subshift, and we are interested in its complexity in terms of r...
153
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Machine Science, or Data-driven Research, is a new and interesting scientific methodology that uses advanced computational techniques to identify, retrieve, classify and analyse da...
130
click to vote
HPCA
2008
IEEE
16 years 4 months ago
2008
IEEE
A conceptually appealing approach to supporting a broad range of workloads is a system comprising many small cores that can be fused, on demand, into larger cores. We demonstrate ...
126
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
127
click to vote
PACT
2007
Springer
15 years 10 months ago
2007
Springer
The application of the Orthogonal Organized Finite State Machine (OOFSM) to the representation of data acquired by sensor networks is proposed. The OOFSM was proposed in earlier wo...