ESSLLI
2009
Springer
13 years 9 months ago
2009
Springer
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...
ESSLLI
2009
Springer
13 years 9 months ago
2009
Springer
ESSLLI
2009
Springer
13 years 9 months ago
2009
Springer
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...
ESSLLI
2009
Springer
13 years 9 months ago
2009
Springer
We present an implemented model for speech recognition in natural environments which relies on contextual information about salient entities to prime utterance recognition. The hyp...
ESSLLI
2009
Springer
13 years 9 months ago
2009
Springer
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...
ESSLLI
2009
Springer
13 years 9 months ago
2009
Springer
