433 search results - page 44 / 87 » Contracts: From Analysis to C Implementation |
IUI
2006
ACM
15 years 3 months ago
2006
ACM
Information workers are often involved in multiple tasks and activities that they must perform in parallel or in rapid succession. In consequence, task management itself becomes y...
BMCBI
2007
14 years 10 months ago
2007
Background: The ability to visualize genomic features and design experimental assays that can target specific regions of a genome is essential for modern biology. To assist in the...
103
click to vote
ESORICS
2002
Springer
15 years 9 months ago
2002
Springer
We consider the problem of offloading secure access-controlled content from central origin servers to distributed caches so clients can access a proximal cache rather than the orig...
ICDAR
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper describes a complete system for reading typewritten lexicon words in noisy images - in this case museum index cards. The system is conceptually simple, and straightforw...
ICSC
1995
Springer
15 years 1 months ago
1995
Springer
Abstract. We present a fast resampling scheme using vector quantization. Our method di ers from prior work applying vector quantization to speeding up image and volume processing i...