1641 search results - page 131 / 329 » Termination Analysis with Algorithmic Learning |
109
Voted
ICALT
2010
IEEE
15 years 2 months ago
2010
IEEE
—This paper introduces new metrics for course evaluation. It is also proposes a ranking algorithm that classifies courses based on the previous course evaluation metrics and sugg...
139
Voted
COLT
2010
Springer
15 years 1 months ago
2010
Springer
We present a new method for regularized convex optimization and analyze it under both online and stochastic optimization settings. In addition to unifying previously known firstor...
121
Voted
COLT
2006
Springer
15 years 7 months ago
2006
Springer
We study functions with multiple output values, and use active sampling to identify an example for each of the possible output values. Our results for this setting include: (1) Eff...
162
Voted
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
Serum profiling using mass spectrometry is an emerging technology with a great potential to provide biomarkers for complex diseases such as cancer. However, protein profiles obtai...
117
Voted
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
The size and complexity of systems based on multiple processing units demand techniques for the automatic diagnosis of their state. System-level diagnosis consists in determining ...