2523 search results - page 34 / 505 » Correct Development of Embedded Systems |
HASE
2008
IEEE
14 years 2 months ago
2008
IEEE
—Formal methods provide remarkable tools allowing for high levels of confidence in the correctness of developments. Their use is therefore encouraged, when not required, for the...
TIM
2010
13 years 2 months ago
2010
In this paper, a personal micronavigation system that uses high-resolution gait-corrected inertial measurement units is presented. The goal of this paper is to develop a navigation...
ICDAR
2009
IEEE
13 years 5 months ago
2009
IEEE
This paper proposes a syntactic method for detection and correction of misrecognized mathematical formulae for a practical mathematical OCR system. Linear monadic context-free tre...
ICIP
2009
IEEE
13 years 5 months ago
2009
IEEE
Skew-corrected document images are necessary for subsequent downstream operations such as archiving, printing or improving OCR performance. Image rotation is a necessary and more ...
IEEECIT
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper proposes a new visual modeling environment for embedded component systems that improves the productivity of application developers. This embedded component system decre...