4880 search results - page 192 / 976 » Manuals as Structured Programs |
196
click to vote
APN
2006
Springer
15 years 9 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...
187
Voted
JCDL
2003
ACM
16 years 7 days 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...
190
click to vote
ECAI
2004
Springer
16 years 11 days 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...
209
click to vote
BMCBI
2006
15 years 7 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...
159
click to vote
SIGCSE
2006
ACM
16 years 28 days 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...