853 search results - page 63 / 171 » Dyslexia and learning computer programming |
160
click to vote
DAGSTUHL
2001
15 years 5 months ago
2001
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...
102
click to vote
JCAL
2000
15 years 3 months ago
2000
This study examined the unique contribution of computer-based instruction when compared with more conventional modes of instruction (i.e. teacher instruction with textbooks) to ear...
136
click to vote
SIGCSE
1990
ACM
15 years 8 months ago
1990
ACM
This paper presents a philosophy underlying CS-1 programming projects, and illustrates this philosophy with a concrete example. Integral to the philosophy is the use of Ada packag...
144
Voted
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
This paper presents a codebook learning approach for image classification and retrieval. It corresponds to learning a weighted similarity metric to satisfy that the weighted simil...
249
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...