853 search results - page 63 / 171 » Dyslexia and learning computer programming |
107
click to vote
DAGSTUHL
2001
15 years 10 days 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...
JCAL
2000
14 years 10 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...
SIGCSE
1990
ACM
15 years 3 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...
CVPR
2010
IEEE
15 years 3 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...
191
click to vote
POPL
2007
ACM
15 years 11 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...