516 search results - page 53 / 104 » Generalizing the Discrete Timed Automaton |
CDC
2010
IEEE
13 years 5 months ago
2010
IEEE
This research concerns fundamental performance limitations in control of discrete time nonlinear systems. The fundamental limitations are expressed in terms of the average cost of ...
SIAMSC
2011
13 years 4 months ago
2011
The electrical activity of the heart may be modeled by a non-linear system of partial differential equations known as the bidomain model. Due to the rapid variations in the electr...
PODC
2010
ACM
14 years 1 months ago
2010
ACM
We introduce Multi-Trials, a new technique for symmetry breaking for distributed algorithms and apply it to various problems in general graphs. For instance, we present three rand...
MYCRYPT
2005
Springer
14 years 3 months ago
2005
Springer
This article presents optimization results on the recent MOVA undeniable signature scheme presented by Monnerat and Vaudenay at PKC ’04 as well as its generalization proposed at ...
FLAIRS
2006
13 years 11 months ago
2006
We propose a new decision-theoretic approach for solving execution-time deliberation scheduling problems using recent advances in Generalized Semi-Markov Decision Processes (GSMDP...