4116 search results - page 78 / 824 » Type Analysis for CHIP |
APSEC
2004
IEEE
14 years 16 days ago
2004
IEEE
Software engineers need to understand programs in order to effectively maintain them. The call graph, which presents the calling relationships between functions, is a useful repre...
ICDAR
2009
IEEE
13 years 6 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...
ICDAR
2009
IEEE
13 years 6 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...
CORR
2010
Springer
13 years 8 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
13 years 10 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 ...