15253 search results - page 2422 / 3051 » Integer-Programming Software Systems |
192
click to vote
ICDAR
2009
IEEE
16 years 2 months ago
2009
IEEE
Portable ballot counters using camera technology and manual paper feed are potentially more reliable and less expensive than scanner-based systems. We show that the spatial sampli...
193
Voted
SASP
2009
IEEE
16 years 2 months ago
2009
IEEE
—This paper presents a parallelized architecture for hardware acceleration of multi-view face detection. In our architecture, the multi-view face detection system generates rotat...
186
click to vote
QEST
2009
IEEE
16 years 2 months ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....
223
click to vote
RTCSA
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—Time synchronization is a key component in numerous wireless sensor network applications. Most of the current software based time synchronization approaches suffer from ...
188
click to vote
SADFE
2009
IEEE
16 years 2 months ago
2009
IEEE
We have developed a program called fiwalk which produces detailed XML describing all of the partitions and files on a hard drive or disk image, as well as any extractable metadat...