Hui Shi

According to our database1, Hui Shi
  • authored at least 31 papers between 1993 and 2015.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2015
Preface.
Int. J. Software and Informatics, 2015

2014
A Conceptual Model for Human-Robot Collaborative Spatial Navigation.
Proceedings of the Tenth Asia-Pacific Conference on Conceptual Modelling, 2014

2013
Annotation of negotiation processes in joint-action dialogues.
D&D, 2013

Resolving Conceptual Mode Confusion with Qualitative Spatial Knowledge in Human-Robot Interaction.
Proceedings of the Spatial Information Theory - 11th International Conference, 2013

Better Choice? Combining Speech and Touch in Multimodal Interaction for Elderly Persons.
Proceedings of the HEALTHINF 2013, 2013

2012
Evaluating a Spoken Language Interface of a Multimodal Interactive Guidance System for Elderly Persons.
Proceedings of the HEALTHINF 2012 - Proceedings of the International Conference on Health Informatics, Vilamoura, Algarve, Portugal, 1, 2012

2011
Towards effective, efficient and elderly-friendly multimodal interaction.
Proceedings of the PETRA 2011, 2011

2010
Modeling Ontological Concepts of Locations with a Heterogeneous Cardinal Direction Model.
Int. J. Software and Informatics, 2010

Modeling Ontological Concepts of Locations with a Heterogeneous Cardinal Direction Model.
Proceedings of the Knowledge Science, 2010

A Castor Wheel Controller for Differential Drive Wheelchairs.
Proceedings of the ICINCO 2010, 2010

Deep Reasoning in Clarification Dialogues with Mobile Robots.
Proceedings of the ECAI 2010, 2010

Modelling Illocutionary Structure: Combining Empirical Studies with Formal Model Analysis.
Proceedings of the Computational Linguistics and Intelligent Text Processing, 2010

Modelling user Behaviour While Driving an Intelligent Wheelchair.
Proceedings of the HEALTHINF 2010, 2010

Qualitative Spatial Modelling of Human Route Instructions to Mobile Robots.
Proceedings of the ACHI 2010, 2010

2009
Toward Heterogeneous Cardinal Direction Calculus.
Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

SimSpace: A Tool to Interpret Route Instructions with Qualitative Spatial Knowledge.
Proceedings of the Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, 2009

2008
Qualitative Semantic Representations.
KI, 2008

Modelling Route Instructions for Robust Human-Robot Interaction on Navigation Tasks.
Int. J. Software and Informatics, 2008

Modeling Ontological Concepts of Motions with Two Projection-Based Spatial Models.
Proceedings of the 2nd Workshop on Behaviour Monitoring and Interpretation, 2008

Interpreting Motion Expressions in Route Instructions Using Two Projection-Based Spatial Models.
Proceedings of the KI 2008: Advances in Artificial Intelligence, 2008

2006
Interpreting Route Instructions as Qualitative Spatial Actions.
Proceedings of the Spatial Cognition V: Reasoning, 2006

Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions.
Proceedings of the Geographic Information Science, 4th International Conference, 2006

2005
Formalising Control in Robust Spoken Dialogue Systems.
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.
Proceedings of the Spatial Cognition IV: Reasoning, 2004

1999
Combining Methods for the Analysis of a Fault-Tolerant System.
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.
Proceedings of the Algebraic Methodology and Software Technology, 1998

1997
Deadlock Analysis for a Fault-Tolerant System.
Proceedings of the Algebraic Methodology and Software Technology, 1997

1996
Efficient Second-Order Matching.
Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996

1995
Towards Correct, Efficient and Reusable Transformational Developments.
Proceedings of the KORSO, 1995

1994
Extended matching with applications to program transformation.
PhD thesis, 1994

1993
Towards Correctness, Efficiency and Reusability of Transformational Developments.
Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993


  Loading...