1518 search results - page 255 / 304 » Cryptographic Test Correction |
109
click to vote
ICRA
2010
IEEE
14 years 11 months ago
2010
IEEE
— Although robot navigation in indoor environments has achieved great success, robots are unable to fully navigate these spaces without the ability to operate elevators, includin...
94
Voted
TIFS
2010
14 years 11 months ago
2010
—As the use of digital images has increased, so has the means and the incentive to create digital image forgeries. Accordingly, there is a great need for digital image forensic t...
104
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
A replay tool aiming to reproduce a program's execution interposes itself at an appropriate replay interface between the program and the environment. During recording, it log...
115
Voted
VSTTE
2010
Springer
14 years 10 months ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
124
click to vote
BMCBI
2010
14 years 10 months ago
2010
Background: To exploit the flood of data from advances in high throughput imaging of optically sectioned nuclei, image analysis methods need to correctly detect thousands of nucle...