1205 search results - page 188 / 241 » Program Extraction from Large Proof Developments |
100
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Protein-coding gene detection in prokaryotic genomes is considered a much simpler problem than in intron-containing eukaryotic genomes. However there have been reports...
115
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Considering energy function to detect a correct protein fold from incorrect ones is very important for protein structure prediction and protein folding. Knowledge-base...
116
click to vote
TPHOL
2007
IEEE
15 years 7 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
127
click to vote
JAIR
2007
15 years 1 months ago
2007
Exact Max-SAT solvers, compared with SAT solvers, apply little inference at each node of the proof tree. Commonly used SAT inference rules like unit propagation produce a simpliļ¬...
101
click to vote
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
Programmers commonly reuse existing frameworks or libraries to reduce software development eļ¬orts. One common problem in reusing the existing frameworks or libraries is that the...