718 search results - page 136 / 144 » Extraction of Structured Programs from Specification Proofs |
IADT
1998
13 years 10 months ago
1998
Conventional image processing algorithms used to compare images are very timeconsuming, making them inappropriate for use in searching for an image in a huge collection of images ...
AIPS
2009
13 years 9 months ago
2009
When modeling real-world decision-theoretic planning problems in the Markov decision process (MDP) framework, it is often impossible to obtain a completely accurate estimate of tr...
BMCBI
2005
13 years 8 months ago
2005
Background: Single nucleotide polymorphisms (SNPs) provide an important tool in pinpointing susceptibility genes for complex diseases and in unveiling human molecular evolution. S...
ISCA
2011
IEEE
13 years 9 days ago
2011
IEEE
A growing body of work has compiled a strong case for the single-ISA heterogeneous multi-core paradigm. A single-ISA heterogeneous multi-core provides multiple, differently-design...
BMCBI
2008
2008
WSPMaker: a web tool for calculating selection pressure in proteins and domains using window-sliding
13 years 8 months ago
Background: In the study of adaptive evolution, it is important to detect the protein coding sites where natural selection is acting. In general, the ratio of the rate of non-syno...