514 search results - page 32 / 103 » Multiplicative structures in additively large sets |
BMCBI
2006
13 years 7 months ago
2006
Background: An alternative to standard approaches to uncover biologically meaningful structures in micro array data is to treat the data as a blind source separation (BSS) problem...
TASLP
2011
13 years 2 months ago
2011
—We present a new technique for joint estimation of the chord progression and the downbeats from an audio file. Musical signals are highly structured in terms of harmony and rhy...
PUC
2007
13 years 7 months ago
2007
Abstract In the near future, it will be possible to continuously record and store the entire audio–visual lifetime of a person together with all digital information that the pers...
BMCBI
2010
13 years 7 months ago
2010
Background: Many bioinformatics analyses, ranging from gene clustering to phylogenetics, produce hierarchical trees as their main result. These are used to represent the relations...
TPHOL
1999
IEEE
13 years 12 months ago
1999
IEEE
Gandalf is a first-order resolution theorem-prover, optimized for speed and specializing in manipulations of large clauses. In this paper I describe GANDALF TAC, a HOL tactic that ...