3190 search results - page 82 / 638 » cans 2011 |
149
Voted
FROCOS
2011
Springer
14 years 9 days ago
2011
Springer
Many functional programs and higher order term rewrite systems contain, besides higher order rules, also a significant first order part. We discuss how an automatic termination p...
116
Voted
FROCOS
2011
Springer
14 years 9 days ago
2011
Springer
One of the main shortcomings of the traditional methods for combining theories is the complexity of guessing the arrangement of the variables shared by the individual theories. Thi...
190
Voted
ICCCI
2011
Springer
14 years 6 days ago
2011
Springer
Multiagent reinforcement learning problems are especially difficult because of their dynamism and the size of joint state space. In this paper a new benchmark problem is proposed, ...
129
Voted
NAR
2011
14 years 7 months ago
2011
The polyglutamine diseases are caused in part by a gain-of-function mechanism of neuronal toxicity involving protein conformational changes that result in the formation and deposi...
117
Voted
DLOG
2011
14 years 4 months ago
2011
We study a restriction of the classification procedure for EL++ where the inference rule for complex role inclusion axioms (RIAs) is applied in a “left-linear” way in analogy ...