6960 search results - page 915 / 1392 » Continuity Analysis of Programs |
155
Voted
LCPC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...
176
click to vote
UM
2005
Springer
15 years 12 months ago
2005
Springer
This paper improves a recently-presented approach to Web Personalization, named Community Web Directories, which applies personalization techniques to Web Directories. The Web dire...
173
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper proposes a new method for document transformation using OCR to generate various XML documents from printed documents. The proposed method adopts a hierarchical transfor...
149
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper describes a complete system for reading typewritten lexicon words in noisy images - in this case museum index cards. The system is conceptually simple, and straightforw...
147
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper describes prototyping of a form processing system employing dot texture for printing input frames of the form. The dot texture is the texture composed of small dots. It...