8874 search results - page 1679 / 1775 » A New Implementation of Automath |
136
Voted
SIGMOD
2000
ACM
15 years 8 months ago
2000
ACM
We present WSQ/DSQ (pronounced “wisk-disk”), a new approach for combining the query facilities of traditional databases with existing search engines on the Web. WSQ, for Web-S...
116
Voted
SIGUCCS
2000
ACM
15 years 8 months ago
2000
ACM
As the personal computer becomes a more integral part of the faculty member’s job, the increasing level of day-to-day computer support - often without increases in full-time sta...
130
Voted
CIA
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Currently, many kinds of information agents for di erent purposes exist. However, agents from di erent systems are still unable to cooperate, even if they accurately foll...
122
Voted
EDBT
2000
ACM
15 years 8 months ago
2000
ACM
Database systems support recovery, providing high database availability. However, database applications may lose work because of a server failure. In particular, if a database serv...
165
Voted
CHI
1999
ACM
15 years 8 months ago
1999
ACM
This work explores a new direction in utilizing eye gaze for computer input. Gaze tracking has long been considered as an alternative or potentially superior pointing method for c...