430 search results - page 19 / 86 » formats 2005 |
AIED
2005
Springer
15 years 3 months ago
2005
Springer
Educational content developers, including AIED developers, traditionally make a distinction between formative evaluation and summative evaluation of learning materials. Although th...
70
Voted
CGO
2005
IEEE
15 years 3 months ago
2005
IEEE
Program execution traces are frequently used in industry and academia. Yet, most trace-compression algorithms have to be re-implemented every time the trace format is changed, whi...
74
Voted
FORMATS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...
82
Voted
FORMATS
2005
Springer
15 years 3 months ago
2005
Springer
Within hybrid systems theory, o-minimal automata are often considered on the border between decidability and undecidability. In such classes of hybrid automata, the constraint of h...
69
Voted
WACV
2005
IEEE
15 years 3 months ago
2005
IEEE
A novel inversion technique is proposed to compute parametric maps showing the temperature, density and chemical composition of cosmic hot gas from X-ray hyper-spectral images. Th...