feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • UB Potsdam  (99)
  • Bibliothek Lübbenau - Vetschau
  • SB Pritzwalk
  • Domstiftsarchiv
  • Ibero-Amerik. Institut
  • Kreismedienzentrum Teltow-Fläming
  • SB Zehdenick
  • Feministisches Archiv
  • HFS Ernst Busch
  • Bundesarchiv
  • Hist. Museum Berlin
  • Inst. f. Musikforschung
  • BHT
  • SB Bad Liebenwerda
  • GB Prösen
  • 2005-2009  (99)
  • Kleinberg, Jon  (99)
  • Konferenzschrift  (99)
Type of Medium
Language
Region
Library
  • UB Potsdam  (99)
  • Bibliothek Lübbenau - Vetschau
  • SB Pritzwalk
  • Domstiftsarchiv
  • Ibero-Amerik. Institut
  • +
Years
  • 2005-2009  (99)
Year
Subjects(RVK)
Access
  • 1
    UID:
    gbv_1647815827
    Format: Online-Ressource (digital)
    ISBN: 9783642013386
    Series Statement: Lecture Notes in Computer Science 5386
    Content: Multi-agent Organizations -- Model-Driven Integration of Organizational Models -- MAS Modeling Based on Organizations -- A Systemic Approach to the Validation of Self–Organizing Dynamics within MAS -- Method Engineering and Software Development Processes -- Using and Extending the SPEM Specifications to Represent Agent Oriented Methodologies -- Definition of Process Models for Agent-Based Development -- Methodology Fragments Definition in SPEM for Designing Adaptive Methodology: A First Step -- A MAS Metamodel-Driven Approach to Process Fragments Selection -- An Evaluation Framework for MAS Modeling Languages Based on Metamodel Metrics -- A Unified Graphical Notation for AOSE -- Prometheus and INGENIAS Agent Methodologies: A Complementary Approach -- The Formal Semantics of the Domain Specific Modeling Language for Multiagent Systems -- Evaluating an Agent-Oriented Approach for Change Propagation -- Testing and Debugging -- Goal-Oriented Agent Testing Revisited -- Experimental Evaluation of Ontology-Based Test Generation for Multi-agent Systems -- Testing and Debugging of MAS Interactions with INGENIAS -- Tools and Case Studies -- PASSI Methodology in the Design of Software Framework: A Study Case of the Passenger Transportation Enterprise -- Developing and Evolving a Multi-agent System Product Line: An Exploratory Study -- Combining JADE and Repast for the Complex Simulation of Enterprise Value-Adding Networks -- OperA and Brahms: A Symphony? -- Support for Analysis, Design, and Implementation Stages with MASDK.
    Content: Software architectures that contain many dynamically interacting components, each with its own thread of control, engaging in complex coordination protocols, are difficult to correctly and efficiently engineer. Agent-oriented modelling techniques are important for the design and development of such applications. This book provides a diverse and interesting overview of the work that is currently being undertaken by a growing number of researchers in the area of Agent-Oriented Software Engineering. The papers represent a state-of-the-art report of current research in this field, which is of critical importance in facilitating industry take-up of powerful agent technologies. This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Workshop on Agent-Oriented Software Engineering, AOSE 2008, held in Estoril, Portugal, in May 2008 as part of AAMAS 2008. The 20 revised full papers were carefully selected from 50 initial submissions during two rounds of reviewing and improvement. The papers have been organized into four sections on: multi-agent organizations, method engineering and software development processes, testing and debugging, as well as tools and case studies.
    Additional Edition: ISBN 9783642013379
    Additional Edition: Erscheint auch als Druck-Ausgabe Agent-oriented software engineering IX Berlin [u.a.] : Springer, 2009 ISBN 3642013376
    Additional Edition: ISBN 9783642013379
    Additional Edition: Erscheint auch als Druck-Ausgabe Agent-oriented software engineering ; 9: 9th International Workshop, AOSE 2008, Estoril, Portugal, May 12 - 13, 2008; revised selected papers Berlin : Springer, 2009 ISBN 9783642013379
    Additional Edition: ISBN 3642013376
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Software Engineering ; Mehragentensystem ; Autonomer Agent ; Softwareplattform ; Mehragentensystem ; Testen ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Pandu Rangan, C. 1955-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    UID:
    gbv_1647744318
    Format: Online-Ressource (digital)
    ISBN: 9783642008672
    Series Statement: Lecture Notes in Computer Science 5454
    Content: Formal Reasoning about Fault Tolerant Systems and Protocols -- Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols -- Reasoning about System-Degradation and Fault-Recovery with Deontic Logic -- Temporal Verification of Fault-Tolerant Protocols -- Design and Verification of Fault-Tolerant Components -- Dynamically Detecting Faults via Integrity Constraints -- Fault Tolerance: Modelling in B -- Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction -- Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems -- Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B -- Model-Based Testing Using Scenarios and Event-B Refinements -- Fault Tolerance in System Development Process -- Recording Process Documentation in the Presence of Failures -- DREP: A Requirements Engineering Process for Dependable Reactive Systems -- Documenting the Progress of the System Development -- Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process -- Fault Tolerant Applications -- Step-Wise Development of Resilient Ambient Campus Scenarios -- Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability.
    Content: The growing complexity of modern software systems makes it increasingly difficult to ensure the overall dependability of software-intensive systems. Mastering system complexity requires design techniques that support clear thinking and rigorous validation and verification. Formal design methods together with fault-tolerant design techniques help to achieve this. Therefore, there is a clear need for methods that enable rigorous modeling and the development of complex fault-tolerant systems. This book is an outcome of the workshop on Methods, Models and Tools for Fault Tolerance, MeMoT 2007, held in conjunction with the 6th international conference on Integrated Formal Methods, iFM 2007, in Oxford, UK, in July 2007. The authors of the best workshop papers were asked to enhance and expand their work, and a number of well-established researchers working in the area contributed invited chapters in addition. From the 15 refereed and revised papers presented, 12 are versions reworked from the workshop and 3 papers are invited. The articles are organized in four topical sections on: formal reasoning about fault-tolerant systems and protocols; fault tolerance: modelling in B; fault tolerance in system development process; and fault-tolerant applications.
    Note: Literaturangaben
    Additional Edition: ISBN 9783642008665
    Additional Edition: Buchausg. u.d.T. Methods, models and tools for fault tolerance Berlin : Springer, 2009 ISBN 3642008666
    Additional Edition: ISBN 9783642008665
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Fehlertoleranz ; Fehlertoleranz ; Aufsatzsammlung ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Pandu Rangan, C. 1955-
    Author information: Jones, Cliff B. 1944-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    UID:
    gbv_1647261740
    Format: Online-Ressource (digital)
    ISBN: 9783540709305
    Series Statement: Lecture Notes in Computer Science 4922
    Content: Modeling Techniques and Infrastructures -- The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software -- Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control -- A Software and System Modeling Facility for Vehicle Environment Interactions -- Model Transformations -- Generating Sound and Resource-Aware Code from Hybrid Systems Models -- Towards Verification of Model Transformations Via Goal-Directed Certification -- Quality Assurance -- An Instrumentation-Based Approach to Controller Model Validation -- TestML - A Test Exchange Language for Model-Based Testing of Embedded Software -- Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems -- Real-Time Control -- Modeling with the Timing Definition Language (TDL) -- Towards Model-Driven Development of Hard Real-Time Systems -- Services and Components -- Reusable Services and Semi-automatic Service Composition for Automotive Software.
    Content: This book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD 2006, held in San Diego, CA, USA in March 2006. The 11 revised full papers presented were carefully reviewed and selected from 18 lectures held at the workshop, that brought together experts from industry and academia, working on highly complex, distributed, reactive software systems related to the automotive domain. The papers are organized in topical sections on modeling techniques and infrastructures, model transformations, quality assurance, real-time control, as well as services and components.
    Note: Includes bibliographical references and author index
    Additional Edition: ISBN 9783540709299
    Additional Edition: Buchausg. u.d.T. Model-driven development of reliable automotive services Berlin : Springer, 2008 ISBN 3540709290
    Additional Edition: ISBN 9783540709299
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Kraftfahrzeugelektronik ; Softwareentwicklung ; Kraftfahrzeugelektronik ; Hardwareentwurf ; Kraftfahrzeug ; Ad-hoc-Netz ; Konferenzschrift ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Nierstrasz, Oscar 1957-
    Author information: Krüger, Ingolf 1970-
    Author information: Pandu Rangan, C. 1955-
    Author information: Broy, Manfred 1949-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    UID:
    gbv_1647376122
    Format: Online-Ressource (digital)
    ISBN: 9783540689799
    Series Statement: Lecture Notes in Computer Science 4968
    Content: TRUST 2008 -- Practical Techniques for Operating System Attestation -- TOCTOU, Traps, and Trusted Computing -- A Software-Based Trusted Platform Module Emulator -- Towards Trust Services for Language-Based Virtual Machines for Grid Computing -- Embedded Trusted Computing with Authenticated Non-volatile Memory -- The Zurich Trusted Information Channel – An Efficient Defence Against Man-in-the-Middle and Malicious Software Attacks -- A Model for New Zealand’s Identity Verification Service -- Pseudonymous Mobile Identity Architecture Based on Government-Supported PKI -- Para-Virtualized TPM Sharing -- Slicing for Security of Code -- Trusted Computing Serving an Anonymity Service -- Combining Biometric Authentication with Privacy-Enhancing Technologies -- A New Direct Anonymous Attestation Scheme from Bilinear Maps -- On a Possible Privacy Flaw in Direct Anonymous Attestation (DAA).
    Content: This volume contains papers presented at TRUST 2008, the ?rst international conference on Trusted Computing and Trust in Information Technologies, held in March 2008 in Villach, Austria. The aim of the conference was to create a joint scienti?c and networking platform covering the core issues of trust in IT systems and trusted computing and to bridge the gaps between international research groups and projects in closely related ?elds. The organizers received 43 submissions from 17 countries. Each of the s- mittedpaperswasreviewedbythreereviewers.Basedonthesereviews13papers were selected as suitable for the conference and the authors were asked to p- sent their work. Further, six renowned speakers from academia, industry and the European Commission were invited for keynotes. The accepted papers are published in this volume together with one paper from Paul England, one of the invited speakers at TRUST 2008. TheconferencewassupportedbytheEuropeanCommissionviatheOpen-TC project (FP6 IST-027635), by the Austrian Research Promotion Agency (FFG) and by the city of Villach.
    Note: Literaturangaben
    Additional Edition: ISBN 9783540689782
    Additional Edition: Buchausg. u.d.T. Trusted computing challenges and applications Berlin : Springer, 2008 ISBN 3540689788
    Additional Edition: ISBN 9783540689782
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Trusted Computing ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Sadeghi, Ahmad-Reza
    Author information: Nierstrasz, Oscar 1957-
    Author information: Pandu Rangan, C. 1955-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    UID:
    gbv_1647675839
    Format: Online-Ressource (digital)
    ISBN: 9783540926955
    Series Statement: Lecture Notes in Computer Science 5313
    Content: Nested Partitioning for the Minimum Energy Broadcast Problem -- An Adaptive Memory-Based Approach Based on Partial Enumeration -- Learning While Optimizing an Unknown Fitness Surface -- On Effectively Finding Maximal Quasi-cliques in Graphs -- Improving the Exploration Strategy in Bandit Algorithms -- Learning from the Past to Dynamically Improve Search: A Case Study on the MOSP Problem -- Image Thresholding Using TRIBES, a Parameter-Free Particle Swarm Optimization Algorithm -- Explicit and Emergent Cooperation Schemes for Search Algorithms -- Multiobjective Landscape Analysis and the Generalized Assignment Problem -- Limited-Memory Techniques for Sensor Placement in Water Distribution Networks -- A Hybrid Clustering Algorithm Based on Honey Bees Mating Optimization and Greedy Randomized Adaptive Search Procedure -- Ant Colony Optimization and the Minimum Spanning Tree Problem -- A Vector Assignment Approach for the Graph Coloring Problem -- Rule Extraction from Neural Networks Via Ant Colony Algorithm for Data Mining Applications -- Tuning Local Search by Average-Reward Reinforcement Learning -- Evolution of Fitness Functions to Improve Heuristic Performance -- A Continuous Characterization of Maximal Cliques in k-Uniform Hypergraphs -- Hybrid Heuristics for Multi-mode Resource-Constrained Project Scheduling.
    Content: This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Learning and Intelligent Optimization, LION 2007 II, held in Trento, Italy, in December 2007. The 18 revised full papers were carefully reviewed and selected from 48 submissions for inclusion in the book. The papers cover current issues of machine learning, artificial intelligence, mathematical programming and algorithms for hard optimization problems and are organized in topical sections on improving optimization through learning, variable neighborhood search, insect colony optimization, applications, new paradigms, cliques, stochastic optimization, combinatorial optimization, fitness and landscapes, and particle swarm optimization.
    Additional Edition: ISBN 9783540926948
    Additional Edition: Buchausg. u.d.T. Learning and intelligent optimization Berlin : Springer, 2008 ISBN 3540926941
    Additional Edition: ISBN 9783540926948
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Maschinelles Lernen ; NP-hartes Problem ; Soft Computing ; Metaheuristik ; N-armiger Bandit ; Ameisenalgorithmus ; Lernendes System ; Organic Computing ; Optimierung ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Pandu Rangan, C. 1955-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    UID:
    gbv_1647675634
    Format: Online-Ressource (digital)
    ISBN: 9783540921912
    Series Statement: Lecture Notes in Computer Science 5151
    Content: Bio-Inspired Computing and Communication -- Biological Networks -- A Complex Network Approach to the Determination of Functional Groups in the Neural System of C. Elegans -- Modelling Gene Regulatory Networks -- The Role of Simplifying Models in Neuroscience: Modelling Structure and Function -- An Artificial Chemistry for Networking -- Biomimicry: Further Insights from Ant Colonies? -- Network-Related Challenges and Insights from Neuroscience -- Network Epidemics -- Networks in Epidemiology -- Epidemiology and Wireless Communication: Tight Analogy or Loose Metaphor? -- Epidemic Spreading of Computer Worms in Fixed Wireless Networks -- Wireless Epidemic Spread in Dynamic Human Networks -- Complex Networks -- Stochastic Spreading Processes on a Network Model Based on Regular Graphs -- Weighted and Directed Network on Traveling Patterns -- Communication Networks in Insect Societies -- The Topological Fortress of Termites -- Evolutionary and Temporal Dynamics of Transcriptional Regulatory Networks -- Phase Patterns of Coupled Oscillators with Application to Wireless Communication -- Self-organizing Desynchronization and TDMA on Wireless Sensor Networks -- Bio-Inspired Network Model -- Bio-Inspired Multi-agent Collaboration for Urban Monitoring Applications -- Bio-Inspired Approaches for Autonomic Pervasive Computing Systems -- Biologically Inspired Self Selective Routing with Preferred Path Selection -- Biologically Inspired Approaches to Networks: The Bio-Networking Architecture and the Molecular Communication -- Network Protocol in Wireless Communication -- User-Centric Mobility Models for Opportunistic Networking -- Wavelet-Domain Statistics of Packet Switching Networks Near Traffic Congestion -- A Circulatory System Approach for Wireless Sensor Networks -- Epcast: Controlled Dissemination in Human-Based Wireless Networks Using Epidemic Spreading Models -- Maintaining Spatial-Temporal Knowledge through Human Interaction -- Data Management -- Beta Random Projection -- Biologically Inspired Classifier -- Distributed Computing -- Human Heuristics for Autonomous Agents -- Designing Biological Computers: Systemic Computation and Sensor Networks -- A Rule System for Network-Centric Operation in Massively Distributed Systems -- Field-Based Coordination for Pervasive Computing Applications -- Coalition Games and Resource Allocation in Ad-Hoc Networks -- Security -- Bio-Inspired Topology Maintenance Protocols for Secure Wireless Sensor Networks -- Dynamic Topologies for Robust Scale-Free Networks.
    Content: The book constitutes the thoroughly refereed post-workshop proceedings of the First Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007, held in Cambridge, UK, in April 2007. The 35 revised full papers presented were carefully reviewed and selected from many high quality submissions. All recent developments in the field of bio-inspired design of networks are addressed, with particular regard to wireless networks and the self-organizing properties of biological networks. The papers are organized in topical sections on biological networks, network epidemics, complex networks, bio-inspired network mode, network protocol in wireless communication, data management, distributed computing, and security.
    Additional Edition: ISBN 9783540921905
    Additional Edition: Buchausg. u.d.T. Bio-inspired computing and communication Berlin : Springer, 2008 ISBN 3540921907
    Additional Edition: ISBN 9783540921905
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Netzwerktopologie ; Biologisches System ; Modell ; Kommunikationssystem ; Netzwerktopologie ; Selbst organisierendes System ; Funknetz ; Kommunikationsprotokoll ; Interaktion ; Modellierung ; Ubiquitous Computing ; Autonomic Computing ; Organic Computing ; Verteiltes System ; Sensorsystem ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Pandu Rangan, C. 1955-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    UID:
    gbv_1647744296
    Format: Online-Ressource (digital)
    ISBN: 9783642005879
    Series Statement: Lecture Notes in Computer Science 5471
    Content: Implementation of Trusted Computing -- Towards a Programmable TPM -- ACPI: Design Principles and Concerns -- Implementation Aspects of Mobile and Embedded Trusted Computing -- Modeling Trusted Computing Support in a Protection Profile for High Assurance Security Kernels -- Attestation -- Remote Attestation of Attribute Updates and Information Flows in a UCON System -- Measuring Semantic Integrity for Remote Attestation -- PKI for Trusted Computing -- A PrivacyCA for Anonymity and Trust -- Revocation of TPM Keys -- Applications I -- Securing the Dissemination of Emergency Response Data with an Integrated Hardware-Software Architecture -- Trustable Remote Verification of Web Services -- Trustworthy Log Reconciliation for Distributed Virtual Organisations -- Attacking the BitLocker Boot Process -- Applications II -- Secure VPNs for Trusted Computing Environments -- Merx: Secure and Privacy Preserving Delegated Payments -- A Property-Dependent Agent Transfer Protocol.
    Content: This book constitutes the refereed proceedings of the Second International Conference on Trusted Computing, TRUST 2009, held in Oxford, UK, in April 2009. The 15 revised full papers presented were carefully selected during two rounds of reviewing and improvement from an initial total of 33 submissions. The papers cover the core issues of trust in IT systems and present current research, devoted to technical aspects of trusted computing. The papers are organized in topical sections on implementation of trusted computing, attestation, PKI for trusted computing, applications.
    Note: Literaturangaben
    Additional Edition: ISBN 9783642005862
    Additional Edition: Buchausg. u.d.T. Trusted computing Berlin : Springer, 2009 ISBN 3642005861
    Additional Edition: ISBN 9783642005862
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Trusted Computing ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Pandu Rangan, C. 1955-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    UID:
    gbv_1647898064
    Format: Online-Ressource (digital)
    ISBN: 9783642006098
    Series Statement: Lecture Notes in Computer Science 5447
    Content: Awarded Papers -- Overview of Awarded Papers – The 22nd Annual Conference of JSAI -- A Japanese Input Method for Mobile Terminals Using Surface EMG Signals -- Evaluation of Similarity Measures for Ontology Mapping -- Network Distributed POMDP with Communication -- Solving Crossword Puzzles Using Extended Potts Model -- Socialized Computers and Collaborative Learning -- Learning Communicative Meanings of Utterances by Robots -- Towards Coordination of Multiple Machine Translation Services -- Ranking Method of Object-Attribute-Evaluation Three-Tuples for Opinion Retrieval -- Logic and Engineering of Natural Language Semantics -- Overview of Logic and Engineering of Natural Language Semantics (LENLS) 2008 -- Multiple Subject Constructions in Japanese: A Dynamic Syntax Account -- Topic/Subject Coreference in the Hierarchy of Japanese Complex Sentences -- Japanese Reported Speech: Against a Direct–Indirect Distinction -- The Dynamics of Tense under Attitudes – Anaphoricity and de se Interpretation in the Backward Shifted Past -- Argumentative Properties of Pragmatic Inferences -- Prolegomena to Dynamic Epistemic Preference Logic -- Monads and Meta-lambda Calculus -- Juris-Informatics -- Overview of JURISIN 2008 -- Bootstrapping-Based Extraction of Dictionary Terms from Unsegmented Legal Text -- Computational Dialectics Based on Specialization and Generalization – A New Reasoning Method for Conflict Resolution -- Treatment of Legal Sentences Including Itemized and Referential Expressions – Towards Translation into Logical Forms -- Computing Argumentation Semantics in Answer Set Programming -- Laughter in Interaction and Body Movement -- LIBM 2008 - First International Workshop on Laughter in Interaction and Body Movement -- Laughter around the End of Storytelling in Multi-party Interaction -- Preliminary Notes on the Sequential Organization of Smile and Laughter -- Laughter for Defusing Tension: Examples from Business Meetings in Japanese and in English -- Robots Make Things Funnier -- Laughter: Its Basic Nature and Its Background of Equivocal Impression.
    Content: This book consists of award papers from the 22nd Annual Conference of the Japanese Society for Artificial Intelligence, held in Asahikawa, Japan, in June 2008 and selected papers from three co-located international workshops. The volume starts with 8 award winning papers of the JSAI 2008 main conference that were selected among more than 400 presentations. They are accompanied by 18 revised full workshop papers, carefully reviewed and selected from 34 presentations at the following three co-located international workshops: Logic and Engineering of Natural Language Semantics (LENLS 2008), the 2nd International Workshop on Juris-Informatics (JURISIN 2008), and the 1st International Workshop on Laughter in Interaction and Body Movement (LIBM 2008).
    Additional Edition: ISBN 9783642006081
    Additional Edition: Buchausg. u.d.T. New frontiers in artificial intelligence Berlin : Springer, 2009 ISBN 3642006086
    Additional Edition: ISBN 9783642006081
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Künstliche Intelligenz ; Anwendung ; Natürliche Sprache ; Semantik ; Logik ; Rechtsinformatik ; Mensch-Maschine-Kommunikation ; Bewegung ; Lachen ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Wahlster, Wolfgang 1953-
    Author information: Pandu Rangan, C. 1955-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    UID:
    gbv_1647672201
    Format: Online-Ressource (digital)
    ISBN: 9783540708728
    Series Statement: Lecture Notes in Computer Science 5042
    Content: - Static and Dynamic Processing of Faces, Facial Expressions, and Gaze -- Data Mining Spontaneous Facial Behavior with Automatic Expression Coding -- Ekfrasis: A Formal Language for Representing and Generating Sequences of Facial Patterns for Studying Emotional Behavior -- On the Relevance of Facial Expressions for Biometric Recognition -- Biometric Face Recognition with Different Training and Testing Databases -- Combining Features for Recognizing Emotional Facial Expressions in Static Images -- Mutually Coordinated Anticipatory Multimodal Interaction -- Affordances and Cognitive Walkthrough for Analyzing Human-Virtual Human Interaction -- - Emotional Speech Synthesis and Recognition: Applications to Telecommunication Systems -- Individual Traits of Speaking Style and Speech Rhythm in a Spoken Discourse -- The Organization of a Neurocomputational Control Model for Articulatory Speech Synthesis -- Automatic Speech Recognition Used for Intelligibility Assessment of Text-to-Speech Systems -- ECESS Platform for Web Based TTS Modules and Systems Evaluation -- Towards Slovak Broadcast News Automatic Recording and Transcribing Service -- Computational Stylometry: Who’s in a Play? -- The Acoustic Front-End in Scenarios of Interaction Research -- Application of Expressive Speech in TTS System with Cepstral Description -- Speech Emotion Perception by Human and Machine -- Expressive Speech Synthesis Using Emotion-Specific Speech Inventories -- Study on Speaker-Independent Emotion Recognition from Speech on Real-World Data -- Exploiting a Vowel Based Approach for Acted Emotion Recognition -- Towards Annotation of Nonverbal Vocal Gestures in Slovak -- The CineLingua Approach: Verbal and Non-verbal Features in Second Language Acquisition. Film Narrative to Anchor Comprehension and Production.
    Content: This book constitutes the refereed proceedings of the COST 2102 International Conference on Verbal and Nonverbal Features of Human-Human and Human-Machine Interaction, held in Patras, Greece, October 29 -31, 2007 The 21 revised full papers were carefully reviewed and selected. The papers are organized in topical sections on static and dynamic processing of faces, facial expressions and gaze as well as emotional speech synthesis and recognition.
    Additional Edition: ISBN 9783540708711
    Additional Edition: Buchausg. u.d.T. Verbal and nonverbal features of human-human and human-machine interaction Berlin : Springer, 2008 ISBN 3540708715
    Additional Edition: ISBN 9783540708711
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Multimodales System ; Nichtverbale Kommunikation ; Mündliche Kommunikation ; Gefühl ; Identifikation ; Sprachproduktion ; Gefühl ; Automatische Spracherkennung ; Telekommunikation ; Gesicht ; Mimik ; Blick ; Mustererkennung ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Wahlster, Wolfgang 1953-
    Author information: Pandu Rangan, C. 1955-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    UID:
    gbv_1647674409
    Format: Online-Ressource (digital)
    ISBN: 9783540894544
    Series Statement: Lecture Notes in Computer Science 5334
    Content: Future Perspectives on Interactive Digital Storytelling (Keynotes) -- Embracing the Combinatorial Explosion: A Brief Prescription for Interactive Story R&D -- Interactive Narrative, Plot Types, and Interpersonal Relations -- The IRIS Network of Excellence: Integrating Research in Interactive Storytelling -- Interactive Storytelling Applications -- Mobile Urban Drama – Setting the Stage with Location Based Technologies -- Say Anything: A Massively Collaborative Open Domain Story Writing Companion -- Locating Drama: A Demonstration of Location-Aware Audio Drama -- Lies and Seductions -- Animation-Based Interactive Storytelling System -- Dear Esther: An Interactive Ghost Story Built Using the Source Engine -- Walking the Edit – A Research Project of the Master Cinema Network in Switzerland -- Virtual Characters and Agents -- 3D Immersion in Virtual Agents Education -- Exploring Non-verbal Behavior Models for Believable Characters -- Revisiting Character-Based Affective Storytelling under a Narrative BDI Framework -- VirtualActor: Endowing Virtual Characters with a Repertoire for Acting -- Steps towards a Generic Interface between Interactive Storytelling Applications and Character Animation Engines -- User Experience and Dramatic Immersion -- Looking at the Interactive Narrative Experience through the Eyes of the Participants -- Play and Narration as Patterns of Meaning Construction: Theoretical Foundation and Empirical Evaluation of the User Experience of Interactive Films -- Trying to Get Trapped in the Past – Exploring the Illusion of Presence in Virtual Drama -- The Functions of Music in Interactive Media -- Adaptive Musical Expression from Automatic Realtime Orchestration and Performance -- Architectures for Story Generation -- Narrative Generation for Suspense: Modeling and Evaluation -- A Use of Flashback and Foreshadowing for Surprise Arousal in Narrative Using a Plan-Based Approach -- Story Planning with Vignettes: Toward Overcoming the Content Production Bottleneck -- Schemas in Directed Emergent Drama -- Developing a Drama Management Architecture for Interactive Fiction Games -- Planning and Interaction Levels for TV Storytelling -- Exploiting Structure and Conventions of Movie Scripts for Information Retrieval and Text Mining -- Generation of Dilemma-Based Narratives: Method and Turing Test Evaluation -- Models for Drama Management and Interacting with Stories -- Emergent Stories Facilitated -- Making Stories Player-Specific: Delayed Authoring in Interactive Storytelling -- Verbal Communication of Story Facilitators in Multi-player Role-Playing Games -- Improvisation and Performance as Models for Interacting with Stories -- Let’s Pretend I Had a Sword -- On the Use of Computational Models of Influence for Managing Interactive Virtual Experiences -- Authoring and Creation of Interactive Narratives -- Purposeful Authoring for Emergent Narrative -- From Debugging to Authoring: Adapting Productivity Tools to Narrative Content Description -- PRISM: A Framework for Authoring Interactive Narratives -- Tales for the Many: Process and Authorial Control in Multi-player Role-Playing Games -- An Intelligent Plot-Centric Interface for Mastering Computer Role-Playing Games -- StoryTec: A Digital Storytelling Platform for the Authoring and Experiencing of Interactive and Non-linear Stories -- Workshop: Impro Theatre -- Workshop: Pen-and-Paper Role-Playing -- Workshop and Panel: The Authoring Process in Interactive Storytelling.
    Content: This book constitutes the refereed proceedings of the First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008, held in Erfurt, Germany, in November 2008. The 19 revised full papers, 5 revised short papers, and 5 poster papers presented together with 3 invited lectures and 8 demo papers were carefully reviewed and selected from 62 submission. The papers are organized in topical sections on future perspectives on interactive digital storytelling, interactive storytelling applications, virtual characters and agents, user experience and dramatic immersion, architectures for story generation, models for drama management and interacting with stories, as well as authoring and creation of interactive narrative.
    Additional Edition: ISBN 9783540894247
    Additional Edition: Buchausg. u.d.T. Interactive storytelling Berlin : Springer, 2008 ISBN 3540894241
    Additional Edition: ISBN 9783540894247
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Interaktive Medien ; Virtuelle Realität ; Erzählen ; Softwareplattform ; Interaktive Medien ; Drama ; Immersion ; Interaktive Medien ; Virtuelle Realität ; Charakter ; Agent ; Interaktive Medien ; Virtuelle Realität ; Rollenspiel ; Autorensystem ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Pandu Rangan, C. 1955-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages