10048 search results - page 23 / 2010 » The Structure and Performance of Interpreters |
ESWS
2008
Springer
13 years 10 months ago
2008
Springer
Participants at both end of the communication channel must share common pictogram interpretation to communicate. However, because pictogram interpretation can be ambiguous, pictogr...
ICCV
2005
IEEE
14 years 2 months ago
2005
IEEE
— We present a general approach for the hierarchical segmentation and labeling of document layout structures. This approach models document layout as a grammar and performs a glo...
SAS
2012
Springer
11 years 11 months ago
2012
Springer
Abstract. Shivers’s escape technique enables one to analyse the control flow of higher-order program fragments. It is widely used, but its soundness has never been proven. In th...
RTA
2010
Springer
14 years 27 days ago
2010
Springer
Matrix interpretations can be used to bound the derivational complexity of rewrite systems. We present a criterion that completely characterizes matrix interpretations that are pol...
ICLP
1998
Springer
14 years 1 months ago
1998
Springer
A number of logic programming languages based on Linear Logic [3] have been proposed. However, the implementation techniques proposed for these languages have relied heavily on th...