Universität Bremen  
  FB 3 TZI BISS AG BKB  
  H. Shi > Deutsch
English
 

Veröffentlichungen

 
 

Springe zu Jahr:  noch nicht erschienen   2014   2013   2012   2011   2010   2009   2008   2007   2006   2005   2004   2000   1999   1998   1997   1996   1995   1994   1989   1987 


noch nicht erschienen     nach oben

B. Krieg-Brückner, H. Shi, B. Gersdorf, M. Döhle, T. Röfer. Context-Sensitive Spatial Interaction and Ambient Control. In Mastrogiovanni, F. Chong, N.-Y. (Hrsg.), Handbook of Research on Ambient Intelligence and Smart Environments: Trends and Perspectives.   detail

2014     nach oben

Cui Jian, Hui Shi (2014). A Conceptual Model for Human-Robot Collaborative Spatial Navigation. In The 10th Asia-Pacific Conferences on Conceptual Modelling (APCCM 2014), CRPIT.   detail

2013     nach oben

Cui Jian, Hui Shi, Frank Schafmeister, Carsten Rachuy, Nadine Sasse, Holger Schmidt, Volker Hoemberg, Nicole von Steinbüchel (2013). Touch and Speech: Multimodal Interaction for Elderly Persons. In Biomedical Engineering Systems and Technologies Communications in Computer and Information Science, Band 357, S. 385–400.   detail
Cui Jian, Hui Shi (2013). Resolving Conceptual Mode Confusion with Qualitative Spatial Knowledge in Human-Robot Interaction. In Proceedings of the 11th International Conference on Spatial Information Theory, Lecture Notes in Computer Science.   detail
C. Jian, H. Shi, F. Scharfmeister, C. Rachuy, N. Sasse, H. Schmidt, N. v. Steinbuechel (2013). Better Choice? Combing Speech and Touch in Multimodal Interaction for Elderly Persons. In Proceedings of the 6th International Conference on Health Informatics, HealthInf2013.   detail
Thora Tenbrink, Kathleen Eberhard, Hui Shi, Sandra Kübler, Matthias Scheutz (2013). Annotation of negotiation processes in joint action dialogues. In Dialogue & Discourse, 4 (2), S. 185–214.   detail   pdf

2012     nach oben

Bernd Krieg-Brückner, Hui Shi (2012). Reasoning About Large Places. In Proceedings of International Workshop on Place-Related Knowledge Acquisition Research (P-KAR) 2012.   detail
Mohammad Fazleh Elahi, Hui Shi, John Bateman, Kathleen M. Eberhard, Matthias Scheutz (2012). Classification of Localization Utterances using a Spatial Ontology. In Proceedings of International Workshop on Place-Related Knowledge Acquisition Research (P-KAR) 2012.   detail
C. Jian, F. Scharfmeister, C. Rachuy, N. Sasse, H. Shi, H. Schmidt, N. v. Steinbuechel (2012). Evluating a spoken language interface of a multimodal interactive guidance system for elderly persons. In Proceedings of the 5th International Conference on Health Informatics, S. 87–96. SciTePress.   detail

2011     nach oben

C. Jian, N. Sasse, N. v. Steinbüchel-Rheinwall, F. Schafmeister, H. Shi, C. Rachuy, H. Schmidt (2011). Towards effective, efficient and elderly-friendly multimodal interaction. In Proceedings of the 4th International Conference on PErvasive Technologies Related to Assistive Environments, (p. 45:1--45:8). , petra 11. ACM.   detail
B. Krieg-Brückner, T. Röfer, H. Shi, B. Gersdorf (2011). Mobilitätassistenz im "Bremen Ambient Assisted Living Lab" (BAALL). In Altern und Technik (Altern in Deutschland Bd. 6), Nova Acta Leopoldina NF, 104 (368), S. 157–174.   detail
H. Shi, C. Jian, C. Rachuy (2011). Evaluation of a unified dialogue model for human-computer interaction. In International Journal of Computational Linguistics and Applications, Band 2, S. 155–173.   detail

2010     nach oben

Fischer, C., Shi, H., Jian , C., Schafmeister, F., Menrad, N., v. Steinbüchel, N., Schill, K., Krieg-Brückner, B. (2010). Modelling User Behaviour while Driving an Intelligent Wheelchair. In Proceedings of Third International Conference on Health Informatics.   detail
Bernd Gersdorf, Hui Shi (2010). A Castor Wheel Controller for Differential Drive Wheelchairs. In Joaquim Filipe, Juan Andrade Cetto, Jean-Louis Ferrier (Hrsg.), ICINCO 2010, Band 2, S. 174–179.   detail   pdf
Jian, C., Zhekova, D., Shi, H., Bateman, J. (2010). Deep Reasoning in Clarification Dialogues with Mobile robots. In Proceedings of 19th European Conference on Artificial Intelligence (ECAI 2010).   detail
Bernd Krieg-Brückner, Thomas Röfer, Hui Shi, Bernd Gersdorf (2010). Mobility Assistance in the Bremen Ambient Assisted Living Lab. In GeroPsych: The Journal of Gerontopsychology and Geriatric Psychiatry, 23 (2), S. 121–130. Verlag Hans Huber.   detail
Shi, H., Jian, C., Krieg-Brückner, B. (2010). Qualitative Spatial Modelling of Human Route Instructions to Mobile Robots. In Ray Jarvis, Cosmin Dini (Hrsg.), Proceedings of The Third International Conference on Advances in Computer-Human Interactions, IEEE.   detail
Hui Shi, Robert J. Ross, Thora Tenbrink, John Bateman (2010). Modelling Illocutionary Structure: Combining Empirical Studies with Formal Model Analysis. In A. Gelbukh (Hrsg.), Proceedings of the 11th International Conference on Intelligent Text Processing and Computational Linguistics (CICLing 2010), Band 6008, S. 340–353, Lecture Notes in Computer Science. Springer, Berlin.   detail

