780 search results - page 72 / 156 » Correctness of Component-Based Adaptation |
ICIP
2007
IEEE
14 years 10 months ago
2007
IEEE
The Variational Bayesian approach has recently been proposed to tackle the blind image restoration (BIR) problem. We consider extending the procedures to include realistic boundar...
ICPR
2002
IEEE
14 years 10 months ago
2002
IEEE
This paper describes the recognition of container code characters. The system has to deal with outdoor images which usually have damaged characters and obtain an answer in real ti...
CADE
2007
Springer
14 years 9 months ago
2007
Springer
Abstract. We present KeY-C, a tool for deductive verification of C programs. KeY-C allows to prove partial correctness of C programs relative to pre- and postconditions. It is base...
ICCAD
2007
IEEE
14 years 6 months ago
2007
IEEE
—We present an implementation of an algorithm for constructing provably fast circuits for a class of Boolean functions with input signals that have individual starting times. We ...
ICALT
2006
IEEE
14 years 3 months ago
2006
IEEE
The scenarization of educational activities, especially those that are going to take place within elearning platforms, has for a number of years represented a major challenge for ...