Recent psychological and neurological evidence suggests that biological object recognition is a process of matching sensed images to stored iconic memories. This paper presents a p...
Foveal or spatially-variant image representations are important components of active vision systems. Log-polar sampling is a particularly powerful example as a result of the simpl...
: Computing is being transformed to a model consisting of services that are commoditised and delivered in a manner similar to utilities such as water, electricity, gas, and telepho...
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
Peter C. Dillinger, Panagiotis Manolios, Daron Vro...
Superresolution is a technique to recover a highresolution image from a low resolution image . We develop a variational superresolution method for the subpixel accurate optical ...