155 search results - page 29 / 31 » Property Testing and Parameter Testing for Permutations |
101
click to vote
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
FOCS
2008
IEEE
15 years 5 months ago
2008
IEEE
A plethora of random graph models have been developed in recent years to study a range of problems on networks, driven by the wide availability of data from many social, telecommu...
ICRA
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract— Active cannulas are remotely actuated thin continuum robots with the potential to traverse narrow and winding environments without relying on “guiding” environmenta...
100
click to vote
ICAPR
2005
Springer
15 years 4 months ago
2005
Springer
Contrary to popular belief, despite decades of research in fingerprints, reliable fingerprint recognition is an open problem. Extracting features out of poor quality prints is t...
IPMI
2003
Springer
15 years 3 months ago
2003
Springer
We use the performance of the Bayesian ideal observer as a figure of merit for hardware optimization because this observer makes optimal use of signal-detection information. Due t...