4270 search results - page 453 / 854 » A Permutation Approach to Validation |
177
click to vote
FGR
2004
IEEE
15 years 10 months ago
2004
IEEE
The ability to detect a persons unconstrained hand in a natural video sequence has applications in sign language, gesture recognition and HCI. This paper presents a novel, unsuper...
197
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...
176
click to vote
AVBPA
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. The localization of human faces in digital images is a fundamental step in the process of face recognition. This paper presents a shape comparison approach to achieve fas...
169
click to vote
ICSE
1997
IEEE-ACM
15 years 10 months ago
1997
IEEE-ACM
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
210
click to vote
QOSA
2010
Springer
15 years 10 months ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...