LibraryComputer Science

34 books found

In an effort to extend traditional human-computer interfaces research has introduced embodied agents to utilize the modalities of everyday human-human communication, like facial expression, gestures and body postures. However, giving computer agents a human-like body introduces new challenges. Since ...

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 ...

The main problem addressed by this work is how to model and combine bodies of knowledge (or evidence) while maintaining the representation of the unkowledge and of the conflict among the bodies. This is a problem with far-reaching applications in many knowledge segments, in particular for the fields of artificial ...

The problem of automatic toponym resolution, or computing the mapping from occurrences of names for places as found in a text to an unambiguous spatial footprint of the location referred to, such as a geographic latitude/longitude centroid is difficult to automate due to insufficient and error-prone geographic ...

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, ...

Emergency and disaster response teams utilize information technology (IT) systems heavily to get up-to-the-minute information that will help them do their jobs effectively and safely. The use of new communication and information technologies not only allows for better exchange of information among organizations, but ...

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, ...

Gamma ray detection techniques for radioisotope imaging purposes are quickly evolving. Monte Carlo simulations show the possibility of achieving an outstanding image spatial resolution in the images obtained with techniques using electronic collimation. The great advantage of using electronic collimation is the ...

This dissertation introduces new hardware architectures for more realistic surface rendering of three dimensional objects and the rendering of volumetric datasets. Surface rendering is dealt with in the first part of the dissertation where the architectures for displacement map rendering in hardware are proposed. This ...

Defining Simulation in its broadest aspect as embodying a certain model to represent the behavior of a system, whether that may be an economic or an engineering one, with which conducting experiments is attainable. Such a technique enables the management, when studying models currently used, to take appropriate ...