3233 search results - page 559 / 647 » Validation Method for Intelligent Systems |
154
click to vote
CAEPIA
2003
Springer
15 years 11 months ago
2003
Springer
This paper proposes a diagnosis architecture that integrates consistency based diagnosis with induced time series classifiers, trying to combine the advantages of both methods. Co...
173
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
201
click to vote
ACMACE
2008
ACM
15 years 8 months ago
2008
ACM
BeatBender is a computer music project that explores a new method for generating emergent rhythmic drum patterns using the subsumption architecture. Rather than explicitly coding ...
153
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents a communication-less multi-agent task allocation procedure that allows agents to use past experience to make non-greedy decisions about task assignments. Exper...
200
click to vote
AVSS
2007
IEEE
15 years 6 months ago
2007
IEEE
One of the main issues for Ambient Intelligence (AmI) systems is to continuously localize the user and to detect his/her identity in order to provide dedicated services. A video-r...