5216 search results - page 932 / 1044 » Planning as Model Checking |
116
click to vote
ICWL
2005
Springer
15 years 9 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...
125
Voted
IVA
2005
Springer
15 years 9 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...
116
Voted
ACMSE
2004
ACM
15 years 8 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...
131
Voted
COMPGEOM
2004
ACM
15 years 8 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...
124
Voted
APCSAC
2003
IEEE
15 years 8 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...