432 search results - page 63 / 87 » The Interleaving Problem in Program Understanding |
DIAGRAMS
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. We present a method for constructing a teleological model of a drawing of a physical device through analogical transfer of the teleological model of the same device in an...
AI
2000
Springer
14 years 9 months ago
2000
Springer
The World Wide Web is a vast source of information accessible to computers, but understandable only to humans. The goal of the research described here is to automatically create a...
100
click to vote
C5
2004
IEEE
15 years 1 months ago
2004
IEEE
information technologies as "the ability to reformulate knowledge, to express oneself creatively and appropriately, and to produce and generate information (rather than simply...
IGPL
2008
14 years 9 months ago
2008
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
RTSS
1998
IEEE
15 years 1 months ago
1998
IEEE
Abstract: The QoS-based Resource Allocation Model (QRAM) proposed in [20] presented an analytical approach for satisfying multiple quality-of-service dimensions in a resource-const...