2699 search results - page 471 / 540 » Planning to Gather Information |
162
click to vote
SIGCSE
2005
ACM
15 years 11 months ago
2005
ACM
In this paper we describe how a single Khepera II robot was used for an assignment in a senior level course on graphical user interface implementation. The assignment required eac...
152
click to vote
AIED
2005
Springer
15 years 11 months ago
2005
Springer
Educational content developers, including AIED developers, traditionally make a distinction between formative evaluation and summative evaluation of learning materials. Although th...
174
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes LS/ATN, Living Systems R Adaptive Transportation Networks, an agent-based solution we have developed to solve transportation problems in the charter business ...
176
click to vote
CIKM
2005
Springer
15 years 11 months ago
2005
Springer
Modern query optimizers select an efficient join ordering for a physical execution plan based essentially on the average join selectivity factors among the referenced tables. In ...
152
click to vote
DSVIS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...