1701 search results - page 33 / 341 » Computer Science and State Machines |
133
click to vote
MFPS
1993
15 years 7 months ago
1993
al abstract machine for graph reduction Alan Jeffrey Report 3/92 August 1992 Computer Science School of Cognitive and Computing Sciences University of Sussex Brighton BN1 9QH ISSN ...
135
click to vote
MKM
2009
Springer
15 years 9 months ago
2009
Springer
In this short communication we want to give an overview of how OpenMath is used in the European project “SCIEnce” [12]. The main aim of this project is to allow unified commun...
136
click to vote
TCS
2011
14 years 9 months ago
2011
This paper presents a 1D intrinsically universal cellular automaton with four states for a first neighbors neighborhood, improving on the previous lower bound and getting nearer ...
149
click to vote
KDD
2006
ACM
16 years 3 months ago
2006
ACM
Typically, data collected by a spacecraft is downlinked to Earth and pre-processed before any analysis is performed. We have developed classifiers that can be used onboard a space...
125
click to vote
ICMT
2010
Springer
15 years 6 months ago
2010
Springer
Existing bidirectional model transformation languages are mainly state-based: a transformation is considered composed from functions whose inputs and outputs only consist of origin...