Index of Conference Proceedings


Book Description




Logic Programming


Book Description

This volume contains the proceedings of the 19th International Conference on Logic Programming, ICLP 2003, which was held at the Tata Institute of F- damental Research in Mumbai, India, during 9-13 December, 2003. ICLP 2003 was colocated with the 8th Asian Computing Science Conference, ASIAN 2003, andwasfollowedbythe23rdConferenceonFoundationsofSoftwareTechnology and Theoretical Computer Science, FSTTCS 2003. The latter event was hosted by the Indian Institute of Technology in Mumbai. In addition, there were?ve satellite workshops associated with ICLP 2003: - PPSWR 2003, Principles and Practice of Semantic Web Reasoning, 8th Dec. 2003, organized by Franı cois Bry, Nicola Henze, and Jan Maluszynski. - COLOPS 2003, COnstraint & LOgic Programming in Security, 8th Dec. 2003, organized by Martin Leucker, Justin Pearson, Fred Spiessens, and Frank D. Valencia. - WLPE 2003, Workshop on Logic Programming Environments, organized by Alexander Serebrenik and Fred Mesnard. - CICLOPS2003,ImplementationofConstraintandLOgicProgrammingS- tems, 14th Dec. 2003, organized by Michel Ferreira and Ricardo Lopes. - SVV 2003, Software Veri?cation and Validation, 14th Dec. 2003, organized by Sandro Etalle, Supratik Mukhopadhyay, and Abhik Roychoudhury.




Proceedings


Book Description

COMPSAC is a forum for presentation and discussion of problems in the specification, design, implementation, and evaluation of software and applications. The proceedings of COMPSAC'95 comprise 58 technical papers and three keynote addresses. Technical sessions include advances in formal methods, kno







LCPC'97


Book Description

This book presents the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Languages and Compilers for Parallel Computing, LCPC'96, held in San Jose, California, in August 1996. The book contains 35 carefully revised full papers together with nine poster presentations. The papers are organized in topical sections on automatic data distribution and locality enhancement, program analysis, compiler algorithms for fine-grain parallelism, instruction scheduling and register allocation, parallelizing compilers, communication optimization, compiling HPF, and run-time control of parallelism.




Ambient Intelligence


Book Description

Ambient intelligence is the vision of a technology that will become invisibly embedded in our natural surroundings, present whenever we need it, enabled by simple and effortless interactions, attuned to all our senses, adaptive to users and context-sensitive, and autonomous. High-quality information access and personalized content must be available to everybody, anywhere, and at any time. This book addresses ambient intelligence used to support human contacts and accompany an individual's path through the complicated modern world. From the technical standpoint, distributed electronic intelligence is addressed as hardware vanishing into the background. Devices used for ambient intelligence are small, low-power, low weight, and (very importantly) low-cost; they collaborate or interact with each other; and they are redundant and error-tolerant. This means that the failure of one device will not cause failure of the whole system. Since wired connections often do not exist, radio methods will play an important role for data transfer. This book addresses various aspects of ambient intelligence, from applications that are imminent since they use essentially existing technologies, to ambitious ideas whose realization is still far away, due to major unsolved technical challenges.




People and Computers XVI - Memorable Yet Invisible


Book Description

For the last 20 years the dominant form of user interface has been the Graphical User Interface (GUl) with direct manipulation. As software gets more complicated and more and more inexperienced users come into contact with computers, enticed by the World Wide Web and smaller mobile devices, new interface metaphors are required. The increasing complexity of software has introduced more options to the user. This seemingly increased control actually decreases control as the number of options and features available to them overwhelms the users and 'information overload' can occur (Lachman, 1997). Conversational anthropomorphic interfaces provide a possible alternative to the direct manipulation metaphor. The aim of this paper is to investigate users reactions and assumptions when interacting with anthropomorphic agents. Here we consider how the level of anthropomorphism exhibited by the character and the level of interaction affects these assumptions. We compared characters of different levels of anthropomorphic abstraction, from a very abstract character to a realistic yet not human character. As more software is released for general use with anthropomorphic interfaces there seems to be no consensus of what the characters should look like and what look is more suited for different applications. Some software and research opts for realistic looking characters (for example, Haptek Inc., see http://www.haptek.com). others opt for cartoon characters (Microsoft, 1999) others opt for floating heads (Dohi & Ishizuka, 1997; Takama & Ishizuka, 1998; Koda, 1996; Koda & Maes, 1996a; Koda & Maes, 1996b).