10271 search results - page 601 / 2055 » Computer Science |
176
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
157
click to vote
FECS
2007
15 years 8 months ago
2007
: This paper examines the benefits that can arise from increased use of labs in computer science instruction. While some use of labs is widespread in the earliest computer science ...
236
click to vote
IADIS
2004
2004
Implementing Cognitive Modellig in CS Education: Aligning Theory and Practice of Learning to Program
15 years 8 months ago
It can be argued that although computer science may seem one of the best researched areas, it could also be one of the worst taught. In this research we examine the residual probl...
166
click to vote
ENTCS
2007
15 years 7 months ago
2007
bstractions for a Jazz Improvisation Assistant Robert Keller1 Martin Hunt, Stephen Jones, David Morrison, Aaron Wolin Computer Science Harvey Mudd College Claremont, California, US...
194
click to vote
FUIN
2000
15 years 7 months ago
2000
In semantic and object-oriented data models, each class has one or more typing properties that associate it to other classes, and carry type information about all instances of the ...