1860 search results - page 116 / 372 » A Temporal Logic of Robustness |
101
Voted
ATVA
2004
Springer
15 years 4 months ago
2004
Springer
In this paper, we describe a first-order linear time temporal logic (LTL) model checker based on multiway decision graphs (MDG). We developed a first-order temporal language, LMDG ...
112
Voted
CONCUR
2010
Springer
15 years 1 months ago
2010
Springer
Higher dimensional automata (HDA) are a model of concurrency that can express most of the traditional partial order models like Mazurkiewicz traces, pomsets, event structures, or P...
113
Voted
ECCV
1994
Springer
16 years 2 months ago
1994
Springer
Abstract. This paper de nes a temporal continuity constraint that expresses assumptions about the evolution of 2D image velocity, or optical ow, over a sequence of images. Temporal...
128
click to vote
HUMO
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In this paper we present a novel tool for body-part segmentation and tracking in the context of multiple camera systems. Our goal is to produce robust motion cues over ti...
103
click to vote
ICASSP
2010
IEEE
15 years 25 days ago
2010
IEEE
In this paper, we present a robust spectro-temporal feature extraction technique using autoregressive models (AR) of sub-band Hilbert envelopes. AR models of Hilbert envelopes are...