1219 search results - page 130 / 244 » Verification of Equivalent-Results Methods |
118
Voted
ECRTS
1998
IEEE
15 years 7 months ago
1998
IEEE
In this paper we demonstrate the usage of a formal description technique for real-time systems called PLCAutomaton [4] by applying this method to a real-world case study. To this ...
BMVC
2000
15 years 4 months ago
2000
In this study we seek a fast method for robust, boundary preserving estimation of optical flow. Several studies have addressed this topic and proposed methods that account for vel...
118
click to vote
FMICS
2010
Springer
15 years 3 months ago
2010
Springer
Bitwise instructions, loops and indirect data access pose difficult challenges to the verification of microcontroller programs. In particular, it is necessary to show that an indir...
165
Voted
FMCO
2009
Springer
15 years 1 months ago
2009
Springer
Partial evaluation is a program specialization technique that allows to optimize programs for which partial input is known. We show that partial evaluation can be used with advanta...
116
Voted
ICDAR
2009
IEEE
15 years 1 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...