Sciweavers

1507 search results - page 108 / 302
» Separating Complexity Classes Using Structural Properties
Sort
View
IPMI
1999
Springer
14 years 11 months ago
Statistical Shape Analysis Using Fixed Topology Skeletons: Corpus Callosum Study
The goal of this work is to develop an approach to shape representation and classification that will allow us to detect and quantify differences in shape of anatomical structures d...
Polina Golland, W. Eric L. Grimson, Ron Kikinis
ISCAS
2005
IEEE
119views Hardware» more  ISCAS 2005»
14 years 3 months ago
Multi-plet two-channel perfect reconstruction filter banks
This paper proposes a new class of two-channel structural perfect reconstruction (PR) FIR filter banks (FBs) called the multi-plet FB. It generalizes structural PR FBs proposed by...
S. C. Chan, K. M. Tsui
FSTTCS
2010
Springer
13 years 8 months ago
On extracting computations from propositional proofs (a survey)
This paper describes a project that aims at showing that propositional proofs of certain tautologies in weak proof system give upper bounds on the computational complexity of func...
Pavel Pudlák
IANDC
2006
101views more  IANDC 2006»
13 years 10 months ago
Mind change efficient learning
This paper studies efficient learning with respect to mind changes. Our starting point is the idea that a learner that is efficient with respect to mind changes minimizes mind cha...
Wei Luo, Oliver Schulte
BMCBI
2007
116views more  BMCBI 2007»
13 years 10 months ago
Linear array of conserved sequence motifs to discriminate protein subfamilies: study on pyridine nucleotide-disulfide reductases
Background: The pyridine nucleotide disulfide reductase (PNDR) is a large and heterogeneous protein family divided into two classes (I and II), which reflect the divergent evoluti...
César L. Avila, Viviana A. Rapisarda, Ricar...