2009     nach oben

C. Jian, H. Shi, B. Krieg-Brückner (2009). SimSpace: A Tool to Interpret Route Instructions with Qualitative Spatial Knowledge. In AAAI Spring Symposium on Benchmarking of Qualitative Spatial and Temporal Reasoning Systems.   detail
B. Krieg-Brückner, H. Shi (2009). Spatio-Temporal Situated Interaction in Ambient Assisted Living. In Ritter, H., Sagerer, G., Steil, J. (Hrsg.), Proceedings of Third International Workshop on Human Centered Robotic Systems, HCRS'09, Nr. 205-214.   detail
Bernd Krieg-Brückner, Hui Shi, Carsten Fischer, Thomas Röfer, Jian Cui, Kerstin Schill (2009). Welche Sicherheitsassistenz brauchen Rollstuhlfahrer?. In 2. Deutscher AAL-Kongress 2009. VDE-Verlag, Berlin-Offenbach, Germany.   detail   pdf
Y. Kurata, H. Shi (2009). Toward Heterogeneous Cardinal Direction Calculus (Best Paper Award). In Proceedings of the 32nd Annual German Conference on Artifical Intelligence, Band 5803, S. 452–459, Lecture Notes in Artificial Intelligence.   detail
Hui Shi, Thora Tenbrink (2009). Telling Rolland where to go: HRI dialogues on route navigation. In Kenny Coventry, Thora Tenbrink, John Bateman (Hrsg.), Spatial Language and Dialogue. Oxford University Press.   detail

2008     nach oben

Yohei Kurata, Hui Shi (2008). Interpreting Motion Expressions in Route Instructions Using Two Projection-Based Spatial Models. In A. Dengel (Hrsg.), Proceedings of the 31st Annual German Conference on Artifical Intelligence, Band 5243, S. 258–266, Lecture Notes in Artificial Intelligence. Springer-Verlag Berlin Heidelberg.   detail
Hui Shi, Bernd Krieg-Brückner (2008). Modelling Route Instructions for Robust Human-Robot Interaction on Navigation Tasks. In International Journal of Software and Informatics, 2 (1), S. 33–60.   detail
Hui Shi, Bernd Krieg-Brückner (2008). Qualitative Semantic Representation of Spatial Knowledge in Dialogue Systems. In KI Zeitschrift, Band 3, S. 59–61.   detail
Hui Shi, Christian Mandel, Robert J. Ross (2008). Interpreting Route Instructions as Qualitative Spatial Actions. In T. Barkowsky, M. Knauff, G. Ligozat, D. R. Montello (Hrsg.), Spatial Cognition V, Band 4387, Lecture Notes in Computer Science. Springer Verlag, 14197 Berlin.   detail

2007     nach oben

Thora Tenbrink, Hui Shi (2007). Negotiating Spatial Goals with a Wheelchair. In S. Keizer, H. Bunt, T. Paek (Hrsg.), Proceedings of the 8th SIGdial Workshop on Discourse and Dialogue.   detail

2006     nach oben

Bernd Krieg-Brückner, Hui Shi (2006). Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions. In M. Raubal, H. Miller, A. Frank, M. Goodchild (Hrsg.), Geographic Information Science - Fourth International Conference, GIScience 2006, Band 4197, Lecture Notes in Computer Science. Springer, Berlin.   detail
Bernd Krieg-Brückner, Hui Shi (2006). Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions. In Raubal, M., Miller, H.J., Frank, A.U., Goodchild, M.F. (Hrsg.), Proc. International Conference GIScience 2006, Münster, Germany, Band 4197, S. 234–250, Lecture Notes in Computer Science. Springer Verlag. (to appear).   detail
Robert J. Ross, Christian Mandel, John Bateman, Shi Hui and Udo Frese (2006). Towards Stratified Spatial Modeling for Communication and Navigation. In IROS Workshop From Sensors to Human Spatial Concepts 06.   detail
Thora Tenbrink, Hui Shi, Kerstin Fischer (2006). Route instruction dialogues with a robotic wheelchair. In Proc. BranDial 2006: The 10th Workshop on the Semantics and Pragmatics of Dialogue.   detail

