2632 search results - page 234 / 527 » Predictive Representations of State |
158
click to vote
PSTV
1993
15 years 6 months ago
1993
We present a new algorithm that can be used for solving the model−checking problem for linear−time temporal logic. This algorithm can be viewed as the combination of two exist...
118
click to vote
MVA
1990
15 years 6 months ago
1990
A new high speed word matching algorithm for handwritten Chinese character recomition is presented. Acontinuous string without delimiting space is recognized in real time by using...
154
click to vote
ENTCS
2010
15 years 5 months ago
2010
Interface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface struc...
140
click to vote
APAL
2006
15 years 5 months ago
2006
The existence of a final coalgebra is equivalent to the existence of a formal logic with a set (small class) of formulas that has the Hennessy-Milner property of distinguishing co...
121
click to vote
IJON
2007
15 years 5 months ago
2007
Hebbian cell assemblies have been proposed as a model for cortical processing able to bridge between physiology and psychology. Assembly-based theories focused mainly on represent...