13383 search results - page 2565 / 2677 » Abstractions from proofs |
PLILP
1997
Springer
14 years 2 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...
VLDB
1997
ACM
14 years 2 months ago
1997
ACM
Abstract. Recent results in the Rio project at the University of Michigan show that it is possible to create an area of main memory that is as safe as disk from operating system cr...
TIME
1994
IEEE
14 years 2 months ago
1994
IEEE
We formulate an algebra of binary temporal relations between events the number of occurrences of which is unknown, but which are known to recur in time. Ontologically, we view the...
CHI
1993
ACM
14 years 2 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...
CIKM
1993
Springer
14 years 2 months ago
1993
Springer
match algorithms that can efficiently handleAbstract complex tests in the presence of large amounts of data. Match algorithms that are capable of handling large amounts of On the o...