Hui Shi

Int. J. Softw. Informatics, 2015

2014

A Conceptual Model for Human-Robot Collaborative Spatial Navigation.

[BibT_eX]

[DOI]

Proceedings of the Tenth Asia-Pacific Conference on Conceptual Modelling, 2014

2013

Annotation of negotiation processes in joint-action dialogues.

[BibT_eX]

[DOI]

Dialogue Discourse, 2013

Resolving Conceptual Mode Confusion with Qualitative Spatial Knowledge in Human-Robot Interaction.

[BibT_eX]

[DOI]

Proceedings of the Spatial Information Theory - 11th International Conference, 2013

Better Choice? Combining Speech and Touch in Multimodal Interaction for Elderly Persons.

[BibT_eX]

Proceedings of the HEALTHINF 2013, 2013

Modality Preference in Multimodal Interaction for Elderly Persons.

[BibT_eX]

[DOI]

Proceedings of the Biomedical Engineering Systems and Technologies, 2013

2012

Evaluating a Spoken Language Interface of a Multimodal Interactive Guidance System for Elderly Persons.

[BibT_eX]

Proceedings of the HEALTHINF 2012 - Proceedings of the International Conference on Health Informatics, Vilamoura, Algarve, Portugal, 1, 2012

Touch and Speech: Multimodal Interaction for Elderly Persons.

[BibT_eX]

[DOI]

Proceedings of the Biomedical Engineering Systems and Technologies, 2012

2011

Evaluation of a Unified Dialogue Model for Human-Computer Interaction.

[BibT_eX]

[DOI]

Carsten Rachuy

Int. J. Comput. Linguistics Appl., 2011

Towards effective, efficient and elderly-friendly multimodal interaction.

[BibT_eX]

[DOI]

Nicole von Steinbüchel-Rheinwall

Nadine Sasse

Proceedings of the PETRA 2011, 2011

2010

Modeling Ontological Concepts of Locations with a Heterogeneous Cardinal Direction Model.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2010

A Castor Wheel Controller for Differential Drive Wheelchairs.

[BibT_eX]

Bernd Gersdorf

Proceedings of the ICINCO 2010, 2010

Deep Reasoning in Clarification Dialogues with Mobile Robots.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

Modelling Illocutionary Structure: Combining Empirical Studies with Formal Model Analysis.

[BibT_eX]

[DOI]

Proceedings of the Computational Linguistics and Intelligent Text Processing, 2010

Modelling user Behaviour While Driving an Intelligent Wheelchair.

[BibT_eX]

Kerstin Schill

Proceedings of the HEALTHINF 2010, 2010

Qualitative Spatial Modelling of Human Route Instructions to Mobile Robots.

[BibT_eX]

[DOI]

Proceedings of the ACHI 2010, 2010

2009

Toward Heterogeneous Cardinal Direction Calculus.

[BibT_eX]

[DOI]

Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

SimSpace: A Tool to Interpret Route Instructions with Qualitative Spatial Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, 2009

Spatio-Temporal Situated Interaction in Ambient Assisted Living.

[BibT_eX]

[DOI]

Proceedings of the Human Centered Robot Systems, Cognition, Interaction, Technology, 2009

Telling Rolland Where to Go: HRI Dialogues on Route Navigation.

[BibT_eX]

[DOI]

Thora Tenbrink

Proceedings of the Spatial Language and Dialogue, 2009

2008

Qualitative Semantic Representations.

[BibT_eX]

[DOI]

Künstliche Intell., 2008

Modelling Route Instructions for Robust Human-Robot Interaction on Navigation Tasks.

[BibT_eX]

Int. J. Softw. Informatics, 2008

Modeling Ontological Concepts of Motions with Two Projection-Based Spatial Models.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Behaviour Monitoring and Interpretation, 2008

Interpreting Motion Expressions in Route Instructions Using Two Projection-Based Spatial Models.

[BibT_eX]

[DOI]

Proceedings of the KI 2008: Advances in Artificial Intelligence, 2008

2007

Negotiating Spatial Goals with a Wheelchair.

[BibT_eX]

[DOI]

Thora Tenbrink

Proceedings of the 8th SIGdial Workshop on Discourse and Dialogue, 2007

2006

Interpreting Route Instructions as Qualitative Spatial Actions.

[BibT_eX]

[DOI]

Christian Mandel

Robert J. Ross

Proceedings of the Spatial Cognition V: Reasoning, 2006

Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions.

[BibT_eX]

[DOI]

Proceedings of the Geographic Information Science, 4th International Conference, 2006

2005

Formalising Control in Robust Spoken Dialogue Systems.

[BibT_eX]

[DOI]

Robert J. Ross

John A. Bateman

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

2004

Towards Dialogue Based Shared Control of Navigating Robots.

[BibT_eX]

[DOI]

Proceedings of the Spatial Cognition IV: Reasoning, 2004

1999

Combining Methods for the Analysis of a Fault-Tolerant System.

[BibT_eX]

[DOI]

Jan Peleska

Michel Kouvaras

Proceedings of the 1999 Pacific Rim International Symposium on Dependable Computing (PRDC 1999), 1999

1998

Combining Methods for the Livelock Analysis of a Fault-Tolerant System.

[BibT_eX]

[DOI]

Bettina Buth

Jan Peleska

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

Deadlock Analysis for a Fault-Tolerant System.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

Efficient Second-Order Matching.

[BibT_eX]

[DOI]

Régis Curien

Zhenyu Qian

Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996

1995

Towards Correct, Efficient and Reusable Transformational Developments.

[BibT_eX]

[DOI]

Proceedings of the KORSO, 1995

1994

Extended matching with applications to program transformation.

[BibT_eX]

[DOI]