2206 search results - page 231 / 442 » On the power of coercion abstraction |
162
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
Abstract. The dependency pair technique is a powerful modular method for automated termination proofs of term rewrite systems. We first show that dependency pairs are also suitabl...
170
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
Abstract. We propose a new matrix learning scheme to extend Generalized Relevance Learning Vector Quantization (GRLVQ). By introducing a full matrix of relevance factors in the dis...
156
click to vote
DATESO
2008
15 years 8 months ago
2008
Abstract. This paper gives an overview of XML formal models, summarizes database engineering practices, problems and their evolution. We focus on categorical aspects of XML formal ...
221
click to vote
DMIN
2008
15 years 8 months ago
2008
Abstract-- In this paper, we propose an adaptive linear approach for time series modeling and steam line leakage detection. Weighted recursive least squares (WRLS) method is used f...
185
click to vote
ICONIP
2008
15 years 8 months ago
2008
Abstract. The concept of Ensemble Learning has been shown to increase predictive power over single base learners. Given the bias-variancecovariance decomposition, diversity is char...