4107 search results - page 387 / 822 » The Generalized Lambda Test |
224
Voted
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...
211
click to vote
IGARSS
2009
15 years 4 months ago
2009
A problem when working with optical satellite or airborne images is the need to compensate for changes in the illumination conditions at the time of acquisition. This is particula...
233
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We investigate the ground clutter homogeneity and target detection performance using airborne multi-channel AESA (Active Electronically Scanned Array) radar data from flight trial...
227
click to vote
ASPLOS
2011
ACM
14 years 10 months ago
2011
ACM
Concurrency bugs are caused by non-deterministic interleavings between shared memory accesses. Their effects propagate through data and control dependences until they cause softwa...
229
click to vote
ECCC
2011
14 years 10 months ago
2011
A q-query locally testable code (LTC) is an error correcting code that can be tested by a randomized algorithm that reads at most q symbols from the given word. An important questi...