1809 search results - page 111 / 362 » Using GDE in Educational Systems |
CORR
2004
Springer
14 years 10 months ago
2004
Springer
This paper gives an overview of the assessment and evaluation methods which have been used to determine the quality of the INSPIRE smart home system. The system allows different h...
87
Voted
AH
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. This paper presents an approach to create adaptive web-based educative systems that can be automatically audited by means of standard web testing tools. The auditing tool...
79
Voted
CORR
2008
Springer
14 years 10 months ago
2008
Springer
Pipelining is a well understood and often used implementation technique for increasing the performance of a hardware system. We develop several SystemC/C++ modeling techniques tha...
CORR
2007
Springer
14 years 10 months ago
2007
Springer
– We present a methodology for proving termination of left-linear term rewriting systems (TRSs) by using Albert Burroni’s polygraphs, a kind of rewriting systems on algebraic c...
CORR
2007
Springer
14 years 10 months ago
2007
Springer
It has been reported that virtual reality can be a useful tool for ergonomics study. The proposed integrated simulation system aims at measuring operator’s performance in an int...