5056 search results - page 479 / 1012 » Network Coding Theory |
141
Voted
CACM
2010
15 years 2 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
151
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Spectral imaging is of interest in many applications, including wide-area airborne surveillance, remote sensing, and tissue spectroscopy. Coded aperture spectral snapshot imaging ...
157
click to vote
ICIP
2000
IEEE
16 years 6 months ago
2000
IEEE
This paper presents a method for the reconstruction of a regularlysampled image from its irregularly-spaced samples. Such reconstruction is often needed in image processing and co...
222
Voted
GIS
2007
ACM
16 years 6 months ago
2007
ACM
We discuss the task of reconstructing the topological map of an environment based on the sequences of locations visited by a mobile agent ? this occurs in systems neuroscience, wh...
151
click to vote
WWW
2006
ACM
16 years 5 months ago
2006
ACM
This work addresses conceptual modeling and automatic code generation for Rich Internet Applications, a variant of Web-based systems bridging the gap between desktop and Web inter...