4722 search results - page 602 / 945 » Representation-independent program analysis |
165
click to vote
LCPC
2005
Springer
16 years 4 days 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...
179
click to vote
UM
2005
Springer
16 years 3 days 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...
179
click to vote
ICDAR
2003
IEEE
15 years 12 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...
156
Voted
ICDAR
2003
IEEE
15 years 12 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...
151
click to vote
ICDAR
2003
IEEE
15 years 12 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...