432 search results - page 63 / 87 » The Interleaving Problem in Program Understanding |
102
Voted
DIAGRAMS
2006
Springer
15 years 2 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...
100
Voted
AI
2000
Springer
15 years 12 days 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...
122
click to vote
C5
2004
IEEE
15 years 4 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
15 years 2 days 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...
99
Voted
RTSS
1998
IEEE
15 years 4 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...