1753 search results - page 161 / 351 » State Machines |
111
click to vote
BIRTHDAY
2010
Springer
15 years 5 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...
127
Voted
ICWE
2010
Springer
15 years 3 months ago
2010
Springer
In this paper, we present a DSL to specify business and web transactions in a systematic way, addressing both informational and behavioral perspectives. Our meta-model is based on ...
178
click to vote
ENTCS
2010
15 years 2 months ago
2010
We present a new variant of the Earley parsing algorithm capable of efficiently supporting context-free grammars with regular right hand-sides. We present the core state-machine d...
171
click to vote
PACT
2005
Springer
15 years 10 months ago
2005
Springer
The goal of our investigation is to find automatically the best rule for a cell in the cellular automata model. The cells are either of type Obstacle, Empty or Creature. Only Crea...
128
click to vote
ALT
2010
Springer
15 years 6 months ago
2010
Springer
Many algorithms for grammatical inference can be viewed as instances of a more general algorithm which maintains a set of primitive elements, which distributionally define sets of ...