Sciweavers

11808 search results - page 104 / 2362
» Isometries and Computability Structures
Sort
View
JCB
2000
129views more  JCB 2000»
13 years 10 months ago
Prediction of RNA Base Pairing Probabilities on Massively Parallel Computers
We present an implementation of McCaskill's algorithm for computing the base pair probabilities of an RNA molecule for massively parallel message passing architectures. The p...
Martin Fekete, Ivo L. Hofacker, Peter F. Stadler
CHI
2002
ACM
14 years 10 months ago
Effects of structure and label ambiguity on information navigation
We present experimental results showing that search for target items in a three-tiered categorization structure (approximately 8 links per page) is faster than a comparable two-ti...
Craig S. Miller, Roger W. Remington
DAGM
1997
Springer
14 years 2 months ago
A Tensor Approach for Precise Computation of Dense Displacement Vector Fields
Using the 3-dimensional structure tensor, dense displacement vector fields (DVF) can be computed with subpixel accuracy. The approach is based on the detection of linear symmetrie...
Horst Haußecker, Bernd Jähne
AAAI
2007
14 years 16 days ago
A Mathematical Programming Formulation for Sparse Collaborative Computer Aided Diagnosis
A mathematical programming formulation is proposed to eliminate irrelevant and redundant features for collaborative computer aided diagnosis which requires to detect multiple clin...
Jinbo Bi, Tao Xiong
IGPL
2007
107views more  IGPL 2007»
13 years 10 months ago
Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs
This work studies the structure of proofs containing non-analytic cuts in the cut-based system, a sequent inference system in which the cut rule is not eliminable and the only bra...
Marcelo Finger, Dov M. Gabbay