Sciweavers

13827 search results - page 272 / 2766
» The state of artificial intelligence
Sort
View
WIA
2004
Springer
15 years 12 months ago
Testability of Oracle Automata
d abstract) Gaoyan Xie, Cheng Li, and Zhe Dang   School of Electrical Engineering and Computer Science Washington State University Pullman, WA 99164, USA Abstract. In this paper, ...
Gaoyan Xie, Cheng Li, Zhe Dang
AUSAI
2009
Springer
16 years 1 months ago
MML Invariant Linear Regression
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...
Daniel F. Schmidt, Enes Makalic
LORI
2009
Springer
16 years 1 months ago
Dynamic Context Logic
Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical...
Guillaume Aucher, Davide Grossi, Andreas Herzig, E...
ICTAI
2008
IEEE
16 years 1 months ago
A General Technique for Plan Repair
In real world we have to deal with changing situations which may partially or entirely invalidate an executable plan. Current strategies for plan repair are basically aimed at sol...
Marlene Arangú, Antonio Garrido, Eva Onaind...
AIMSA
2008
Springer
16 years 1 months ago
Mapping Properties of Heterogeneous Ontologies
Abstract. State of the art formalisms for distributed ontology integration provide ways to express semantic relations between concepts belonging to different ontologies. However, t...
Chiara Ghidini, Luciano Serafini