4722 search results - page 601 / 945 » Representation-independent program analysis |
190
click to vote
ICCS
2007
Springer
16 years 24 days ago
2007
Springer
We seek to increase user confidence in simulations as they are adapted to meet new requirements. Our approach includes formal representation of uncertainty, lightweight validation,...
137
click to vote
ACG
2006
Springer
16 years 19 days ago
2006
Springer
Seki is a situation of coexistence in the game of Go, where neither player can profitably capture the opponent’s stones. This paper presents a new method for deciding whether an...
157
click to vote
APLAS
2006
ACM
16 years 18 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...
180
click to vote
ICDAR
2005
IEEE
16 years 7 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...
225
click to vote
ICDAR
2005
IEEE
16 years 7 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...