620 search results - page 54 / 124 » Computer tutoring for programming education |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
We discuss the realization of evaluation strategies for the concurrent constraint-based functional language ccfl within the translation schemata when compiling ccfl programs into t...
FECS
2010
13 years 6 months ago
2010
This paper describes the experience of teaching robotics at the freshman level, from the conception of the project through the offering of a computer science seminar in robotics, h...
SIGCSE
2006
ACM
14 years 2 months ago
2006
ACM
The importance of software bug detection tools is high with the constant threat of malicious activity. Companies are increasingly relying on software bug detection tools to catch ...
SIGCSE
1993
ACM
14 years 5 days ago
1993
ACM
Programming contests can provide a high-profile method for attracting interest in computer science. We describe our philosophy as it pertains to the purpose and merits of program...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
In a previous paper we have suggested a number of ideas to attack circuit size complexity with cohomology. As a simple example, we take circuits that can only compute the AND of t...