10241 search results - page 1504 / 2049 » Goal-Driven Software Development |
261
click to vote
ICSE
2007
IEEE-ACM
16 years 1 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
216
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: There has been considerable effort focused on developing efficient programs for tagging single-nucleotide polymorphisms (SNPs). Many of these programs do not account f...
267
click to vote
Publication
Multi-stage programming (MSP) is a paradigm for developing generic software that does not pay a runtime penalty for this generality. This is achieved through concise, carefully-des...
167
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
Digital images have seen increased use in applications where their authenticity is of prime importance. This proves to be problematic due to the widespread availability of digital...
167
click to vote
ICIP
2000
IEEE
16 years 8 months ago
2000
IEEE
Document image matching is the key technique for document registration and retrieval. In this paper, a new matching algorithm based on document component block list and component ...