5015 search results - page 243 / 1003 » Model Checking a Path |
167
click to vote
SIBGRAPI
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper presents a system that is being developed for the recognition of the handwritten legal amount in Brazilian bank checks. Our strategy used to approach the handwritten leg...
166
click to vote
DEXAW
2006
IEEE
16 years 15 days ago
2006
IEEE
Besides being adopted as the new general data representation format for the Internet, XML is finding increasing acceptance as a native data exchange language. In order to fully e...
201
click to vote
PAMI
2011
14 years 9 months ago
2011
— This paper addresses how to model and correct image blur that arises when a camera undergoes ego motion while observing a distant scene. In particular, we discuss how the blurr...
172
click to vote
EOR
2006
15 years 6 months ago
2006
: This paper addresses the problem of computing minimum risk paths by taking as objective the expected accident cost. The computation is based on a dynamic programming formulation ...
151
click to vote
CP
2003
Springer
15 years 11 months ago
2003
Springer
A reason to distribute constraint satisfaction is privacy: agents may not want to share their values, and they may wish to keep constraints as private as possible. In this paper, w...