3047 search results - page 160 / 610 » A Temporal Consensus Model |
LICS
2005
IEEE
15 years 3 months ago
2005
IEEE
Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. In this paper, we show that the satisfiability problem for MTL over finite timed words...
89
Voted
BIOSURVEILLANCE
2008
Springer
15 years 5 days ago
2008
Springer
Early detection of bio-terrorist attacks is an important problem in public health surveillance. In this paper, we focus on the detection and characterization of outdoor aerosol rel...
ESANN
2007
14 years 11 months ago
2007
In a previous work, we developed a quasi-efficient maximum likelihood approach for blindly separating stationary, temporally correlated sources modeled by Markov processes. In this...
MVA
2007
14 years 11 months ago
2007
A novel scheme is proposed for achieving motion segmentation in low-frame rate videos, with application to temporal super resolution. Probabilistic generative models are commonly ...
76
Voted
AIIDE
2006
14 years 11 months ago
2006
Flight simulators are becoming more sophisticated and realistic, and the requirements of those using them are becoming more demanding. Air traffic control simulation for such simu...