4770 search results - page 96 / 954 » Flexible Type Analysis |
116
Voted
ICDAR
2009
IEEE
15 years 1 months ago
2009
IEEE
We propose a new method for handwritten word-spotting which does not require prior training or gathering examples for querying. More precisely, a model is trained "on the fly...
133
click to vote
ICDAR
2009
IEEE
15 years 1 months ago
2009
IEEE
Functional image classification is the assignment of different image types to separate classes to optimize their rendering for reading or other specific end task, and is an import...
140
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
METAI is a generic process calculus that can be instantiated by supplying rewriting rules defining an operational semantics to make numerous process calculi such as the -calculus,...
DAGSTUHL
2008
15 years 5 months ago
2008
From 3 February to 8 February 2008, the Dagstuhl Seminar 08061 State" Conference and Research Center (IBFI), Schloss Dagstuhl. 45 researchers, with interests and expertise in ...
260
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...