4880 search results - page 192 / 976 » Manuals as Structured Programs |
140
click to vote
APN
2006
Springer
15 years 5 months ago
2006
Springer
Program verification is usually done by adding specifications and invariants to the program and then proving that the verification conditions are all true. This makes program verif...
126
Voted
JCDL
2003
ACM
15 years 9 months ago
2003
ACM
A musical piece typically has a repetitive structure. Analysis of this structure will be useful for music segmentation, indexing and thumbnailing. This paper presents an algorithm...
140
Voted
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...
150
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: One-dimensional protein structures such as secondary structures or contact numbers are useful for three-dimensional structure prediction and helpful for intuitive unde...
130
Voted
SIGCSE
2006
ACM
15 years 9 months ago
2006
ACM
Undergraduate and master’s students enrolled in a programming language paradigms class are given the assignment to design a new programming language paradigm. The students are a...