Travelled to:
1 × China
1 × USA
Collaborated with:
V.K.Prasanna S.Huang Z.Zhou X.Li Y.Liang H.Qian Y.Hu L.Bu X.Chen X.Li
Talks about:
constraint (1) hypothesi (1) collabor (1) program (1) process (1) network (1) complex (1) system (1) symbol (1) machin (1)
Person: Yang Yu
DBLP: Yu:Yang
Contributed to:
Wrote 3 papers:
- KDD-2012-HuangYZ #multi #reuse
- Multi-label hypothesis reuse (SJH, YY, ZHZ), pp. 525–533.
- LCTES-2003-YuP #collaboration #embedded #energy
- Energy-balanced task allocation for collaborative processing in networked embedded systems (YY, VKP), pp. 265–274.
- ASE-2016-LiLQHBYCL #constraints #execution #machine learning #symbolic computation #theorem proving
- Symbolic execution of complex program driven by machine learning based constraint solving (XL, YL, HQ, YQH, LB, YY, XC, XL), pp. 554–559.