1155 search results - page 160 / 231 » Designing Benchmarks for P2P Systems |
SIGIR
2009
ACM
15 years 4 months ago
2009
ACM
We present the first interdisciplinary work on transforming a popular problem in proteomics, i.e. protein identification from tandem mass spectra, to an Information Retrieval (IR)...
ISORC
2008
IEEE
15 years 4 months ago
2008
IEEE
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. A critical timing measure is the worst-case execution time (...
ICDAR
2007
IEEE
15 years 4 months ago
2007
IEEE
This article describes an off-line handwritten Arabic words recognition system. Both explicit graphem segmentation and feature extraction are originally designed for Latin cursive...
TACAS
2007
Springer
15 years 4 months ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
DATE
2005
IEEE
15 years 3 months ago
2005
IEEE
The increasing complexity and the short life cycles of embedded systems are pushing the current system-onchip designs towards a rapid increasing on the number of programmable proc...