Sciweavers

6 search results - page 1 / 2
» esslli 2009
Sort
View
ESSLLI
2009
Springer
13 years 9 months ago
Can DP Be a Scope Island?
Simon Charlow
ESSLLI
2009
Springer
13 years 9 months ago
Cdiprover3: A Tool for Proving Derivational Complexities of Term Rewriting Systems
This paper describes cdiprover3 a tool for proving termination of term rewrite systems by polynomial interpretations and context dependent interpretations. The methods used by cdip...
Andreas Schnabl
ESSLLI
2009
Springer
13 years 9 months ago
Variable Selection in Logistic Regression: The British English Dative Alternation
This paper addresses the problem of selecting the `optimal' variable subset in a logistic regression model for a medium-sized data set. As a case study, we take the British En...
Daphne Theijssen
ESSLLI
2009
Springer
13 years 9 months ago
POP* and Semantic Labeling Using SAT
The polynomial path order (POP for short) is a termination method that induces polynomial bounds on the innermost runtime complexity of term rewrite systems (TRSs for short). Seman...
Martin Avanzini