1659 search results - page 44 / 332 » From Functional Analysis to Iterative Methods |
DFG
2004
Springer
14 years 2 months ago
2004
Springer
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Existing value function approximation methods have been successfully used in many applications, but they often lack useful a priori error bounds. We propose a new approximate bili...
AIPR
2008
IEEE
14 years 3 months ago
2008
IEEE
– This paper addresses the exploitation of massive numbers of image-derived change detections. We use the term “change analysis” to emphasize the intelligence value obtained ...
ISPAN
2002
IEEE
14 years 1 months ago
2002
IEEE
Many applications written in C allocate memory blocks for their major data structures from the heap space at runtime. The analysis of heap-oriented pointers in such programs is cr...
ICIAP
2003
ACM
14 years 9 months ago
2003
ACM
The eight-point algorithm of Hartley occupies an important place in computer vision, notably as a means of providing an initial value of the fundamental matrix for use in iterativ...