Sciweavers

1565 search results - page 173 / 313
» Teaching
Sort
View
ZUM
1994
Springer
147views Formal Methods» more  ZUM 1994»
15 years 10 months ago
Integrating Formal Methods into a Professional Master of Software Engineering Program
A critical issuein the designof aprofessionalsoftware engineeringdegreeprogram is the way in which formal methods are integrated into the curriculum. The approach taken by most pr...
David Garlan
ESWS
2007
Springer
15 years 10 months ago
Semantic Group Formation
Many approaches to learning and teaching rely upon students working in groups. Formation of optimal groups can be a time consuming and complex task, particularly when the list of ...
Asma Ounnas
ADS
2004
Springer
15 years 10 months ago
Affective Feedback in a Tutoring System for Procedural Tasks
We discuss the affective aspects of tutoring dialogues in an ITS -called INES- that helps students to practice nursing tasks using a haptic device and a virtual environment. Specia...
Dirk Heylen, Maarten Vissers, Rieks op den Akker, ...
ECAI
2008
Springer
15 years 8 months ago
Active Concept Learning For Ontology Evolution
This paper proposes an approach that enables agents to teach each other concepts from their ontologies using examples. Unlike other concept learning approaches, our approach enable...
Murat Sensoy, Pinar Yolum
EDM
2008
141views Data Mining» more  EDM 2008»
15 years 8 months ago
Acquiring Background Knowledge for Intelligent Tutoring Systems
One of the unresolved problems faced in the construction of intelligent tutoring systems is the acquisition of background knowledge, either for the specification of the teaching st...
Cláudia Antunes