1980 search results - page 356 / 396 » Compositional Model Checking of Real Time Systems |
KDD
2004
ACM
14 years 2 months ago
2004
ACM
Detection of space-time clusters is an important function in various domains (e.g., epidemiology and public health). The pioneering work on the spatial scan statistic is often use...
WSC
2007
13 years 11 months ago
2007
Large scale / mega projects are lengthy complex endeavors that require significant planning by management, engineers and construction personnel to ensure the success of the projec...
UAI
2004
13 years 10 months ago
2004
Early, reliable detection of disease outbreaks is a critical problem today. This paper reports an investigation of the use of causal Bayesian networks to model spatio-temporal pat...
WSCG
2003
13 years 10 months ago
2003
Simulations for training and analysis incorporating haptic feedback are becoming more popular and the sophistication of these simulations is increasing. Many systems now allow a r...
ETRA
2010
ACM
13 years 10 months ago
2010
ACM
This paper presents a set of qualitative and quantitative scores designed to assess performance of any eye movement classification algorithm. The scores are designed to provide a ...