1418 search results - page 52 / 284 » How to Explain Mistakes |
NLDB
2007
Springer
14 years 3 months ago
2007
Springer
We intend on developing electronic dictionaries and Finite State Transducers for the automatic processing of the Albanian Language. We describe some peculiarities of this language ...
PROFES
2007
Springer
14 years 3 months ago
2007
Springer
In this paper, we present the application of a set of software engineering roles. Role definitions were developed using internationally recognized software engineering reference do...
TYPES
2007
Springer
14 years 3 months ago
2007
Springer
This paper presents a new proof language for the Coq proof assistant. This language uses the declarative style. It aims at providing a simple, natural and robust alternative to the...
ICALT
2006
IEEE
14 years 3 months ago
2006
IEEE
Observation activity, on instrumented collective learning situations, enables participants to appropriate themselves corresponding systems in their own practice. In this paper, we...
ICALT
2006
IEEE
14 years 3 months ago
2006
IEEE
It is difficult for a student to learn how to program and to build an understanding of the rationale which underpins the development of a program’s componentparts. Conventional ...