8760 search results - page 1391 / 1752 » Modeling users of intelligent systems |
198
Voted
AIED
2009
Springer
16 years 1 months ago
2009
Springer
Researchers that make tutoring systems would like to know which pieces of educational content are most effective at promoting learning among their students. Randomized controlled e...
174
click to vote
GECCO
2005
Springer
16 years 8 days ago
2005
Springer
GP uses trees to represent chromosomes. The user defines the representation space by defining the set of functions and terminals to label the nodes in the trees, and GP searches t...
175
click to vote
TABLEAUX
2005
Springer
16 years 7 days ago
2005
Springer
This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi natural language explanations for subsumptions within ALEHFR+ TBo...
147
click to vote
AISC
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...
203
click to vote
TWC
2010
15 years 1 months ago
2010
Relay selection for cooperative communications promises significant performance improvements, and is, therefore, attracting, considerable attention. While several criteria have be...