670 search results - page 124 / 134 » Real Time Model Checking Using Timed Concurrent State Machin... |
130
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We propose a SAT-based algorithm for incremental diagnosis of discrete-event systems. The monotonicity is ensured by a prediction window that uses the future observations...
131
click to vote
SRDS
2006
IEEE
15 years 10 months ago
2006
IEEE
Availability prediction in a telecommunication system plays a crucial role in its management, either by alerting the operator to potential failures or by proactively initiating pr...
155
click to vote
SC
2009
ACM
15 years 11 months ago
2009
ACM
Scientific workflow tools allow users to specify complex computational experiments and provide a good framework for robust science and engineering. Workflows consist of pipelines ...
139
click to vote
ISM
2008
IEEE
15 years 10 months ago
2008
IEEE
Many multimedia applications rely on the computation of logarithms, for example, when estimating log-likelihoods for Gaussian Mixture Models. Knowing of the demand to compute loga...
118
click to vote
RTCSA
2007
IEEE
15 years 10 months ago
2007
IEEE
Activity recognition is a hot topic in context-aware computing. In activity recognition, machine learning techniques have been widely applied to learn the activity models from lab...