1633 search results - page 283 / 327 » On the Verification of Temporal Properties |
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
Most existing video denoising algorithms assume a single statistical model of image noise, e.g. additive Gaussian white noise, which often is violated in practice. In this paper, ...
ICPR
2010
IEEE
15 years 6 months ago
2010
IEEE
We present a method that automatically detects chewing events in surveillance video of a subject. Firstly, an Active Appearance Model (AAM) is used to track a subject’s face acr...
108
click to vote
VMCAI
2009
Springer
15 years 6 months ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...
INFOCOM
2009
IEEE
15 years 6 months ago
2009
IEEE
—We propose an embedding and routing scheme for arbitrary network connectivity graphs, based on greedy routing and utilizing virtual node coordinates. In dynamic multihop packet-...
IPPS
2009
IEEE
15 years 6 months ago
2009
IEEE
A new quality metric, called area, is introduced for schedules that execute dags, i.e., computations having intertask dependencies. Motivated by the temporal unpredictability enco...