Modeling Ontological Concepts of Motions with Two Projection-Based Spatial Models (2009)
Abstract. To model human concepts of motions is essential for the development of the systems and machines that collaborate with ordinary people on spatiodynamic tasks. This paper applies two...
Chlorido[(E)-2-hydroxy-6-(isonicotinoylhydrazonomethyl)phenyl]mercury(II) monohydrate (2009)
Su-Zhen Bai, Xin-Hua Lou, Hong-Mei Li, Hui Shi
The asymmetric unit of the title compound, [Hg(C13H10N3O2)Cl]·H2O, contains two independent mercury(II) complexes with slightly different conformations, related via a pseudo-inversion centre,...
N-(9H-Fluoren-9-ylidene)-4-methylaniline (2009)
Su-Zhen Bai, Xin-Hua Lou, Hong-Mei Li, Hui Shi
In the title compound, C20H15N, the fluorene unit is essentially planar [r.m.s. deviation 0.0334 Å] and the benzene ring bound to the imine N atom bears a methyl group which is nearly...
A safe and robust approach to shared-control via dialogue (2008)
Bernd Krieg-brückner, Hui Shi, Robert Ross
In shared-control systems, such as intelligent service robots, a human operator and an automated technical system are interdependently in charge of control. Effective shared control requires complex...
Abstract Telling Rolland where to go: HRI dialogues on route navigation (2008)
Our aim is to enable uninformed users to instruct the Bremen autonomous wheelchair Rolland to move towards specific goals via route directions. Empirical data are used to augment the robot's...
A safe and robust approach to shared-control via dialogue (2008)
Bernd Krieg-brückner, Bernd Krieg-brückner, Hui Shi, Hui Shi, Robert J Ross, Robert J Ross
Krieg-Brückner B, Shi H, Ross RJ. A safe and robust approach to shared-control via dialogue. Journal of
Yun DAI, Baohui HAN, Jie SHEN, Dajiang QI, Liyan JIANG, Jianqing GU, ...
Background and Objective The role of Preoperative chemotherapy in patients with resected non-small-cell lung cancer (NSCLC) remains unclear, this study is aimed at evaluating the effectiveness of...
Finitary Matching For Constructor Based Theories (2007)
Acyclic Constructor Based (ACB) theories are induced by a restricted class of equations, which can be treated as convergent rewrite systems. We claim that solving matching problems with such theories...
A Calculus of Transformation (Extended Abstract) (2007)
) Burkhart Wolff, Hui Shi 1. Conceptual view This paper presents the concepts and the semantics of a transformation calculus TC that is generic w.r.t. concrete object languages (see also [WS 94])....
A Decidable Second-Order Semantic Matching in Isabelle (2007)
We present a complete matching algorithm and an efficient implementation in the theorem prover Isabelle for solving a class of second-order semantic matching problems, where the equational theory...
Analyses of Achievable Gains in Half Duplex MIMO Relaying Schemes Using Multiple Relay Nodes (2007)
SHI, Hui, ABE, Tetsushi, ASAI, Takahiro, YOSHINO, Hitoshi
In multiple-input multiple-output (MIMO) wireless relay networks, simultaneously using multiple relay nodes can improve the capacity of source-to-destination communications. Recent information...
Relay Techniques for MIMO Wireless Networks with Multiple Source and Destination Pairs (2006)
Tetsushi Abe, Hui Shi, Takahiro Asai, Hitoshi Yoshino
A multiple-input multiple-output (MIMO) relay network comprises source, relay, and destination nodes, each of which is equipped with multiple antennas. In a previous work, we proposed a MIMO relay...
Iterative Power Allocation Scheme for MIMO Systems (2006)
SHI, Hui, ABE, Tetsushi, SUDA, Hirohito
In closed-loop multiple-input and multiple-output space-division multiplexing (MIMO-SDM) systems, allocating power among multiple transmit data streams improves the channel capacity. However, the...
Using Generalised Dialogue Models to Constrain Information State Based Dialogue Systems (2005)
Robert J. Ross, John Bateman, Hui Shi
While Information State (IS) based techniques show promise in the construction of flexible, knowledgebased dialogue systems, the many declarative rules that are used to encode Dialogue Theories often...
Using Generalised Dialogue Models to Constrain Information State Based Dialogue Systems (2005)
Bateman, John, Ross, Robert J., Shi, Hui
While Information State (IS) based techniques show promise in the construction of flexible, knowledgebased dialogue systems, the many declarative rules that are used to encode Dialogue Theories often...
Developing Human-Robot Dialogue Management Formally (2005)
In shared-control systems, such as intelligent service robots, a human operator and an automated technical system are interdependently in charge of control. Natural Language dialogues have long been...
Towards Dialogue Based Shared Control of Navigating Robots (2004)
Robert J. Ross, Hui Shi, Tillman Vierhuff, Bernd Krieg-brückner, John Bateman
Abstract. Establishing a clean relationship between a robot’s spatial model and natural language components is a non-trivial task, but is key to designing verbally controlled, navigating service...
Towards Dialogue Based Shared Control of Navigating Robots (2004)
Robert Ross, Hui Shi, Tillmann Vierhuff, Bernd Krieg-brückner, John Bateman
Abstract. Establishing a clean relationship between a robot’s spatial model and natural language components is a non-trivial task, but is key to designing verbally controlled, navigating service...
A two-phase fluid model for sedimentation of particles under variable gravity conditions. (1999)
Thesis (M.S.)--Worcester Polytechnic Institute.
Combining Methods for the Analysis of a Fault-Tolerant System (1999)
Hui Shi, Jan Peleska, Michel Kouvaras
This paper presents experiences gained from the verification of a large-scale real-world embedded system by means of formal methods. This industrial verification project was performed for a...
Combining Methods for the Livelock Analysis of a Fault-Tolerant System (1999)
Bettina Buth, Jan Peleska, Hui Shi
. This article presents experiences gained from the verification of communication properties of a large-scale real-world embedded system by means of formal methods. This industrial verification...
Deadlock Analysis for a Fault-Tolerant System (1997)
Bettina Buth, Michel Kouvaras, Jan Peleska, Hui Shi
. This article presents an approach for the verification of communication properties in large-scale real-world embedded systems by means of formal methods. It is illustrated by examples and results...
Deadlock Analysis for a Fault-Tolerant System (1997)
Bettina Buth Michel, Michel Kouvaras, Hui Shi
. This article presents an approach for the verification of communication properties in large-scale real-world embedded systems by means of formal methods. It is illustrated by examples and results...
Efficient Second-Order Matching (1996)
Régis Curien, Zhenyu Qian, Hui Shi
. The standard second-order matching algorithm by Huet may be expansive in matching a flexible-rigid pair. On one hand, many fresh free variables may need to be introduced; on the other hand,...
A Semantic Matching Algorithm: Analysis and Implementation (1996)
. A decision procedure for a class of semantic matching problems was proposed in [3], but it yielded efficiency problems, principally because of redundancies. We present in this paper a new semantic...
Towards Correct, Efficient and Reusable Transformational Developments (1995)
Junbo Liu, Hui Shi, Burkhard Wolff
. In the methodology for the development of correct softwareby transformation, each development step corresponds to the application of a preconceived transformation rule or method. The framework is...
Extended matching with applications to program transformation / (1994)
Bremen, Universiẗat, Diss., 1994.
Towards Correct, Efficient and Reusable Transformational Developments (1994)
Bernd Krieg-Brückner, Junbo Liu, Hui Shi, Burkhard Wolff
The KORSO methodology for the development of correct software is instantiated such that each development step corresponds to the application of a preconceived transformation rule or method. The...
Wang, Yun, Wang, Qian, Liang, Changyong, Song, Jianhua, Li, Ni, Shi, Hui, ...
Autographa californica multiple nucleopolyhedrovirus (AcMNPV) BV/ODV-c42 (orf101; c42), which encodes a 41.5-kDa viral nucleocapsid protein with a putative nuclear localization signal (NLS) motif at...