52 search results - page 11 / 11 » sofsem 2010 |
SOFSEM
2010
Springer
14 years 1 months ago
2010
Springer
We present a new technique to prove termination of Term Rewriting Systems, with full automation. A crucial task in this context is to find suitable well-founded orderings. A popul...
SOFSEM
2010
Springer
14 years 1 months ago
2010
Springer
Regret minimization has proven to be a very powerful tool in both computational learning theory and online algorithms. Regret minimization algorithms can guarantee, for a single de...