1888 search results - page 102 / 378 » Proof theory and computational analysis |
99
Voted
ICCS
2003
Springer
15 years 5 months ago
2003
Springer
Performance analysis of real applications in clusters and GRID like environments is essential to fully exploit the performance of new architectures. The key problem is the deepenin...
98
Voted
ESOP
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We present a type system for a compile-time analysis of heapspace requirements of Java style object-oriented programs with explicit deallocation. Our system is based on a...
71
Voted
CW
2004
IEEE
15 years 4 months ago
2004
IEEE
In this paper we introduce the concept of transmedial worlds, relating it to genre and adaptation theory, and presenting a framework for how to look for transmedial traits in a wo...
96
Voted
FM
2008
Springer
15 years 2 months ago
2008
Springer
In [?], a practical algorithm for precise interval analysis is provided for which, however, no non-trivial upper complexity bound is known. Here, we present a lower bound by showin...
107
Voted
SEMCO
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper, we propose a novel method for generating engaging multi-modal content automatically from text. Rhetorical Structure Theory (RST) is used to decompose text into disc...