191 search results - page 39 / 39 » Formal verification of the correctness in hybrid expert syst... |
EPIA
1999
Springer
13 years 10 months ago
1999
Springer
In this paper we propose a hybrid system that bridges the gap between traditional image processing methods, used for low-level object recognition, and abductive constraint logic pr...