24 search results - page 2 / 5 » More Powerful and Simpler Cost-Sharing Methods |
ISCAS
2008
IEEE
13 years 11 months ago
2008
IEEE
— It is well known that significant power savings can be obtained by disabling or shutting down parts of a circuit during idle periods. One method is to use a high level partiti...
IANDC
2007
13 years 4 months ago
2007
The Tyrolean Termination Tool (TTT for short) is a powerful tool for automatically proving termination of rewrite systems. It incorporates several new refinements of the dependen...
ICML
2008
IEEE
14 years 5 months ago
2008
IEEE
Structured models often achieve excellent performance but can be slow at test time. We investigate structure compilation, where we replace structure with features, which are often...
BMCBI
2007
13 years 4 months ago
2007
Background: An important goal of comparative genomics is the identification of functional elements through conservation analysis. Phylo-HMM was recently introduced to detect conse...
ASAP
2007
IEEE
13 years 11 months ago
2007
IEEE
The Logarithmic Number System (LNS) makes multiplication, division and powering easy, but subtraction is expensive. Cotransformation converts the difficult operation of logarithm...