1911 search results - page 346 / 383 » Program analysis for code duplication in logic programs |
100
Voted
BMCBI
2007
15 years 2 months ago
2007
Background: Sequencing of prokaryotic genomes has recently revealed the presence of CRISPR elements: short, highly conserved repeats separated by unique sequences of similar lengt...
123
Voted
Source Code
"ImageJ can display, edit, analyze, process, save, and print 8-bit, 16-bit and 32-bit images. It can read many image formats including TIFF, PNG, GIF, JPEG, BMP, DICOM, FITS, ...
117
click to vote
GRID
2006
Springer
15 years 2 months ago
2006
Springer
Although grid computing offers great potential for executing large-scale bioinformatics applications, practical deployment is constrained by legacy interfaces. Most widely deployed...
152
click to vote
LICS
2009
IEEE
15 years 9 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
142
click to vote
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...