4035 search results - page 505 / 807 » Useless Actions Are Useful |
158
Voted
AUTOMATICA
2006
15 years 7 months ago
2006
Repetitive processes are a distinct class of 2D systems (i.e. information propagation in two independent directions) of both systems theoretic and applications interest. They cann...
227
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: Nowadays, a variety of (bio-)polymers can be analyzed by mass spectrometry. The detailed interpretation of the spectra requires a huge number of "hypothesis cycle...
162
Voted
CGA
2006
15 years 7 months ago
2006
takes place in an abstract model, connected to therealgamebypassingmessagesbackandforth,asFigure2illustrates.ThegametellstheDMwhenplotpoints occur, and the DM tells the game when i...
210
click to vote
ENTCS
2006
15 years 7 months ago
2006
We compare the expressive power of Hoare (i.e., CSP style) and Milner (i.e., CCS style) synchronizations for defining graph transformations in a framework where edges can perform ...
209
click to vote
ENTCS
2006
15 years 7 months ago
2006
In this paper, we study several linear-time equivalences (Markovian trace equivalence, failure and ready trace equivalence) for continuous-time Markov chains that refer to the pro...