3020 search results - page 13 / 604 » Type Analysis of Prolog Using Type Graphs |
ICFP
2002
ACM
14 years 8 months ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
ICDAR
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper, we present an automatic method for character prototyping and font type characterization in machine-printed document images at a character level. To do so, we use a ...
SOCIALCOM
2010
13 years 6 months ago
2010
A representation of the World Wide Web as a directed graph, with vertices representing web pages and edges representing hypertext links, underpins the algorithms used by web search...
ICDAR
2003
IEEE
14 years 2 months ago
2003
IEEE
The Dempster-Shafer Theory of Evidence is an established method for combining different sources of information. In this paper we explore ways to improve the combination performanc...
IAT
2007
IEEE
14 years 3 months ago
2007
IEEE
Policy making is a multi-actor process: it involves a variety of actors, each trying to further their own interests. How these actors decide and act largely depends on the way the...