LibraryComputer & Information Sciences
The operational aspects of Lambda Calculus are studied as a fundamental basis for high-order functional computation. We consider systems having full reduction semantics, i.e., equivalence-preserving transformations of functions. The historic lineage from Eval-Apply to SECD to RTNF/RTLF culminates in the techniques of ...
This book presents a comprehensive process for visualization of interface metaphor for software. It is helpful in designing interactive user interfaces with magical super-affordances and definitive user experiences. As per the ancient Indian Vedic literature, metaphors are always conceived out of Vastu ...
Wireless Metering Networks (WMN), a special class of Wireless Sensor Networks (WSN), consisting of a large number of tiny inexpensive sensor nodes are a viable solution for many problems in the field of building automation, especially if the expected lifetime of the network permits to synchronize the network ...
Multi-Agent Geo-Simulation (MAGS) is a modelling paradigm which has attracted a growing interest from researchers and practitioners for the study of various phenomena in a variety of domains such as traffic simulation, urban dynamics, environment monitoring, as well as changes of land use and cover, to name a few. ...
Multicarrier Modulation (MCM) has significant features over Single Carrier Modulation (SCM). Orthogonal Frequency Division Multiplexing (OFDM) is a special form of Multicarrier Modulation with its key feature of Orthogonality. Along with the several advantages of MCM or specifically OFDM, it has some drawbacks, too, ...
The IP Multimedia Subsystem (IMS) is the basic network architecture for Next Generation Networks (NGN) which is intended to bridge the divide between the traditional circuit switched and packet switched networks, thereby providing a single network capable of providing all service offerings. IMS is based on the IP ...
During a conversation, listeners do not assimilate passively all of the speaker's words; they actively participate in the interaction providing information about how they feel and what they think of the speaker's speech. The speaker relies on signals emitted by the listener to know if he is listening or not, ...
The NWO-programme "the societal aspects of genomics", has called for stronger means of collaboration and deliberative involvement between the various stakeholders of genomics research. Within the project group assembled at the UH, this call was translated to the 'lingua democratica', in which the prerequisites of such ...
Agent technology is a novel approach for the development of distributed systems. In particular, mobile agents can provide much greater flexibility and robustness than the traditional distributed system methodologies since they provide mobility from platform to platform. Thus, they form a vast area of research. One key ...
Embodied Conversational Agents (ECAs) are a new type of computer interface which have human-like bodies and conversational skills. Users interacting with agents will be more engaged and participative if the agents exhibit behaviors which look coherent across different situations and emotional states. In the present ...
