Sciweavers

8658 search results - page 1507 / 1732
» Models of Command and Control
Sort
View
AIED
2005
Springer
15 years 10 months ago
"Be bold and take a challenge": Could motivational strategies improve help-seeking?
We are exploring whether the use of facilities aimed at improving the learner’s motivation has an effect on learning food-chains and food-webs, but also on help-seeking behaviour...
Genaro Rebolledo-Mendez, Benedict du Boulay, Rosem...
AIED
2005
Springer
15 years 10 months ago
Advanced Geometry Tutor: An intelligent tutor that teaches proof-writing with construction
: Two problem solving strategies, forward chaining and backward chaining, were compared to see how they affect students’ learning of geometry theorem proving with construction. I...
Noboru Matsuda, Kurt VanLehn
AIRWEB
2005
Springer
15 years 10 months ago
Optimal Link Bombs are Uncoordinated
We analyze the recent phenomenon termed a Link Bomb, and investigate the optimal attack pattern for a group of web pages attempting to link bomb a specific web page. The typical ...
Sibel Adali, Tina Liu, Malik Magdon-Ismail
ATAL
2005
Springer
15 years 10 months ago
A polynomial algorithm for decentralized Markov decision processes with temporal constraints
One of the difficulties to adapt MDPs for the control of cooperative multi-agent systems, is the complexity issued from Decentralized MDPs. Moreover, existing approaches can not ...
Aurélie Beynier, Abdel-Illah Mouaddib
ATVA
2005
Springer
132views Hardware» more  ATVA 2005»
15 years 10 months ago
Flat Counter Automata Almost Everywhere!
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
Jérôme Leroux, Grégoire Sutre
« Prev « First page 1507 / 1732 Last » Next »