SOFSEM
2010
Springer
14 years 1 months ago
2010
Springer
ACT DATATYPE APPROACH Patrick Michel Arnd Poetzsch-Heffter
SOFSEM
2010
Springer
14 years 1 months ago
2010
Springer
SOFSEM
2010
Springer
14 years 1 months ago
2010
Springer
An arc-annotated string is a string of characters, called bases, augmented with a set of pairs, called arcs, each connecting two bases. Given arc-annotated strings P and Q the arc-...
SOFSEM
2010
Springer
14 years 1 months ago
2010
Springer
SOFSEM
2010
Springer
14 years 1 months ago
2010
Springer
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
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...
SOFSEM
2010
Springer
14 years 1 months ago
2010
Springer
SOFSEM
2010
Springer
14 years 1 months ago
2010
Springer