423 search results - page 44 / 85 » The Generalization of Generalized Automata: Expression Autom... |
QEST
2008
IEEE
14 years 3 months ago
2008
IEEE
We begin by observing that (discrete-time) QuasiBirth-Death Processes (QBDs) are equivalent, in a precise sense, to (discrete-time) probabilistic 1-Counter Automata (p1CAs), and b...
UPP
2004
Springer
14 years 2 months ago
2004
Springer
Evolving solutions rather than computing them certainly represents an unconventional programming approach. The general methodology of evolutionary computation has already been know...
ISMB
1993
13 years 10 months ago
1993
Understanding self-replication from an information processing perspective is important because, amongother things, it can shed light on molecular mechanismsof biological reproduct...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
— It has been established in the literature that the cascade interconnection of two bilinear systems does not in general produce another bilinear system. The goals of this paper ...
WRLA
2010
13 years 7 months ago
2010
Abstract. This paper presents the foundation, design, and implementation of the Linear Temporal Logic of Rewriting model checker as an extension of the Maude system. The Linear Tem...