170 search results - page 23 / 34 » On computational properties of chains of recurrences |
166
click to vote
MMAS
2010
Springer
15 years 25 days ago
2010
Springer
This paper studies mathematical models of biopolymer supramolecular aggregates that are formed by the self-assembly of single monomers. We develop a new multiscale numerical appro...
150
click to vote
LICS
2009
IEEE
16 years 21 days ago
2009
IEEE
—We associate a statistical vector to a trace and a geometrical embedding to a Markov Decision Process, based on a distance on words, and study basic Membership and Equivalence p...
215
click to vote
ICNC
2005
Springer
15 years 11 months ago
2005
Springer
From the last decade, modeling of cognitive agents have drawn great attention and provide a new paradigm for addressing fundamental questions in cognitive science. In this paper, a...
172
click to vote
QEST
2005
IEEE
15 years 11 months ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
150
click to vote
SAC
2010
ACM
16 years 28 days ago
2010
ACM
We study the fifo and causal multicast problem, two group-communication abstractions that deliver messages in an order consistent with their context. With fifo multicast, the co...