140 search results - page 27 / 28 » An Overview of LSA-Based Systems for Supporting Learning and... |
TACAS
2000
Springer
13 years 9 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
EDO
2006
Springer
13 years 10 months ago
2006
Springer
Embedded systems are rapidly growing in size, complexity, distribution, and heterogeneity. As a result, the traditional practice of developing one-off embedded applications that a...
IJET
2008
13 years 6 months ago
2008
Information about a student's level or state of knowledge is a key aspect for efficient, personalized learning activities. E-learning systems gain such information in two ways...
AIEDU
2007
13 years 6 months ago
2007
Research efforts focused on developing "active reports" are currently underway. Active reports are designed to foster communication among teachers, students, and parents ...
CONCURRENCY
1998
13 years 6 months ago
1998
Titanium is a language and system for high-performance parallel scientific computing. Titanium uses Java as its base, thereby leveraging the advantages of that language and allow...