Travelled to:1 × Germany
1 × USA
Collaborated with:R.J.Ross J.A.Bateman R.Curien Z.Qian
Talks about:formalis (1) dialogu (1) control (1) system (1) spoken (1) second (1) robust (1) effici (1) order (1) match (1)
Person: Hui Shi
DBLP: Shi:Hui
Contributed to:
2005
1996Wrote 2 papers:
- SEFM-2005-ShiRB #formal method #robust
- Formalising Control in Robust Spoken Dialogue Systems (HS, RJR, JAB), pp. 332–341.
- RTA-1996-CurienQS #higher-order #performance
- Efficient Second-Order Matching (RC, ZQ, HS), pp. 317–331.