258 search results - page 32 / 52 » Arrays of objects |
TACAS
2007
Springer
15 years 3 months ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
ICMCS
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper presents a cost-effective image sharpening solution suitable for single-sensor digital cameras. The proposed solution enhances the structural content of the sensor imag...
100
click to vote
PARELEC
2006
IEEE
15 years 3 months ago
2006
IEEE
We present an organic computing approach for very fast image processing, which we call Marching Pixels (MPs). Using an embedded massively-parallel array of processor elements (PEs...
ISCAS
2005
IEEE
15 years 3 months ago
2005
IEEE
— We discuss a distributed imaging architecture with active illumination for sensor network applications. An event-based CMOS imager is employed at the sensor level, to convert l...
107
click to vote
SIGGRAPH
2010
ACM
15 years 2 months ago
2010
ACM
We introduce a purely passive facial capture approach that uses only an array of video cameras, but requires no template facial geometry, no special makeup or markers, and no acti...