1830 search results - page 142 / 366 » Functional Programs as Linked Data |
154
click to vote
KDD
2010
ACM
15 years 6 months ago
2010
ACM
Constrained clustering has been well-studied for algorithms like K-means and hierarchical agglomerative clustering. However, how to encode constraints into spectral clustering rem...
112
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
The aim of the paper is to introduce general techniques in order to optimize the parallel execution time of sorting on a distributed architectures with processors of various speeds...
133
Voted
VMCAI
2007
Springer
15 years 9 months ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
98
Voted
MPC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Erasure of information incurs an increase in entropy and dissipates heat. Therefore, information-preserving computation is essential for constructing computers that use e...
151
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: Non-negative matrix factorisation (NMF), a machine learning algorithm, has been applied to the analysis of microarray data. A key feature of NMF is the ability to iden...