Sciweavers

175 search results - page 9 / 35
» Computational Models of Spreadsheet Development: Basis for E...
Sort
View
IJIS
2007
103views more  IJIS 2007»
14 years 11 months ago
A human-computer debating system prototype and its dialogue strategies
: This paper reports research concerning issues involved in adopting a computational dialectics approach to develop a human-computer debating system for educational debate. In part...
Tangming Yuan, David J. Moore, Alec Grierson
95
Voted
WWW
2005
ACM
16 years 11 hour ago
Ontology-based learning content repurposing
This paper investigates basic research issues that need to be addressed for developing an architecture that enables repurposing of learning objects in a flexible way. Currently, t...
Katrien Verbert, Dragan Gasevic, Jelena Jovanovic,...
DATE
2009
IEEE
116views Hardware» more  DATE 2009»
15 years 6 months ago
An MDE methodology for the development of high-integrity real-time systems
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
Silvia Mazzini, Stefano Puri, Tullio Vardanega
MM
2004
ACM
90views Multimedia» more  MM 2004»
15 years 4 months ago
Learning on location with cinematic narratives
This paper describes a narrative-centered approach to learning using location-aware mobile devices, with theories of learning as the basis for a system that utilizes techniques fr...
Kevin Walker
63
Voted
CORR
2010
Springer
95views Education» more  CORR 2010»
14 years 11 months ago
Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold
We give a new insight into the upper bounding of the 3-SAT threshold by the first moment method. The best criteria developed so far to select the solutions to be counted discrimina...
Thomas Hugel, Yacine Boufkhad