Sciweavers

3664 search results - page 316 / 733
» Language Technology for eLearning
Sort
View
TPHOL
2008
IEEE
15 years 10 months ago
Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
Daniel Wasserrab, Andreas Lochbihler
ICALT
2007
IEEE
15 years 10 months ago
Handheld Computer Supported Context-aware learning with 2D Barcodes
This paper reports a study that aims to construct a 2D barcode supported learning system, called HELLO (Handheld English Language Learning Organization), to improve students’ En...
Yu-Ling Chu, Tsung-Yu Liu
CAISE
2007
Springer
15 years 10 months ago
Modal Aspects of Object Types and Part-Whole Relations and the de re/de dicto Distinction
In a series of publications, we have proposed a foundational system of ontological categories which has been used to evaluate and improve the quality of conceptual modeling languag...
Giancarlo Guizzardi
CIKM
2007
Springer
15 years 10 months ago
Conceptual modeling by analogy and metaphor
Metaphor is not merely a rhetorical device, characteristic of language alone, but rather a fundamental feature of the human conceptual system. A metaphor is understood by finding ...
Karin Koogan Breitman, Simone Diniz Junqueira Barb...
CLEF
2007
Springer
15 years 10 months ago
A Dirichlet-Smoothed Bigram Model for Retrieving Spontaneous Speech
We present two simple but effective smoothing techniqes for the standard language model (LM) approach to information retrieval [12]. First, we extend the unigram Dirichlet smoothi...
Matthew Lease, Eugene Charniak