619 search results - page 114 / 124 » Adaptation and Personalization in Web-based Learning Support... |
142
Voted
ACMSE
2011
ACM
13 years 11 months ago
2011
ACM
This paper describes the adaptation of a modern compiler construction course to target an FPGA-based hardware platform used throughout our computer science curriculum. One of the ...
99
Voted
SIGSOFT
2007
ACM
16 years 12 days ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
107
Voted
SIGCOMM
2009
ACM
15 years 6 months ago
2009
ACM
We define some interesting incentive issues that arise in the management of virtual infrastructures. We demonstrate that participants’ decisions about the quantities of infrast...
117
Voted
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
We study how decentralized agents can develop a shared vocabulary without global coordination. Answering this question can help us understand the emergence of many communication s...
ITICSE
2004
ACM
15 years 5 months ago
2004
ACM
Keeping students alert and responsive during lectures is a challenge even for experienced teachers in small group settings. Research has shown the importance of student participat...