24188 search results - page 4762 / 4838 » Computing on Encrypted Data |
134
Voted
CRV
2006
IEEE
15 years 4 months ago
2006
IEEE
The retinex algorithm for lightness and color constancy is extended to include 3-dimensional spatial information reconstructed from a stereo image. A key aspect of traditional ret...
159
click to vote
CASES
2007
ACM
15 years 4 months ago
2007
ACM
Aggressive compiler optimizations such as software pipelining and loop invariant code motion can significantly improve application performance, but these transformations often re...
149
click to vote
DALT
2008
Springer
15 years 4 months ago
2008
Springer
ing and Verifying Strategy-proofness for Auction Mechanisms E. M. Tadjouddine, F. Guerin, and W. Vasconcelos Department of Computing Science, King's College, University of Abe...
148
click to vote
FMCAD
2008
Springer
15 years 4 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
125
click to vote
IMC
2007
ACM
15 years 4 months ago
2007
ACM
The ability to discover network organization, whether in the form of explicit topology reconstruction or as embeddings that approximate topological distance, is a valuable tool. T...