199 search results - page 18 / 40 » Implementing Circularity Using Partial Evaluation |
WM
2003
13 years 8 months ago
2003
: In this paper, we present an agent-based approach for the improvement of searching in an ontology-based knowledge management system. The system implements a libraryscenario in wh...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
Algorithmic skeletons can be used to write architecture independent programs, shielding application developers from the details of a parallel implementation. In this paper, we pre...
CC
2012
Springer
12 years 3 months ago
2012
Springer
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...
DEEC
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper, we study the use of semantic information to improve performance of transparent query caching for dynamic content web sites. We observe that in dynamic content web a...
TPHOL
2006
IEEE
14 years 1 months ago
2006
IEEE
We extract on the computer a number of moduli of uniform continuity for the first few elements of a sequence of closed terms t of G¨odel’s T of type (N→N)→(N→N). The gen...