4719 search results - page 601 / 944 » Newtonian program analysis |
160
click to vote
APLAS
2006
ACM
16 years 23 days ago
2006
ACM
The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequen...
186
click to vote
ICDAR
2005
IEEE
16 years 12 days ago
2005
IEEE
Cheap and versatile cameras make it possible to easily and quickly capture a wide variety of documents. However, low resolution cameras present a challenge to OCR because it is vi...
230
click to vote
ICDAR
2005
IEEE
16 years 12 days ago
2005
IEEE
Handwritten text lines are prominent structures in freeform digital ink notes and their reliable detection is the foundation to a natural and intelligent interface for note editin...
168
click to vote
LCPC
2005
Springer
16 years 8 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...
185
click to vote
UM
2005
Springer
16 years 8 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...