5216 search results - page 939 / 1044 » Planning as Model Checking |
171
click to vote
IUI
1998
ACM
15 years 7 months ago
1998
ACM
Life-likeanimatedinterfaceagentsforknowledge-basedlearning environments can provide timely, customized advice to support students’ problem solving. Because of their strong visua...
136
Voted
ECAI
1998
Springer
15 years 7 months ago
1998
Springer
Progressive processing allows a system to satisfy a set of requests under time pressure by limiting the amount of processing allocated to each task based on a predefined hierarchic...
157
click to vote
VRML
1998
ACM
15 years 7 months ago
1998
ACM
In its current state, VRML does not provide support for interaction and on-line access to databases, even though these are two fundamental issues for business applications. We hav...
116
click to vote
CSCW
1996
ACM
15 years 7 months ago
1996
ACM
The type of collaboration for a group, whether working in parallel or collectively, is a style for a group influenced by many factors, among them the technology that the group wor...
SIGMOD
1996
ACM
15 years 7 months ago
1996
ACM
Repositories of multimedia objects having multiple types of attributes e.g., image, text are becoming increasingly common. A selection on these attributes will typically produce n...