8008 search results - page 459 / 1602 » Learning in Multi-Agent Systems |
198
click to vote
KBSE
2005
IEEE
16 years 15 days ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
134
click to vote
AAAI
2007
15 years 9 months ago
2007
We describe an application of machine learning to the problem of geomorphic mapping of planetary surfaces. Mapping landforms on planetary surfaces is an important task and the fi...
167
click to vote
INTERACT
2007
15 years 8 months ago
2007
Active Learning in the classroom domain presents an interesting case for integrating physical and digital affordances. Traditional physical handouts and transparencies are giving w...
240
click to vote
IADIS
2004
15 years 8 months ago
2004
This paper presents the design principles, development and implementation of an e-learning framework, called Intelligent Cognitive Agents (InCA). The InCA framework is an ontology...
170
click to vote
NN
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents an on-line unsupervised learning mechanism for unlabeled data that are polluted by noise. Using a similarity thresholdbased and a local error-based insertion c...