Recommendations
Affective computing model based on emotional psychology
ICNC'06: Proceedings of the Second international conference on Advances in Natural Computation - Volume Part IAccording to the basic emotions theory, the paper presents personality,mood, and emotion space. The mapping relationship among personality , mood and emotion is built. The equations for updating the affective and mood states are induced and a generic ...
Artificial psychology
Proceedings of the 2007 conference on Human interface: Part IThis paper describes the basis content of Artificial Psychology as well as Affective Computing and Kansei Engineering and other technology that are correlated with the research. Also it reviews the research history of Artificial Psychology theory and ...
Predicate abstraction and canonical abstraction for singly-linked lists
VMCAI'05: Proceedings of the 6th international conference on Verification, Model Checking, and Abstract InterpretationPredicate abstraction and canonical abstraction are two finitary abstractions used to prove properties of programs. We study the relationship between these two abstractions by considering a very limited case: abstraction of (potentially cyclic) singly-...
Comments