261 search results - page 26 / 53 » Robustness of Temporal Logic Specifications |
102
Voted
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
In this paper, we consider the problem of motion planning for mobile robots with nonlinear hybrid dynamics, and high-level temporal goals. We use a multi-layered synergistic framew...
IJFCS
2006
14 years 9 months ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
99
Voted
ECCV
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. This paper presents a novel descriptor for human detection in video sequence. It is referred to as spatial-temporal granularity -tunable gradients partition (STGGP), whic...
ISBI
2002
IEEE
15 years 10 months ago
2002
IEEE
We propose a new global registration method for estimating the cardiac displacement field in 2D sequences of ultrasound images of the heart. The basic idea is to select a referenc...
151
click to vote
ICCV
2009
IEEE
16 years 2 months ago
2009
IEEE
We present a novel approach for detecting global behaviour
anomalies in multiple disjoint cameras by learning
time delayed dependencies between activities cross camera
views. Sp...