807 search results - page 143 / 162 » Evolution in Open Source Software: A Case Study |
BMCBI
2006
14 years 11 months ago
2006
Background: In Eukaryotic genomes, different features including genes are not uniformly distributed. The integration of annotation information and genomic position of functional D...
BMCBI
2010
14 years 9 months ago
2010
Background: The opportunities for bacterial population genomics that are being realised by the application of parallel nucleotide sequencing require novel bioinformatics platforms...
177
click to vote
CC
2009
Springer
16 years 11 days ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
125
click to vote
CMMR
2009
Springer
15 years 3 months ago
2009
Springer
This paper addresses the problem of the real-time automatic transcription of a live music performance into a symbolic format. The source data are given by any music instrument or o...
WCRE
2008
IEEE
15 years 6 months ago
2008
IEEE
Integrative levels of program comprehension describe the evolution of our knowledge about a program from low-level program elements through successive and higher orders of knowled...