Sciweavers

2631 search results - page 151 / 527
» A Practical Method for the Sparse Resultant
Sort
View
AAAI
2012
13 years 8 months ago
Colorization by Matrix Completion
Given a monochrome image and some manually labeled pixels, the colorization problem is a computer-assisted process of adding color to the monochrome image. This paper proposes a n...
Shusen Wang, Zhihua Zhang
ICIP
2006
IEEE
16 years 8 months ago
Spatially Constrained Wiener Filter with Markov Autocorrelation Modeling for Image Resolution Enhancement
This paper develops a practical method for image resolution enhancement. The method optimizes the spatially constrained Wiener filter for an efficiently parameterized model of the...
Jiazheng Shi, Stephen E. Reichenbach
ZUM
1997
Springer
125views Formal Methods» more  ZUM 1997»
15 years 10 months ago
A Formal OO Method Inspired by Fusion and Object-Z
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
Klaus Achatz, Wolfram Schulte
BMCBI
2006
92views more  BMCBI 2006»
15 years 6 months ago
Recrafting the neighbor-joining method
Background: The neighbor-joining method by Saitou and Nei is a widely used method for constructing phylogenetic trees. The formulation of the method gives rise to a canonical (n3)...
Thomas Mailund, Gerth Stølting Brodal, Rolf...
WABI
2009
Springer
117views Bioinformatics» more  WABI 2009»
16 years 28 days ago
A Simulation Study Comparing Supertree and Combined Analysis Methods Using SMIDGen
Background: Supertree methods comprise one approach to reconstructing large molecular phylogenies given multi-marker datasets: trees are estimated on each marker and then combined...
M. Shel Swenson, François Barbançon,...