147 search results - page 23 / 30 » Approximating Continuous Systems by Timed Automata |
99
Voted
ENTCS
2006
14 years 11 months ago
2006
We demonstrate a novel simulation technique for analysing large stochastic process algebra models, applying this to a secure electronic voting system example. By approximating the...
81
Voted
JMLR
2010
14 years 6 months ago
2010
We consider the problem of tactile discrimination, with the goal of estimating an underlying state parameter in a sequential setting. If the data is continuous and highdimensional...
96
Voted
AMC
2008
14 years 11 months ago
2008
A system of stochastic differential equations is studied describing a compartmental carbon transfer model that includes uncertainties arising in the model from environmental and p...
127
Voted
EMSOFT
2004
Springer
15 years 5 months ago
2004
Springer
In current embedded systems, one of the major concerns is energy conservation. The dynamic voltage-scheduling (DVS) framework, which involves dynamically adjusting the voltage and...
118
click to vote
MOBIHOC
2008
ACM
15 years 11 months ago
2008
ACM
In many emerging applications, data streams are monitored in a network environment. Due to limited communication bandwidth and other resource constraints, a critical and practical...