510 search results - page 62 / 102 » An interactive lecture approach to teaching computer science |
ENTCS
2006
13 years 7 months ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
IJEB
2007
13 years 7 months ago
2007
Technology-enhanced or Computer Aided Learning (e-learning) can be institutionally integrated and supported by learning management systems or Virtual Learning Environments (VLEs) ...
SIGCSE
2008
ACM
13 years 7 months ago
2008
ACM
A Contributing Student Pedagogy (CSP) is a pedagogy that encourages students to contribute to the learning of others and to value the contributions of others. CSP in formal educat...
PPL
2007
13 years 7 months ago
2007
The traditional computational devices and models, such as the von Neumann architecture or the Turing machine, are strongly influenced by concepts of central control and perfectio...
CAISE
2010
Springer
13 years 6 months ago
2010
Springer
Search computing is a novel discipline whose goal is to answer complex, multi-domain queries. Such queries typically require combining in their results domain knowledge extracted ...