1641 search results - page 25 / 329 » Termination Analysis with Algorithmic Learning |
103
click to vote
NN
2006
Springer
15 years 2 months ago
2006
Springer
Learning vector quantization (LVQ) constitutes a powerful and intuitive method for adaptive nearest prototype classification. However, original LVQ has been introduced based on he...
132
Voted
VMCAI
2009
Springer
15 years 9 months ago
2009
Springer
lue Abstraction for Verifying Linearizability Viktor Vafeiadis Microsoft Research, Cambridge, UK This paper presents a novel abstraction for heap-allocated data structures that kee...
121
Voted
APWEB
2005
Springer
15 years 8 months ago
2005
Springer
The dramatic growth in the number and size of on-line information sources has fueled increasing research interest in the incremental subspace learning problem. In this paper, we pr...
128
Voted
COLT
2007
Springer
15 years 8 months ago
2007
Springer
This paper analyzes the potential advantages and theoretical challenges of “active learning” algorithms. Active learning involves sequential sampling procedures that use infor...
148
Voted
SIAMJO
2010
14 years 9 months ago
2010
We consider a recently proposed optimization formulation of multi-task learning based on trace norm regularized least squares. While this problem may be formulated as a semidefini...