UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Compositionality, Concurrency and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship

Zwiers, Job

1989

Volltextzugriff (PDF)

Mixed reality participants in smart meeting rooms and smart home environments

Personal and ubiquitous computing, 2009, Vol.13 (1), p.85-94

2009

Volltextzugriff (PDF)

Online and off-line visualization of meeting information and meeting support

The Visual computer, 2006-12, Vol.22 (12), p.965-976

2006

Volltextzugriff (PDF)

A tractable hybrid DDN–POMDP approach to affective dialogue modeling for probabilistic frame-based dialogue systems

Natural language engineering, 2009-04, Vol.15 (2), p.273-307

2009

Volltextzugriff (PDF)

Towards a reactive virtual trainer

Intelligent Virtual Agents, 2006, p.292-303

2006

Volltextzugriff (PDF)

ON THE NATURE OF ENGINEERING SOCIAL ARTIFICIAL COMPANIONS

Applied artificial intelligence, 2011-07, Vol.25 (6), p.549-574

2011

Volltextzugriff (PDF)

Monitoring User’s Brain Activity for a Virtual Coach

Entertainment Computing - ICEC 2010, p.511-513

Volltextzugriff (PDF)

Continuous Interaction within the SAIBA Framework

Intelligent Virtual Agents, p.324-330

Volltextzugriff (PDF)

Protocol design by layered decomposition: A compositional approach

Formal Techniques in Real-Time and Fault-Tolerant Systems, 2005, p.307-326

2005

Volltextzugriff (PDF)

Virtual meeting rooms: from observation to simulation

AI & society, 2007-11, Vol.22 (2), p.133-144

2007

Volltextzugriff (PDF)

Multimodal Plan Representation for Adaptable BML Scheduling

Intelligent Virtual Agents, p.296-308

Volltextzugriff (PDF)

Partial order based design of concurrent systems

A Decade of Concurrency Reflections and Perspectives, 2005, p.622-684

2005

Volltextzugriff (PDF)

Presenting in Virtual Worlds: Towards an Architecture for a 3D Presenter Explaining 2D-Presented Information

Intelligent Technologies for Interactive Entertainment, 2005, p.203-212

2005

Volltextzugriff (PDF)

Compositional Transformational Design for Concurrent Programs

Compositionality: The Significant Difference, 1998, Vol.1536, p.609-631

1998

Volltextzugriff (PDF)

Layering techniques for development of parallel systems: An algebraic approach

Computer Aided Verification, 2005, p.16-29

2005

Volltextzugriff (PDF)

Compositionality and concurrent networks: Soundness and completeness of a proofsystem

Automata, Languages and Programming, 2005, p.509-519

2005

Volltextzugriff (PDF)

Synchronizing clocked transition systems

Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998, p.173-185

1998

Volltextzugriff (PDF)

Supporting Engagement and Floor Control in Hybrid Meetings

Cross-Modal Analysis of Speech, Gestures, Gaze and Facial Expressions, p.276-290

Volltextzugriff (PDF)

Drawings as Input for Handheld Game Computers

Intelligent Technologies for Interactive Entertainment, 2005, p.114-123

2005

Volltextzugriff (PDF)

Predicates, predicate transformers and refinement

Lecture notes in computer science, 1990, Vol.430, p.759-776

1990

Volltextzugriff (PDF)

Navigation Assistance in Virtual Worlds

Informing science, 2003-01, Vol.6, p.115-125

2003

Volltextzugriff (PDF)

Modular completeness for Communication Closed Layers

CONCUR'93, 2005, p.50-65

2005

Volltextzugriff (PDF)

Layering and action refinement for timed systems

Real-Time: Theory in Practice, 1992, p.687-723

1992

Volltextzugriff (PDF)

Layering of real-time distributed processes

Formal Techniques in Real-Time and Fault-Tolerant Systems, 2005, p.393-417

2005

Volltextzugriff (PDF)

A proof system for partial correctness of dynamic networks of processes: Extended abstract

Logics of Programs, 2005, p.513-527

2005

Volltextzugriff (PDF)

1 – 25 von 34

Suche als RSS-Feed

Aktive Filter

KollektionIngenta

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(30)
Mit Volltextzugriff
(34)

Publikationsform

Sprache

Englisch
(34)

Erscheinungsjahr

n.n

Menü

Weitere Dienste

Einstellungen

Compositionality, Concurrency and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship

Mixed reality participants in smart meeting rooms and smart home environments

Online and off-line visualization of meeting information and meeting support

A tractable hybrid DDN–POMDP approach to affective dialogue modeling for probabilistic frame-based dialogue systems

Towards a reactive virtual trainer

ON THE NATURE OF ENGINEERING SOCIAL ARTIFICIAL COMPANIONS

Monitoring User’s Brain Activity for a Virtual Coach

Continuous Interaction within the SAIBA Framework

Protocol design by layered decomposition: A compositional approach

Virtual meeting rooms: from observation to simulation

Multimodal Plan Representation for Adaptable BML Scheduling

Partial order based design of concurrent systems

Presenting in Virtual Worlds: Towards an Architecture for a 3D Presenter Explaining 2D-Presented Information

Compositional Transformational Design for Concurrent Programs

Layering techniques for development of parallel systems: An algebraic approach

Compositionality and concurrent networks: Soundness and completeness of a proofsystem

Synchronizing clocked transition systems

Supporting Engagement and Floor Control in Hybrid Meetings

Drawings as Input for Handheld Game Computers

Predicates, predicate transformers and refinement

Navigation Assistance in Virtual Worlds

Modular completeness for Communication Closed Layers

Layering and action refinement for timed systems

Layering of real-time distributed processes

A proof system for partial correctness of dynamic networks of processes: Extended abstract

Aktive Filter

Suchergebnisse filtern