1547 search results - page 261 / 310 » The Isabelle Collections Framework |
197
Voted
SIGMOD
2009
ACM
16 years 23 days ago
2009
ACM
We consider the problem of collectively approximating a set of sensor signals using the least amount of space so that any individual signal can be efficiently reconstructed within...
112
Voted
AIED
2007
Springer
15 years 6 months ago
2007
Springer
In many intelligent tutoring systems, a detailed model of the task domain is constructed and used to provide students with assistance and direction. Reciprocal tutoring systems, h...
107
click to vote
ECTEL
2007
Springer
15 years 6 months ago
2007
Springer
Currently national digital library of educational resources and services (DLE) for primary and secondary education is under implementation in Lithuania. The article aims to analyse...
116
click to vote
LCPC
2007
Springer
15 years 6 months ago
2007
Springer
The Standard Template Adaptive Parallel Library (stapl) is a parallel programming framework that extends C++ and stl with support for parallelism. stapl provides a collection of pa...
107
click to vote
OTM
2007
Springer
15 years 6 months ago
2007
Springer
In recent years, existing computing schemes and paradigms have evolved towards more flexible, ad-hoc scalable frameworks. Nowadays, exchanging interactions between entities often ...