5216 search results - page 932 / 1044 » Planning as Model Checking |
148
click to vote
ICWL
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we investigate the use of Latent Semantic Analysis (LSA), Critiquing Systems, and Knowledge Building to support computerbased teaching of English composition. We have...
159
click to vote
IVA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The ability to generate narrative is of importance to computer systems that wish to use story effectively for entertainment, training, or education. One of the focuses of...
147
click to vote
ACMSE
2004
ACM
15 years 11 months ago
2004
ACM
This paper presents a distributed multi-robot system designed to solve a team-based search and destroy task. The project was divided into two phases. The initial phase was used to...
164
click to vote
COMPGEOM
2004
ACM
15 years 11 months ago
2004
ACM
The computation of Delaunay triangulations from static point sets has been extensively studied in computational geometry. When the points move with known trajectories, kinetic dat...
160
click to vote
APCSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract. Kernel memory is a resource that must be managed carefully in order to ensure the efficiency and safety of the system. The use of an inappropriate management policy can w...