2540 search results - page 202 / 508 » Abstract Logics as Dialgebras |
168
click to vote
GECCO
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Efficient elevator group control is important for the operation of large buildings. Recent developments in this field include the use of fuzzy logic and neural networks....
203
click to vote
CC
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a method of specifying standard imperative program optimisations as a rewrite system. To achieve this we have extended the idea of matching sub-terms in expres...
177
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Autonomous agents operating in complex dynamic environments need the ability to integrate robust plan execution with higher level reasoning. This paper describes work to ...
182
click to vote
ICTIR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. A mismatch between differenteventspaceshasbeen used toargue against rank equivalence of classic probabilistic models of information retrieval and language models. We ques...
144
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Abstract. We consider a simple model of higher order, functional computations over the booleans. Then, we enrich the model in order to encompass non-termination and unrecoverable e...