7404 search results - page 628 / 1481 » New Tools in Education |
154
click to vote
FLAIRS
2008
15 years 9 months ago
2008
This paper describes the efforts undertaken in an international research project LT4eL from the perspective of one of the participating languages, Czech. The project aims at explo...
152
click to vote
ICHIM
2001
15 years 8 months ago
2001
This paper proposes a virtual space project for the web which is capable of 'containing' virtual buildings or representations of real buildings (through computer renderi...
190
click to vote
FIW
1994
15 years 8 months ago
1994
The feature interaction problem occurs when the addition of a new feature to a system disrupts the existing services and features. This paper describes a tabular notation for spec...
178
click to vote
ENTCS
2002
15 years 7 months ago
2002
We give a short description of Hybrid, a new tool for interactive theorem proving, s introduced in [4]. It provides a form of Higher Order Abstract Syntax (HOAS) combined consiste...
163
click to vote
KI
2002
Springer
15 years 7 months ago
2002
Springer
Abstract. We present a new classification algorithm that combines three properties: It generates decision trees, which proved a valuable and intelligible tool for classification an...