Sciweavers

2385 search results - page 68 / 477
» Knowledge Refinement for a Design System
Sort
View
CRIWG
2007
14 years 11 months ago
Deployment of Ontologies for an Effective Design of Collaborative Learning Scenarios
Two of the most important research subjects during the development of intelligent authoring systems (IAS) for education are the modeling of knowledge and the extraction of knowledg...
Seiji Isotani, Riichiro Mizoguchi
POPL
2006
ACM
15 years 10 months ago
Why dependent types matter
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
James McKinna
DESRIST
2009
Springer
102views Education» more  DESRIST 2009»
15 years 2 months ago
Design science as nested problem solving
Design science emphasizes the connection between knowledge and practice by showing that we can produce scientific knowledge by designing useful things. However, without further g...
Roel Wieringa
RE
2008
Springer
14 years 9 months ago
Legal Requirements, Compliance and Practice: An Industry Case Study in Accessibility
U.S. laws and regulations are designed to support broad societal goals, such as accessibility, privacy and safety. To demonstrate that a product complies with these goals, busines...
Travis D. Breaux, Annie I. Antón, Kent Bouc...
AIED
2007
Springer
15 years 4 months ago
Using Ontologies for an Effective Design of Collaborative Learning Activities
Although artificial intelligence has been successfully introduced to enhance Education through technologies in the past few years, major challenges still remain. One of them is how...
Seiji Isotani, Riichiro Mizoguchi