620 search results - page 87 / 124 » Verification and Validation and Artificial Intelligence |
SAC
2006
ACM
14 years 2 months ago
2006
ACM
We present an emotion recognition system based on a probabilistic approach to adaptive processing of Facial Emotion Tree Structures (FETS). FETS are made up of localized Gabor fea...
HT
2005
ACM
14 years 2 months ago
2005
ACM
Conversion between different adaptive hypermedia systems has barely been proposed, yet alone tested in realistic settings. This paper presents the evaluation of the interoperabili...
GECCO
2006
Springer
14 years 12 days ago
2006
Springer
Encapsulation of states in object-oriented programs hinders the search for test data using evolutionary testing. As client code is oblivious to the internal state of a server obje...
HRI
2009
ACM
13 years 6 months ago
2009
ACM
This article reports on a user study conducted to asses the credibility of a humanoid robot. The study set-up was based on the "Monty Hall Problem". Overall 13 people be...
CONSTRAINTS
2010
13 years 6 months ago
2010
Abstract. Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different ...