127 search results - page 2 / 26 » Call by Need Computations to Root-Stable Form |
MOBISYS
2003
ACM
14 years 4 months ago
2003
ACM
Remote execution can transform the puniest mobile device into a computing giant able to run resource-intensive applications such as natural language translation, speech recognitio...
BMCBI
2011
12 years 9 months ago
2011
Background: The ability to search for and precisely compare similar phenotypic appearances within and across species has vast potential in plant science and genetic research. The ...
LOGCOM
2000
13 years 5 months ago
2000
We introduce the concept of reflection principle as a knowledge representation paradigm in a computational logic setting. Reflection principles are expressed as certain kinds of l...
KBS
1998
13 years 5 months ago
1998
: This paper presents a computationally tractable view on where simple design concepts come from by proposing a paradigm for the formation of design concepts based on the emergence...
JOOP
1998
13 years 5 months ago
1998
A set of rules to ascertain that in calls of the form x.f (...) there will always be an object attached to x. 1 PURPOSE The theory developed in this article investigates void call...