1245 search results - page 192 / 249 » Binary Sparse Coding |
153
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
103
click to vote
ICIP
1998
IEEE
16 years 4 months ago
1998
IEEE
In this paper we study the e ects of transmission noise on xed-length coded wavelet coe cients. We extend our previous work on maximum a posteriori detectors 1] to include interbi...
122
click to vote
OSDI
2006
ACM
16 years 3 months ago
2006
ACM
XFI is a comprehensive protection system that offers both flexible access control and fundamental integrity guarantees, at any privilege level and even for legacy code in commodit...
138
click to vote
DCC
2005
IEEE
16 years 2 months ago
2005
IEEE
A recent publication introduced a Visual Crypto (VC) system, based on the polarisation of light. This VC system has good resolution, contrast and colour properties. Mathematically,...
101
click to vote
MICCAI
2009
Springer
16 years 9 days ago
2009
Springer
The measure of lumen volume on radial arteries can be used to evaluate the vessel response to different vasodilators. In this paper, we present a framework for automatic lumen segm...