6800 search results - page 521 / 1360 » Testing with Functions as Specifications |
190
click to vote
ICALT
2007
IEEE
16 years 1 months ago
2007
IEEE
The increase of e-learning led to the development of Adaptive Educational Hypermedia Systems (AEHS). The last few years a new research stream was revealed which combines the funct...
151
click to vote
IRI
2007
IEEE
16 years 1 months ago
2007
IEEE
The paper presents a technique for the design of digital systems on the basis of reusable hardware templates, which are circuits with modifiable functionality that might be custom...
192
click to vote
CIMCA
2005
IEEE
16 years 1 months ago
2005
IEEE
Estimating the optimal number of clusters for a dataset is one of the most essential issues in cluster analysis. An improper pre-selection for the number of clusters might easily ...
158
click to vote
AH
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. In this paper, we present AthenaQTI, a tool for authoring personalized assessments, which gives the author significant flexibility in terms of the adaptation that s/he ca...
195
click to vote
AMTA
2004
Springer
16 years 1 months ago
2004
Springer
TransType2 is a novel kind of interactive MT in which the system and the user collaborate in drafting a target text, the system’s contribution taking the form of predictions that...