Abstract. We describe a method for managing large expressions in symbolic computations which combines a hierarchical representation with signature calculations. As a case study, th...
Wenqin Zhou, Jacques Carette, David J. Jeffrey, Mi...
— To explore the design of politeness in embodied conversational agents and social robots from the perspective of user studies, a case study based on a psychological experiment w...
We introduce Coalition Logic for Resource Games (CLRG) which extends Coalition Logic by allowing explicit reasoning about resource endowments of coalitions of agents and resource b...
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, A...
This paper describes continuing progress on the development of a repository of transformation rules relevant to indefinite integration. The methodology, however, is not restricted...
The purpose of this paper is to propose a method to analyze creative music expressions of a performer in South Indian Classical Music (Carnatic Music). The method performs a quali...
S. Ganesh Ram, C. T. Palaniappan, M. S. Ramakrishn...