Author: Matthias Rauterberg
Publisher: Springer
Keywords: proceedings, september, lecture, notes, science, computer, netherlands, eindhoven, icec, computing, third, international, conference, entertainment
Number of Pages: 617
Published: 2004-10-15
List price: $137.00
ISBN-10: 3540229477
ISBN-13: 9783540229476

This book constitutes the refereed proceedings of the Third International Conference on Entertainment Computing, ICEC 2004, held in Eindhoven, The Netherlands in September 2004. The 27 revised full papers, 27 revised short papers, 18 revised poster papers, and 3 demo papers presented together with 3 keynote papers and 3 invited topic papers were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections on advanced interaction design; art, design, and media; augmented, virtual, and mixed reality; computers and games; human factors and games; intelligent

Authors:Ana Cavalcanti, Dennis Dams,
Publisher: Springer
Keywords: computer, notes, lecture, science, programming, engineering, software, proceedings, november, second, methods, world, congress, netherlands, eindhoven, formal
Number of Pages: 820
Published: 2009-12-15
List price: $143.00
ISBN-10: 3642050883
ISBN-13: 9783642050886

This book presents the refereed proceedings of FM 2009, the 16th International Symposium on Formal Methods, held as the Second World Congress on Formal Methods in Eindhoven, The Netherlands, in November 2009 in the course of the first International Formal Methods Week, FMWeek 2009. The 45 revised full papers presented together with 5 invited papers and 3 additional papers from the Industry Day were carefully reviewed and selected from 139 submissions. The papers are organized in topical sections on model checking, compositionality, verification, concurrency, refinement, static analysis, theor

Authors:Panos Markopoulos, Berry Eggen, Emile Aarts, James L.
Publisher: Springer
Keywords: proceedings, november, lecture, notes, science, computer, netherlands, eindhoven, second, intelligence, european, symposium, eusai, ambient
Number of Pages: 388
Published: 2004-11-23
List price: $84.95
ISBN-10: 3540237216
ISBN-13: 9783540237211

This book constitutes the refereed proceedings ot the Second European Symposium on Ambient Intelligence, EUSAI 2004, held in Eindhoven, The Netherlands in November 2004. The 36 revised full papers presented were carefully reviewed and selected from 90 submissions. The papers are organized in topical sections on ubiquitous computing: sofware architectures, communication, and distribution; context sensing and machine perception; human computer interaction in ambient intelligence environments; and algorithms, ontologies, and architectures for learning and adaptation.

Authors:Walter van de Velde, John Perram,
Publisher: Springer
Keywords: agents, netherlands, eindhoven, january, lecture, intelligence, artificial, notes, maamaw, world, european, breaking, workshop, modelling, multi, autonomous, agent
Number of Pages: 232
Published: 1996-02-22
List price: $64.95
ISBN-10: 3540608524
ISBN-13: 9783540608523

This book constitutes the refereed proceedings of the 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW ’96, held in Eindhoven, The Netherlands in January 1996. The concept of agents comprises physical as well as software agents; it emerged at the crossroads of distributed computing, artificial intelligence, and embedded systems. Multi-agent systems are foundational for new models of computing and interaction addressing large-scale open distributed platforms like the World-Wide Web. The 17 revised full papers presented were selected from a total of 51 su

Authors:Wolfgang Nejdl, Paul De Bra,
Publisher: Springer
Keywords: adaptive, proceedings, august, lecture, notes, science, computer, netherlands, conference, web, hypermedia, based, systems, international, third, eindhoven
Number of Pages: 442
Published: 2004-10-05
List price: $84.00
ISBN-10: 3540228950
ISBN-13: 9783540228950

This book constitutes the refereed proceedings of the Third International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems, AH 2004, held in Eindhoven, The Netherlands in August 2004. The 27 revised full papers and 18 revised short papers presented together with 3 abstracts of keynote talks, 4 doctoral consortium presentations, and 17 posters were carefully reviewed and selected from 138 submissions. The papers provide an excellent view on innovative personalization and adaptation functionalities in a variety of areas including elearning, ecommerce, mobile tourist guides, etc;

Authors:María Alpuente, Byron Cook, Christophe Joubert,
Publisher: Springer
Keywords: proceedings, november, netherlands, lecture, programming, engineering, software, eindhoven, fmics, industrial, methods, critical, systems, workshop, international, formal
Number of Pages: 213
Published: 2009-12-15
List price: $72.00
ISBN-10: 3642045693
ISBN-13: 9783642045691

This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The 10 papers presented were carefully reviewed and selected from 25 submissions. The volume also contains with 4 invited papers and 6 posters. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for

Authors:Emile H.L. Aarts, Jan van Leeuwen, Martin Rem,
Publisher: Springer
Keywords: parallel, languages, lecture, proceedings, notes, computer, june, science, eindhoven, architectures, europe, volume, parle, netherlands
Number of Pages: 489
Published: 1991-07-01
List price: $79.95
ISBN-10: 3540541527
ISBN-13: 9783540541523

The innovative progress in the development of parallel computing systems and their increasing availability have caused a rise in interest in the scientific principles that underlie parallel computation and parallel programming. The biannual Parallel Architectures and Languages Europe (PARLE) conferences aim to present current research on all aspects of the theory, design and application of parallel computing systems and parallel processing. This volume, offering the results of PARLE ’91, has been broadened in scope in order to cover the area of parallel algorithms and complexity, in addi