2272 search results - page 110 / 455 » Validity Invariants and Effects |
AVSS
2006
IEEE
14 years 4 months ago
2006
IEEE
Recognition algorithms that use data obtained by imaging faces in the thermal spectrum are promising in achieving invariance to extreme illumination changes that are often present...
ISSRE
2005
IEEE
14 years 3 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...
CAV
2004
Springer
14 years 3 months ago
2004
Springer
Bounded Model Checking, although complete in theory, has been thus far limited in practice to falsification of properties that were not invariants. In this paper we propose a term...
SSIAI
2002
IEEE
14 years 3 months ago
2002
IEEE
This report addresses the issues involved in developing a robust segmentation technique capable of finding the location and orientation of the cervical vertebrae in x-ray images. ...
28
Voted
ICASSP
2009
IEEE
14 years 2 months ago
2009
IEEE
With the widespread popularity of digital images and the presence of easy-to-use image editing software, content integrity can no longer be taken for granted, and there is a stron...