5326 search results - page 314 / 1066 » On what we can ensure |
215
click to vote
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...
178
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
A key problem in learning multiple objects from unlabeled images is that it is a priori impossible to tell which part of the image corresponds to each individual object, and which...
192
click to vote
FSKD
2007
Springer
16 years 26 days ago
2007
Springer
One of the challenges a decision maker faces is choosing a suitable rough set model to use for data analysis. The traditional algebraic rough set model classifies objects into th...
173
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
We present a novel approach to multiagent planning for self-interested agents. The main idea behind our approach is that multiagent planning systems should be built upon (single-a...
181
click to vote
GECCO
2005
Springer
16 years 6 days ago
2005
Springer
Coevolution can be used to adaptively choose the tests used for evaluating candidate solutions. A long-standing question is how this dynamic setup may be organized to yield reliab...