701 search results - page 89 / 141 » Comments on |
131
click to vote
CHI
1998
ACM
15 years 8 months ago
1998
ACM
Reading frequently involves not just looking at words on a page, but also underlining, highlighting and commenting, either on the text or in a separate notebook. This combination ...
154
Voted
MAAMAW
1994
Springer
15 years 8 months ago
1994
Springer
One objective of distributed artificial intelligence research is to build systems that are capable of cooperative problem solving. To this end, a number of implementation-oriented ...
158
click to vote
TYPES
1994
Springer
15 years 8 months ago
1994
Springer
A special final coalgebra theorem, in the style of Aczel's [2], is proved within standard Zermelo-Fraenkel set theory. Aczel's AntiFoundation Axiom is replaced by a varia...
124
click to vote
ITS
1992
Springer
15 years 8 months ago
1992
Springer
: The ProgramCritic is a system designed to analyze and critique students' computer programs. After analyzing a program, the ProgramCritic provides the student with a list of ...
108
click to vote
HT
2007
ACM
15 years 8 months ago
2007
ACM
Web pages can be modeled as nodes in a social network, and hyperlinks between pages form links (relationships) between the nodes. Links may take the form of comments, for example ...