9067 search results - page 1471 / 1814 » Adaptive Model Checking |
208
click to vote
NCA
2005
IEEE
16 years 28 days ago
2005
IEEE
Abstract— This paper describes an original approach to writing reactive algorithms on highly dynamic networks. We propose to use randomly mobile agents to gather global informati...
188
click to vote
AIED
2005
Springer
16 years 27 days ago
2005
Springer
A student's goals and attitudes while interacting with a tutor are typically unseen and unknowable. However their outward behavior (e.g. problem-solving time, mistakes and hel...
207
click to vote
DAGM
2005
Springer
16 years 26 days ago
2005
Springer
We present an approach for the supervised online learning of object representations based on a biologically motivated architecture of visual processing. We use the output of a rece...
169
click to vote
DRM
2005
Springer
16 years 26 days ago
2005
Springer
In this paper, we describe a novel statistical audio watermarking scheme. Under the control of the masking thresholds, watermark is embedded adaptively and transparently in the pe...
194
click to vote
E4MAS
2005
Springer
16 years 26 days ago
2005
Springer
Abstract. Even if the multi-agent paradigm has been evolving for fifteen years, the development of concrete methods for problem solving remains a major challenge. This paper focus...