8949 search results - page 1408 / 1790 » is 1998 |
206
click to vote
IUI
1998
ACM
15 years 12 months ago
1998
ACM
Interactive3Dlearningenvironmentscanproviderichproblemsolving experiences with unparalleled visual impact. In these environments, students interactively solve problems by directin...
173
click to vote
IUI
1998
ACM
15 years 12 months ago
1998
ACM
Providing access to digital libraries will require interfaces that effectively mediate between the retrieval needs of library users and the materials that the library has to offer...
239
click to vote
IUI
1998
ACM
15 years 12 months ago
1998
ACM
Life-likeanimatedinterfaceagentsforknowledge-basedlearning environments can provide timely, customized advice to support students’ problem solving. Because of their strong visua...
263
click to vote
CADE
1998
Springer
15 years 12 months ago
1998
Springer
Partial types allow the reasoning about partial functions in type theory. The partial functions of main interest are recursively computed functions, which are commonly assigned ty...
203
click to vote
MM
1998
ACM
15 years 12 months ago
1998
ACM
The ability to trace multicast paths is currently available in the Internet by means of IGMP MTRACE packets. We introduce Tracer, the rst protocol that organizes the receivers of ...