5687 search results - page 919 / 1138 » Visualizing Evaluation in Scheme |
210
click to vote
ICDE
2002
IEEE
16 years 5 months ago
2002
IEEE
This paper explores the aggregate effect when caching multiple versions of the same Web object in the transcoding proxy. Explicitly, the aggregate profit from caching multiple ver...
148
Voted
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
This paper introduces a novel approach for the recognition of a wide vocabulary of Arabic handwritten words. Note that there is an essential difference between the global and anal...
306
click to vote
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
We propose a novel set of medial feature interest points based on gradient vector flow (GVF) fields [18]. We exploit the long ranging GVF fields for symmetry estimation by calcula...
120
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
In this paper, we present an approach to interpret handwritten digit strings by employing a two-stage segmentation and recognition scheme. The first stage processing is to deal wi...
135
Voted
DAC
2009
ACM
16 years 5 months ago
2009
ACM
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...