3378 search results - page 211 / 676 » Learning in Friedberg Numberings |
184
click to vote
KBSE
2005
IEEE
16 years 4 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...
178
click to vote
APWEB
2005
Springer
16 years 3 days ago
2005
Springer
The dramatic growth in the number and size of on-line information sources has fueled increasing research interest in the incremental subspace learning problem. In this paper, we pr...
173
click to vote
ICTAI
2003
IEEE
15 years 12 months ago
2003
IEEE
In multi-instance learning, the training examples are bags composed of instances without labels and the task is to predict the labels of unseen bags through analyzing the training...
165
click to vote
ICDM
2002
IEEE
15 years 11 months ago
2002
IEEE
We empirically evaluate the performance of various reinforcement learning methods in applications to sequential targeted marketing. In particular, we propose and evaluate a progre...
190
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
We report on the use of reinforcement learning with Cobot, a software agent residing in the wellknown online community LambdaMOO. Our initial work on Cobot (Isbell et al.2000) pro...