Travelled to:
1 × Japan
2 × USA
Collaborated with:
S.Chen J.Huang A.Cozzie F.Stratton S.T.King H.Mai E.Pek S.T.King P.Madhusudan
Talks about:
data (2) constraint (1) indefinit (1) discrimin (1) structur (1) classifi (1) unlabel (1) pairwis (1) express (1) verifi (1)
Person: Hui Xue
DBLP: Xue:Hui
Contributed to:
Wrote 3 papers:
- ASPLOS-2013-MaiPXKM #invariant #security #verification
- Verifying security invariants in ExpressOS (HM, EP, HX, STK, PM), pp. 293–304.
- ICPR-2012-XueCH #classification #constraints #kernel
- Discriminative indefinite kernel classifier from pairwise constraints and unlabeled data (HX, SC, JH), pp. 497–500.
- OSDI-2008-CozzieSXK #data type
- Digging for Data Structures (AC, FS, HX, STK), pp. 255–266.