10271 search results - page 38 / 2055 » Computer Science |
INTERACT
1997
14 years 11 months ago
1997
This paper describes an innovative approach to teaching about human-computer interaction to a large class of students in their third year of a Computer Science major. Because of t...
SYNTHESE
2008
14 years 9 months ago
2008
The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in s...
SIGCSE
2002
ACM
14 years 9 months ago
2002
ACM
As part of an NSF-funded IT Workforce grant, the authors conducted ethnographic research to provide deep understanding to the learning environment of computer science classrooms. ...
186
Voted
CSEE
2011
Springer
14 years 1 months ago
2011
Springer
Pex4Fun (http://www.pexforfun.com/)from Microsoft Research is a web-based serious gaming environment for teaching computer science. Pex4Fun can be used to teach and learn computer...
SIGCSE
2009
ACM
15 years 10 months ago
2009
ACM
Computer science educators are uniquely positioned to promote greater awareness of Green Computing, using the academic setting to encourage environmentally conscious use of techno...