Sciweavers

175 search results - page 9 / 35
» Computational Models of Spreadsheet Development: Basis for E...
Sort
View
IJIS
2007
103views more  IJIS 2007»
13 years 7 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
WWW
2005
ACM
14 years 8 months 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»
14 years 2 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»
14 years 1 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
CORR
2010
Springer
95views Education» more  CORR 2010»
13 years 8 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