Sciweavers

251 search results - page 39 / 51
» Automated Complexity Analysis Based on the Dependency Pair M...
Sort
View
COCOA
2009
Springer
15 years 2 months ago
Linear Coherent Bi-cluster Discovery via Line Detection and Sample Majority Voting
Discovering groups of genes that share common expression profiles is an important problem in DNA microarray analysis. Unfortunately, standard bi-clustering algorithms often fail t...
Yi Shi, Zhipeng Cai, Guohui Lin, Dale Schuurmans
FM
1997
Springer
258views Formal Methods» more  FM 1997»
15 years 1 months ago
Consistent Graphical Specification of Distributed Systems
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
Franz Huber, Bernhard Schätz, Geralf Einert
ICCV
2005
IEEE
15 years 11 months ago
Probabilistic Contour Extraction Using Hierarchical Shape Representation
In this paper, we address the issue of extracting contour of the object with a specific shape. A hierarchical graphical model is proposed to represent shape variations. A complex ...
Xin Fan, Chun Qi, Dequn Liang, Hua Huang
BMCBI
2007
153views more  BMCBI 2007»
14 years 9 months ago
Can Clustal-style progressive pairwise alignment of multiple sequences be used in RNA secondary structure prediction?
Background: In ribonucleic acid (RNA) molecules whose function depends on their final, folded three-dimensional shape (such as those in ribosomes or spliceosome complexes), the se...
Amelia B. Bellamy-Royds, Marcel Turcotte
TROB
2002
138views more  TROB 2002»
14 years 9 months ago
Interference-free polyhedral configurations for stacking
This paper uses a configuration space ( -space) based method to compute interference-free configuration for stacking polyhedral sheet metal parts. This work forms the interference ...
Venkateswara R. Ayyadevara, David A. Bourne, Kenji...