Sciweavers

3664 search results - page 489 / 733
» Language Technology for eLearning
Sort
View
AISC
2010
Springer
15 years 11 months ago
Towards MKM in the Large: Modular Representation and Scalable Software Architecture
Abstract. MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large,...
Michael Kohlhase, Florian Rabe, Vyacheslav Zholude...
ACISICIS
2009
IEEE
15 years 11 months ago
A Systematic Framework for Grammar Testing
Grammars, especially context-free grammars, are widely used within and even outside the field of computer science. In this paper, we present a systematic framework for grammar te...
Lixiao Zheng, Haiming Chen
FDG
2009
ACM
15 years 11 months ago
Can middle-schoolers use Storytelling Alice to make games?: results of a pilot study
In this paper we share experiences from two 2-week summer courses for middle-school students in game programming using Storytelling Alice (SA). The students spent 20 hours learnin...
Linda L. Werner, Jill Denner, Michelle Bliesner, P...
HOTSWUP
2009
ACM
15 years 11 months ago
Online Application Upgrade Using Edition-Based Redefinition
This paper describes Edition-Based Redefinition (EBR) in the Oracle database — a novel technology and methodology to build database application patches so that installation of t...
Alan Choi
CLEF
2001
Springer
15 years 11 months ago
iCLEF 2001 at Maryland: Comparing Term-for-Term Gloss and MT
For the first interactive Cross-Language Evaluation Forum, the Maryland team focused on comparison of term-for-term gloss translation with full machine translation for the documen...
Jianqiang Wang, Douglas W. Oard