632 search results - page 28 / 127 » Proving Invariants of Functional Programs |
FMICS
2010
Springer
15 years 21 days ago
2010
Springer
Bitwise instructions, loops and indirect data access pose difficult challenges to the verification of microcontroller programs. In particular, it is necessary to show that an indir...
102
Voted
ICDAR
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper, we present a scheme towards the segmentation of English multi-oriented touching strings into individual characters. When two or more characters touch, they generate...
84
Voted
EVOW
2003
Springer
15 years 5 months ago
2003
Springer
This paper describes a domain independent approach to the use of genetic programming for object detection problems. Rather than using raw pixels or high level domain specific feat...
200
Voted
ICFP
2009
ACM
16 years 1 months ago
2009
ACM
Functional programming languages ought to play a central role in mathematics education for middle schools (age range: 10?14). After all, functional programming is a form of algebr...
98
Voted
ICALP
2005
Springer
15 years 6 months ago
2005
Springer
Although every terminating loop has a ranking function, not every loop has a ranking function of a restricted form, such as a lexicographic tuple of polynomials over program variab...