12950 search results - page 444 / 2590 » On Optimal Timed Strategies |
166
click to vote
NORDICHI
2004
ACM
16 years 13 days ago
2004
ACM
In eye typing systems, a dwell time that adjusts to the user’s natural typing speed is highly desirable. We present an algorithm for on-line adjustment of dwell time developed a...
177
click to vote
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
We define stochastic timed games, which extend two-player timed games with probabilities (following a recent approach by Baier et al), and which extend in a natural way continuous-...
180
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
203
click to vote
SIAMSC
2008
15 years 7 months ago
2008
In this paper, we develop an error estimator and an adaptive algorithm for efficient solution of parabolic partial differential equations. The error estimator assesses the discreti...
175
click to vote
VLSID
2005
IEEE
16 years 7 months ago
2005
IEEE
This paper employs general multivariate normal distribution to develop a new efficient statistical timing analysis methodology. The paper presents the theoretical framework of the...