2136 search results - page 305 / 428 » Learning Behavior Models for Hybrid Timed Systems |
142
click to vote
ET
2007
15 years 4 months ago
2007
In this paper, we focus on reliability, one of the most fundamental and important challenges, in the nanoelectronics environment. For a processor architecture based on the unreliab...
163
click to vote
INTERSPEECH
2010
14 years 11 months ago
2010
Statistical user simulation is an efficient and effective way to train and evaluate the performance of a (spoken) dialog system. In this paper, we design and evaluate a modular da...
143
click to vote
VIS
2004
IEEE
16 years 5 months ago
2004
IEEE
We present a system for simulating and visualizing the propagation of dispersive contaminants with an application to urban security. In particular, we simulate airborne contaminan...
124
click to vote
EUROPAR
2009
Springer
15 years 9 months ago
2009
Springer
Pilot-job systems have emerged as a computation paradigm to cope with heterogeneity of production grids, greatly improving fault ratios and latency. Tools like DIANE, WISDOM-II, To...
159
click to vote
IEEEHPCS
2010
15 years 2 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...