Searching for authors named "Hui Shi" – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
A Semantic Matching Algorithm: Analysis and Implementation
- …A Semantic Matching Algorithm: Analysis and Implementation Hui Shi ? Universitat Bremen, FB3…
- Cited by 4 (0 self) – Add To MetaCart
-
A Calculus of Transformation (Extended Abstract)
- …A Calculus of Transformation 1 (Extended Abstract) Burkhart Wolff, Hui Shi 1. Conceptual view…
- Add To MetaCart
-
Modeling Ontological Concepts of Motions with Two Projection-Based Spatial Models
- …Modeling Ontological Concepts of Motions with Two Projection-Based Spatial Models Hui Shi 1…
- Add To MetaCart
-
Deadlock Analysis for a Fault-Tolerant System
- … ? ? ? , and Hui Shi y Abstract. This article presents an approach for the verification of communication…
- Cited by 15 (2 self) – Add To MetaCart
-
Combining Methods for the Livelock Analysis of a Fault-Tolerant System
- … Peleska ?? , and Hui Shi ? ? ? Abstract. This article presents experiences gained from the verification…
- Cited by 14 (0 self) – Add To MetaCart
-
Efficient Second-Order Matching
- …Efficient Second-Order Matching ? R'egis Curien 1 Zhenyu Qian 2 Hui Shi 2 1 CRIN…
- Cited by 18 (2 self) – Add To MetaCart
-
Combining Methods for the Analysis of a Fault-Tolerant System
- …Combining Methods for the Analysis of a Fault-Tolerant System Hui Shi Jan Peleska Michel Kouvaras…
- Cited by 2 (2 self) – Add To MetaCart
-
A safe and robust approach to shared-control via dialogue
- …A Safe and Robust Approach to Shared-Control via Dialogue Bernd Krieg-Brückner Hui Shi Robert Ross…
- Cited by 3 (2 self) – Add To MetaCart
-
Using Generalised Dialogue Models to Constrain Information State Based Dialogue Systems
- …. Ross John Bateman ⋆ Hui Shi Collaborative Research Centre SFB/TR 8 Spatial Cognition Universität Bremen…
- Cited by 1 (0 self) – Add To MetaCart
-
Towards Correct, Efficient and Reusable Transformational Developments
- … Liu, Hui Shi, Burkhard Wolff The KORSO methodology for the development of correct software…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
