1389 search results - page 33 / 278 » Definability as hypercomputational effect |
TACS
1994
Springer
14 years 21 days ago
1994
Springer
traction for PCF1 Samson.Abramsky2 University of Edinburgh and Radha Jagadeesan3 Loyola University Chicago and Pasquale Malacaria4 Queen Mary and Westfield College An intensional m...
ICDCSW
2008
IEEE
14 years 3 months ago
2008
IEEE
—This paper reviews the characteristics of overlay networks and defines effective relay nodes that can improve the performance of interactive real-time applications. A heuristic ...
COLING
2000
13 years 10 months ago
2000
This paper introduces a scheme, which we call the baseline method, to define a measure of term representativeness and measures defined by using the scheme. The representativeness ...
ATAL
2003
Springer
14 years 1 months ago
2003
Springer
This paper takes the view that to be considered autonomous, a software agent must possess the means by which to manage its own motivations and so define new goals. Using the motiva...
GRC
2009
IEEE
13 years 12 months ago
2009
IEEE
This paper proposes a code granulation space which can be applied to program construction and processing. Each granule in the space is defined as an improvement to the seed progra...