13271 search results - page 149 / 2655 » Computers, Programming, and People |
139
click to vote
AAAI
1990
15 years 5 months ago
1990
An algorithm is described which computes stable models of propositional logic programs with negation as failure using the Assumption Based Truth Maintenance mechanism. Since stabl...
146
click to vote
IWPC
1999
IEEE
15 years 8 months ago
1999
IEEE
Automatic program comprehension is particularly useful when applied to sparse matrix codes, since it allows to abstract e.g. from specific sparse matrix storage formats used in th...
143
click to vote
SAS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
APCHI
2004
IEEE
15 years 8 months ago
2004
IEEE
`Desire Lines' are the ultimate unbiased expression of natural human purpose and refer to tracks worn across grassy spaces, where people naturally walk
CHI
1995
ACM
15 years 7 months ago
1995
ACM
SYNERGIES is a vision of how information products designed for everyday use will serve people in extraordinary