103
Voted
SOFSEM
2010
Springer
15 years 11 months ago
2010
Springer
ACT DATATYPE APPROACH Patrick Michel Arnd Poetzsch-Heffter
83
Voted
SOFSEM
2010
Springer
15 years 11 months ago
2010
Springer
101
click to vote
SOFSEM
2010
Springer
15 years 11 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
15 years 11 months ago
2010
Springer
SOFSEM
2010
Springer
15 years 11 months ago
2010
Springer
129
Voted
SOFSEM
2010
Springer
15 years 11 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
15 years 11 months ago
2010
Springer
128
click to vote
SOFSEM
2010
Springer
15 years 11 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...
86
Voted
SOFSEM
2010
Springer
15 years 11 months ago
2010
Springer
SOFSEM
2010
Springer
15 years 11 months ago
2010
Springer