718 search results - page 87 / 144 » Extraction of Structured Programs from Specification Proofs |
MM
2003
ACM
14 years 2 months ago
2003
ACM
In this paper, we present a system that automates home video editing. This system automatically extracts a set of highlight segments from a set of raw home videos and aligns them ...
KDD
2007
ACM
14 years 9 months ago
2007
ACM
Many websites have large collections of pages generated dynamically from an underlying structured source like a database. The data of a category are typically encoded into similar...
CLUSTER
2007
IEEE
14 years 21 days ago
2007
IEEE
Abstract-- Multicore microprocessors have been largely motivated by the diminishing returns in performance and the increased power consumption of single-threaded ILP microprocessor...
BMCBI
2008
13 years 8 months ago
2008
Background: Evolutionary conservation of RNA secondary structure is a typical feature of many functional non-coding RNAs. Since almost all of the available methods used for predic...
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
In today’s embedded applications a significant portion of energy is spent in the memory subsystem. Several approaches have been proposed to minimize this energy, including the u...