1860 search results - page 36 / 372 » A Temporal Logic of Robustness |
FGR
2006
IEEE
14 years 4 months ago
2006
IEEE
Robust face detection presents a difficult problem in real interaction scenarios, that, in order to achieve, most often requires employing additional sources of information. In t...
APIN
2002
13 years 9 months ago
2002
We develop the scheme of indefinite constraint databases using first-order logic as our representation language. When this scheme is instantiated with temporal constraints, the res...
PAMI
2007
13 years 9 months ago
2007
—In multitarget tracking, the main challenge is to maintain the correct identity of targets even under occlusions or when differences between the targets are small. The paper pro...
PST
2004
13 years 11 months ago
2004
In this paper we present a new approach to stateful intrusion detection. It is based on a temporal logic which has the capability to express temporary properties, which are propert...
ICPR
2010
IEEE
13 years 9 months ago
2010
IEEE
—The use of vital signs as a biometric is a potentially viable approach in a variety of application scenarios such as security and personalized health care. In this paper, a nove...