7529 search results - page 1407 / 1506 » The Modula-3 Type System |
144
click to vote
PLILP
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Teaching introductory computing courses with Scheme elevates the intellectual level of the course and thus makes the subject more appealing to students with scienti c int...
136
click to vote
CHI
1993
ACM
15 years 8 months ago
1993
ACM
An evaluation of earcons was carried out to see whether they are an effective means of communicating information in sound. An initial experiment showed that earcons were better th...
138
click to vote
MM
1993
ACM
15 years 8 months ago
1993
ACM
As multimedia becomes an integral part of collaborative systems, we must understand how to design such systems to support users’ rich set of existing interaction skills, rather ...
126
click to vote
RULES
1993
Springer
15 years 8 months ago
1993
Springer
There have been many recent research efforts on temporal databases for managing current and historical data and on active databases for monitoring real-world events as well as dat...
143
click to vote
KR
1992
Springer
15 years 8 months ago
1992
Springer
Abstract, We consider the problem of integrating Reiter's default logic into terminological representation systems. It turns out that such an integration is less straightforwa...