2467 search results - page 264 / 494 » Finite State Machines |
193
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Finite trace semantics is known and well understood for classical automata and non-deterministic labelled transition systems. Jacobs et al introduced a more general definition fo...
291
click to vote
COMMA
2010
15 years 1 months ago
2010
This paper addresses the problem of revising a Dung-style argumentation framework by adding finitely many new arguments which may interact with old ones. We study the behavior of t...
150
click to vote
IJMMSC
2010
15 years 1 months ago
2010
For birth and death processes with finite state space consisting of N + 1 points (N 2), we consider stochastic processes induced by conditioning on hitting the right boundary poi...
183
click to vote
SIAMCO
2010
15 years 1 months ago
2010
In arbitrary dimension, we consider the semi-discrete elliptic operator -2 t + AM , where AM is a finite difference approximation of the operator - x((x) x). For this operator we d...
159
click to vote
TVLSI
2008
15 years 6 months ago
2008
Abstract--The quantum-dot cellular automata (QCA) model offers a novel nano-domain computing architecture by mapping the intended logic onto the lowest energy configuration of a co...