15644 search results - page 23 / 3129 » Brittle System Analysis |
ICDAR
2003
IEEE
15 years 3 months ago
2003
IEEE
In this article, we present a system for the recognition of on-line handwritten mathematical formulas which is used in the electronic chalkboard (E-chalk), a multimedia system for...
CC
2002
Springer
14 years 9 months ago
2002
Springer
The purpose of this paper is to present four basic methods for ional separate modular static analysis of programs by abstract interpretation: simpli cation-based separate analysis;...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
HYBRID
2004
Springer
15 years 3 months ago
2004
Springer