15754 search results - page 428 / 3151 » Programs are Knowledge Bases |
176
click to vote
EUROPAR
2007
Springer
16 years 1 months ago
2007
Springer
Computer systems are increasingly parallel and heterogeneous, while programs are still largely written in sequential languages. The obvious suggestion that the compiler should auto...
210
click to vote
ASP
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, feat...
165
click to vote
SIGCSE
2000
ACM
15 years 11 months ago
2000
ACM
It is generally acknowledged that developing correct multithreaded codes is difficult, because threads may interact with each other in unpredictable ways. The goal of this work i...
193
click to vote
ICCBR
1999
Springer
15 years 11 months ago
1999
Springer
Software programming is a complex task. To help the user with this task, we are developing a case-based reasoning tool capable of suggesting code to the programmer (software reuse...
193
click to vote
ACE
2003
15 years 8 months ago
2003
The role of assessment in modern university curricula has become far more diverse and open to scrutiny in recent years. Although its most significant role is as a measure of a stu...