Abstract: The local function of a cellular automaton with binary states can be expressed by a formula in propositional logic. The inverse function of a local function of any reversible cellular ...
Abstract: In this paper, we present a technique for incremental and commutative composition of state-machine models of features, using the Feature House framework. The inputs to Feature House are ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback