718 search results - page 127 / 144 » Extraction of Structured Programs from Specification Proofs |
DAS
2010
Springer
13 years 12 months ago
2010
Springer
We describe a component of a document analysis system for constructing ontologies for domain-specific web tables imported into Excel. This component automates extraction of the Wa...
BMCBI
2008
13 years 8 months ago
2008
Background: Target identification is important for modern drug discovery. With the advances in the development of molecular docking, potential binding proteins may be discovered b...
BMCBI
2010
13 years 8 months ago
2010
Background: The pan-genome of a bacterial species consists of a core and an accessory gene pool. The accessory genome is thought to be an important source of genetic variability i...
MM
2004
ACM
14 years 2 months ago
2004
ACM
The EXT3NS is a scalable file system designed to handle video streaming workload in large-scale on-demand streaming services. It is based on a special H/W device, called Network-S...
IPPS
2010
IEEE
13 years 6 months ago
2010
IEEE
With the shrinking of transistors continuing to follow Moore's Law and the non-scalability of conventional outof-order processors, multi-core systems are becoming the design ...