Sciweavers

1566 search results - page 227 / 314
» Planning and learning together
Sort
View
IGPL
2007
113views more  IGPL 2007»
15 years 6 months ago
Pandora: A Reasoning Toolbox using Natural Deduction Style
Pandora is a tool for supporting the learning of first order natural deduction. It includes a help window, an interactive context sensitive tutorial known as the ‘‘e-tutor’â...
Krysia Broda, Jiefei Ma, Gabrielle Sinnadurai, Ale...
173
Voted
SIGCSE
2008
ACM
162views Education» more  SIGCSE 2008»
15 years 6 months ago
Automatic extraction of notions from course material
Formally defining the knowledge units taught in a course helps instructors ensure a sound coverage of topics and provides an objective basis for comparing the content of two cours...
Michela Pedroni, Manuel Oriol, Bertrand Meyer, Luk...
ICIDS
2010
Springer
15 years 5 months ago
Crowd-Sourced AI Authoring with ENIGMA
Abstract. ENIGMA is an experimental platform for collaborative authoring of the behaviour of autonomous virtual characters in interactive narrative applications. The main objective...
Michael Kriegel, Ruth Aylett
ACL
2010
15 years 4 months ago
Optimising Information Presentation for Spoken Dialogue Systems
We present a novel approach to Information Presentation (IP) in Spoken Dialogue Systems (SDS) using a data-driven statistical optimisation framework for content planning and attri...
Verena Rieser, Oliver Lemon, Xingkun Liu
ICRA
2009
IEEE
125views Robotics» more  ICRA 2009»
15 years 4 months ago
Real-world robot navigation amongst deformable obstacles
Abstract-- In this paper, we consider the problem of mobile robots navigating in environments with non-rigid objects. Whereas robots can plan their paths more effectively when they...
Barbara Frank, Cyrill Stachniss, Ruediger Schmeddi...