5799 search results - page 936 / 1160 » Position Paper |
134
click to vote
AIEDU
2007
15 years 4 months ago
2007
Abstract. This paper discusses the simple open student models used in two of our constraint-based tutors, SQLd KERMIT, and their effects on self-assessment. The systems present a h...
122
click to vote
ALGORITHMICA
2000
15 years 4 months ago
2000
Abstract. We consider the problem of planning sensor control strategies that enable a sensor to be automatically configured for robot tasks. In this paper we present robust and eff...
115
click to vote
BC
2000
15 years 4 months ago
2000
Abstract The visual homing abilities of insects can be explained by the snapshot hypothesis. It asserts that an animal is guided to a previously visited location by comparing the c...
158
click to vote
CLUSTER
2000
IEEE
15 years 4 months ago
2000
IEEE
Clusters of workstations and networked parallel computing systems are emerging as promising computational platforms for HPC applications. The processors in such systems are typica...
136
click to vote
CG
2002
Springer
15 years 4 months ago
2002
Springer
Abstract. The paper introduces a new proof-number (PN) search algorithm, called PDS-PN. It is a two-level search, which performs at the first level a depth-first Proof-number and D...