Sciweavers

1661 search results - page 233 / 333
» Scales and Scale-like Structures
Sort
View
CLA
2007
15 years 8 months ago
Representing Numeric Values in Concept Lattices
Formal Concept Analysis is based on the occurrence of symbolic attributes in individual objects, or observations. But, when the attribute is numeric, treatment has been awkward. In...
John L. Pfaltz
IASTEDSEA
2004
15 years 8 months ago
Higher-order strategic programming: A road to software assurance
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
Victor L. Winter, Steve Roach, Fares Fraij
NIPS
2001
15 years 8 months ago
Laplacian Eigenmaps and Spectral Techniques for Embedding and Clustering
Drawing on the correspondence between the graph Laplacian, the Laplace-Beltrami operator on a manifold, and the connections to the heat equation, we propose a geometrically motiva...
Mikhail Belkin, Partha Niyogi
AMC
2010
175views more  AMC 2010»
15 years 7 months ago
An inexact parallel splitting augmented Lagrangian method for large system of linear equations
: Parallel iterative methods are powerful tool for solving large system of linear equations (LEs). The existing parallel computing research results are focussed mainly on sparse sy...
Zheng Peng, DongHua Wu
BMCBI
2010
133views more  BMCBI 2010»
15 years 7 months ago
Translog, a web browser for studying the expression divergence of homologous genes
Background: Increasing amount of data from comparative genomics, and newly developed technologies producing accurate gene expression data facilitate the study of the expression di...
Xianjun Dong, Altuna Akalin, Yogita Sharma, Boris ...