7167 search results - page 336 / 1434 » A Technique for Invariant Generation |
154
click to vote
ISSRE
2005
IEEE
16 years 1 months ago
2005
IEEE
Although N-version programming has been employed in some mission-critical applications, the reliability and fault correlation issues remain a debatable topic in the research commu...
173
click to vote
AMR
2003
Springer
16 years 25 days ago
2003
Springer
Abstract. Extraction of visual descriptors is a crucial problem for stateof-the-art visual information analysis. In this paper, we present a knowledgebased approach for detection o...
164
click to vote
FM
2003
Springer
16 years 24 days ago
2003
Springer
This paper presents experiments on formal validation of Java applets. It describes a tool that has been developed at the Gemplus Research Labs. This tool allows to formally prove J...
203
click to vote
ICPR
2002
IEEE
16 years 16 days ago
2002
IEEE
In this paper, we present a novel feature extraction approach based on Curvature Scale Space (CSS) for translation, scale, and rotation invariant recognition of hand poses. First,...
205
click to vote
AVBPA
2001
Springer
16 years 3 days ago
2001
Springer
Gait is an emerging biometric. Current systems are either holistic or feature based and have been demonstrated to be able to recognise people by the way they walk. This paper descr...