6960 search results - page 914 / 1392 » Continuity Analysis of Programs |
184
click to vote
ICCS
2007
Springer
16 years 16 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,...
135
Voted
ACG
2006
Springer
16 years 11 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...
146
Voted
APLAS
2006
ACM
16 years 11 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...
176
click to vote
ICDAR
2005
IEEE
16 years 3 hour 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...
220
click to vote
ICDAR
2005
IEEE
16 years 3 hour 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...