1860 search results - page 117 / 372 » A Temporal Logic of Robustness |
KBSE
2006
IEEE
15 years 6 months ago
2006
IEEE
A software system interacts with its environment through system interfaces. Robustness of software systems are governed by various temporal properties related to these interfaces,...
119
click to vote
WACV
2005
IEEE
15 years 6 months ago
2005
IEEE
Moving object detection is very important for video surveillance. In many environments, motion maybe either interesting (salient) motion (e.g., a person) or uninteresting motion (...
110
Voted
ICIP
2001
IEEE
16 years 2 months ago
2001
IEEE
This paper introduces a video object segmentation algorithm developed in the context of the European project Art.live1 where constraints on the quality of segmentation and the pro...
83
Voted
ECCV
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Temporal random variation of luminance in images can manifest in film and video due to a wide variety of sources. Typical in archived films, it also affects scenes rec...
116
Voted
QEST
2008
IEEE
15 years 7 months ago
2008
IEEE
We present a new version of PROBDIVINE – a parallel tool for verification of probabilistic systems against properties formulated in linear temporal logic. Unlike the previous r...