504 search results - page 13 / 101 » Explaining Verification Conditions |
WORDS
2002
IEEE
14 years 20 days ago
2002
IEEE
Distributed programming is applicable in a wide range of domains such as control systems. These systems are subject to mutable environments and must also provide a time varying ad...
CVPR
2007
IEEE
14 years 9 months ago
2007
IEEE
We study the influence of numerical conditioning on the accuracy of two closed-form solutions to the overconstrained relative orientation problem. We consider the well known eight...
FGR
2004
IEEE
13 years 11 months ago
2004
IEEE
The variation of illumination conditions of an object can produce large changes in the image plane, significantly impairing the performance of face verification algorithms. We pre...
ENTCS
2006
13 years 7 months ago
2006
In this paper, we describe a system, written in Haskell, for the automated verification of Web sites which can be used to specify (partial) correctness and completeness properties...
GECCO
2003
Springer
14 years 1 months ago
2003
Springer
Evolutionary Testing (ET) has been shown to be very successful in testing real world applications [16]. However, it has been pointed out [11], that further research is necessary if...