2335 search results - page 181 / 467 » Functional Differentiation of Computer Programs |
CVPR
2004
IEEE
15 years 24 days ago
2004
IEEE
In this paper, we propose a novel linear programming based method to estimate arbitrary motion from two images. The proposed method always finds the global optimal solution of the...
SCCC
2005
IEEE
14 years 4 months ago
2005
IEEE
Databases may not satisfy integrity constraints (ICs) for several reasons. Nevertheless, in most of the cases an important part of the data is still consistent wrt certain desired...
WCFLP
2005
ACM
14 years 4 months ago
2005
ACM
Debugging is one of the essential parts of the software development cycle. However, the usual debugging techniques used in imperative languages such as the step by step execution ...
ITSSA
2006
13 years 10 months ago
2006
: This article proposes a new method for creating test software for object-oriented systems using a genetic programming approach. It is believed that this approach is advantageous ...
SAC
2008
ACM
13 years 10 months ago
2008
ACM
Despite extensive testing in the development phase, residual defects can be a great threat to dependability in the operational phase. This paper studies the utility of lowcost, ge...