Sciweavers

5302 search results - page 321 / 1061
» Learning How to Separate
Sort
View
ECAI
2006
Springer
15 years 10 months ago
Testing the Limits of Emergent Behavior in MAS Using Learning of Cooperative Behavior
Abstract. We present a method to test a group of agents for (unwanted) emergent behavior by using techniques from learning of cooperative behavior. The general idea is to mimick us...
Jordan Kidney, Jörg Denzinger
FSTTCS
2006
Springer
15 years 10 months ago
Testing Probabilistic Equivalence Through Reinforcement Learning
We propose a new approach to verification of probabilistic processes for which the model may not be available. We use a technique from Reinforcement Learning to approximate how far...
Josee Desharnais, François Laviolette, Sami...
ICPR
2010
IEEE
15 years 10 months ago
Learning a Joint Manifold Representation from Multiple Data Sets
—The problem we address in the paper is how to learn a joint representation from data lying on multiple manifolds. We are given multiple data sets and there is an underlying comm...
Marwan Torki, Ahmed Elgammal, Chan-Su Lee
AAAI
2007
15 years 9 months ago
Learning to Solve QBF
We present a novel approach to solving Quantified Boolean Formulas (QBF) that combines a search-based QBF solver with machine learning techniques. We show how classification met...
Horst Samulowitz, Roland Memisevic
ECTEL
2008
Springer
15 years 8 months ago
Issues in the Design of an Environment to Support the Learning of Mathematical Generalisation
Abstract. Expressing generality, recognising and analysing patterns and articulating structure is a complex task and one that is invariably problematic for students. Nonetheless, v...
Darren Pearce, Manolis Mavrikis, Eirini Geraniou, ...