1413 search results - page 198 / 283 » ideas 2007 |
150
click to vote
AIED
2007
Springer
16 years 11 days ago
2007
Springer
SimStudent is a machine-learning agent that learns cognitive skills by demonstration. SimStudent was originally built as a building block for Cognitive Tutor Authoring Tools to hel...
153
click to vote
ACCV
2007
Springer
16 years 11 days ago
2007
Springer
Inspired by the idea of multi-view, we proposed an image segmentation algorithm using co-EM strategy in this paper. Image data are modeled using Gaussian Mixture Model (GMM), and t...
145
click to vote
APN
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. Choosing a good variable order is crucial for making symbolic state-space generation algorithms truly efficient. One such algorithm is the MDD-based Saturation algorithm ...
192
click to vote
ARGMAS
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. In this work, an agent architecture that combines defeasible argumentation and the BDI model is described. Argumentation will be used as a mechanism for reasoning about b...
154
click to vote
ASIAN
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...