670 search results - page 38 / 134 » Real Time Model Checking Using Timed Concurrent State Machin... |
111
click to vote
PADS
2009
ACM
15 years 7 months ago
2009
ACM
We use a realistic interdomain routing experiment platform to conduct real-time attack and defense exercises for training purposes. Our interdomain routing experiment platform int...
115
Voted
RTAS
2005
IEEE
15 years 6 months ago
2005
IEEE
No one middleware communication model completely solves the problem of ensuring schedulability in every DRE system. Furthermore, there have been few studies to date of the trade-o...
112
click to vote
ENTCS
2008
15 years 17 days ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
146
click to vote
MLMI
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Object localization and tracking are key issues in the analysis of scenes for video surveillance or scene understanding applications. This paper presents a contribution t...
151
click to vote
CVPR
2009
IEEE
16 years 7 months ago
2009
IEEE
Many computer vision problems can be formulated in
a Bayesian framework with Markov Random Field (MRF)
or Conditional Random Field (CRF) priors. Usually, the
model assumes that ...