128 results on '"Zwiers, Job"'
Search Results
2. Multimodal Plan Representation for Adaptable BML Scheduling
3. Conveying Directional Gaze Cues to Support Remote Participation in Hybrid Meetings
4. Affective Dialogue Management Using Factored POMDPs
5. Supporting Engagement and Floor Control in Hybrid Meetings
6. Towards a Reactive Virtual Trainer
7. Generic Dialogue Modeling for Multi-application Dialogue Systems
8. Drawings as Input for Handheld Game Computers
9. Presenting in Virtual Worlds: Towards an Architecture for a 3D Presenter Explaining 2D-Presented Information
10. The Virtual Driving Instructor Creating Awareness in a Multiagent System
11. Implementation of a 3D Virtual Drummer
12. Monitoring User’s Brain Activity for a Virtual Coach
13. Synchronizing clocked transition systems
14. Compositional Transformational Design for Concurrent Programs
15. Modular completeness: Integrating the reuse of specified software in top-down program development
16. Layering of real-time distributed processes
17. Partial order based design of concurrent systems
18. Modular completeness for Communication Closed Layers
19. Layering techniques for development of parallel systems : An algebraic approach
20. Layering and action refinement for timed systems
21. Protocol design by layered decomposition : A compositional approach
22. Action systems and action refinement in the development of parallel systems : An algebraic approach
23. Predicates, predicate transformers and refinement
24. Refining data to processes
25. Multimodal plan representation for adaptable BML scheduling
26. Elckerlyc: A BML Realizer for continuous, multimodal interaction with a Virtual Human
27. Mixed reality participants in smart meeting rooms and smart home environments
28. Virtual meeting rooms: from observation to simulation
29. Online and off-line visualization of meeting information and meeting support
30. Presenting in virtual worlds: an architecture for a 3D anthropomorphic presenter
31. In The Truman Show: generating dynamic scenarios in a driving simulator
32. Continuous Interaction within the SAIBA Framework
33. Multimodal Plan Representation for Adaptable BML Scheduling
34. Conveying Directional Gaze Cues to Support Remote Participation in Hybrid Meetings
35. Affective Dialogue Management Using Factored POMDPs
36. Supporting Engagement and Floor Control in Hybrid Meetings
37. The compositional approach to sequential consistency and lazy caching
38. Towards a Reactive Virtual Trainer
39. Generic Dialogue Modeling for Multi-application Dialogue Systems
40. The Virtual Driving Instructor Creating Awareness in a Multiagent System
41. Compositional Transformational Design for Concurrent Programs
42. Modular completeness: Integrating the reuse of specified software in top-down program development
43. Partial order based design of concurrent systems
44. Layering techniques for development of parallel systems
45. Modular completeness for Communication Closed Layers
46. Layering and action refinement for timed systems
47. Compositionality and modularity in process specification and design: A trace-state based approach
48. Compositionality and concurrent networks: Soundness and completeness of a proofsystem
49. A proof system for partial correctness of dynamic networks of processes : Extended abstract
50. A Demonstration of Continuous Interaction with Elckerlyc
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.