4116 search results - page 78 / 824 » Type Analysis for CHIP |
101
Voted
APSEC
2004
IEEE
15 years 6 months 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...
103
Voted
ICDAR
2009
IEEE
15 years 14 days 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...
122
Voted
ICDAR
2009
IEEE
15 years 14 days 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...
121
Voted
CORR
2010
Springer
15 years 2 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,...
72
Voted
DAGSTUHL
2008
15 years 4 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 ...