2005     nach oben

Hui Shi, John Bateman (2005). Developing human-robot dialogue management formally. In The Society for Text and Discourse 15th Annual Meeting.   detail
Hui Shi, Robert Ross, John Bateman (2005). Formalising Control in Robust Spoken Dialogue Systems. In Bernhard K. Aichernig, Bernhard Beckert (Hrsg.), Software Engineering and Formal Methods 2005, S. 332–341, IEEE. IEEE Computer Society.   detail
Hui Shi, Thora Tenbrink (2005). Telling Rolland where to go: HRI dialogues on route navigation. In WoSLaD Workshop on Spatial Language and Dialogue, October 23-25, 2005.   detail

2004     nach oben

Bernd Krieg-Brückner, Hui Shi, Robert Ross (2004). A Safe and Robust Approach to Shared-Control via Dialogue. In In Chinese Journal of Software, 15 (12).   detail
R. Ross, H. Shi, T. Vierhuff, B. Krieg-Brückner, J. Bateman (2004). Towards Dialogue Based Shared Control of Navigating Robots. In C. Freksa, M. Knauff, B. Krieg-Brückner, B. Nebel, T. Barkowsky (Hrsg.), Spatial Cognition 2004, Band 3343, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail

2000     nach oben

H. Shi (2000). Java2CSP: A System for Verifying Concurrent Java Programs. In G. Schellhorn, W. Reif (Hrsg.), FM-TOOLS 2000, Nr. 2000-07, S. 111–115, Ulmer Informatik-Berichte.   detail   postscript
H. Shi, J. Peleska, M. Kouvaras (2000). Combining Methods for the Analysis of a Fault-Tolerant System. In Bob Werner (Hrsg.), Proceedings of 1999 Pacific Rim International Sympositum on Dependable Computing, Nr. PR00371, S. 135–142, IEEE. IEEE Computer Society, 10662 Los Vaqueros Circle, P.O.Box 3014, Los Alamitos, CA 90720-1314, USA.   detail   postscript

1999     nach oben

B. Buth, Jan Peleska, Hui Shi (1999). Combining Methods for the Analysis of a Fault-Tolerant System. In Proceedings of 12th International Software Quality Week.   detail

1998     nach oben

B. Buth, J. Peleska, H. Shi (1998). Combining Methods for the Livelock Analysis of a Fault-Tolerant System. In A. M. Haeberer (Hrsg.), Algebraic Methodology and Software Technology. Proceedings of the AMAST'98, Nr. 1548, S. 124–139, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail   postscript

1997     nach oben

B. Buth, M. Kouvaras, J. Peleska, H. Shi (1997). Deadlock Analysis for a Fault-Tolerant System. In M. Johnson (Hrsg.), Algebraic Methodology and Software Technology. Proceedings of the AMAST'97, Nr. 1349, S. 60–75, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail   postscript

1996     nach oben

R. Curien, Z. Qian, H. Shi (1996). Efficient Second-Order Matching. In Proc. of 7th International Conference on Rewriting Techniques and Applications, Nr. 1103, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail   postscript
H. Shi (1996). A Semantic Matching Algorithm: Analysis and Implementation. In W. Penczek ad A. Szalas (Hrsg.), Proc. of 21st International Symposium on Mathematical Foundations of Computer Science, Nr. 1113, S. 517–528, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail   postscript

1995     nach oben

B. Krieg-Brückner, J. Liu, H. Shi, B. Wolff (1995). Towards Correct, Efficient and Reusable Transformational Developments. In KORSO, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail

1994     nach oben

Hui Shi (1994). Extended Matching with Applications to Program Transformation. Universität Bremen.   detail   postscript
H. Shi, B. Wolff (1994). A Finitary Matching Algorithm for Constructor-Based Theories. Department of Computer Science; Universität Bremen, Bibliothekstr. 1, 28359 Bremen. Technical Report.   detail
H. Shi, B. Wolff (1994). Second-Order Matching with Matching Combinators. Department of Computer Science; Universität Bremen, Bibliothekstr. 1, 28359 Bremen. Technical Report.   detail
H. Shi (1994). Benutzer-Schnittstelle und -Interaktion für die HK-Untersuchung. Department of Computer Science; Universität Bremen, Bibliothekstr. 1, 28359 Bremen. Technical Report.   detail
B. Wolff, H. Shi (1994). A Calculus of Transformation. Department of Computer Science; Universität Bremen, Bibliothekstr. 1, 28359 Bremen. Technical Report.   detail

1989     nach oben

H. Shi (1989). A Semantic Resolution Algorithm for Temporal Logic. In Proceedings of International Symposium for Young Computer Professionals, 1989.   detail

1987     nach oben

H. Shi (1987). A Semantic Resolution Algorithm for Temporal Logic. Master Thesis.   detail
      Ausgewählte Einträge im BibTex-Format anzeigen
1
 
   
Autor: Dr. Hui Shi
 
   
Zuletzt geändert am: 9. Mai 2023