16 search results - page 1 / 4 » ausai 2009 |
AUSAI
2009
Springer
13 years 11 months ago
2009
Springer
AUSAI
2009
Springer
13 years 11 months ago
2009
Springer
AUSAI
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. This paper derives two new information theoretic linear regression criteria based on the minimum message length principle. Both criteria are invariant to full rank affine...
AUSAI
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We present a semantic model of typicality of concept members in description logics that accords well with a binary, globalist cognitive model of class membership and typi...
AUSAI
2009
Springer
13 years 11 months ago
2009
Springer
Model checking games are instances of Hintikka’s game semantics for logic used for purposes of debugging systems verification models. Previous work in the area has developed the...