8 search results - page 2 / 2 » Approximate dynamic programming with affine ADDs |
JOLLI
2002
13 years 4 months ago
2002
Dynamic Predicate Logic (DPL) is a variant of Predicate Logic introduced by Groenendijk en Stokhof. One rationale behind the indroduction of DPL is that it is closer to Natural La...
ICIP
2006
IEEE
14 years 6 months ago
2006
IEEE
This paper presents a novel method for efficient boundary based shapes matching and retrieval in presence of occlusion. In this method, the geometric and topological information o...
CCS
2006
ACM
13 years 9 months ago
2006
ACM
This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input,...