1 × China
1 × USA
V.K.Prasanna S.Huang Z.Zhou X.Li Y.Liang H.Qian Y.Hu L.Bu X.Chen X.Li
constraint (1) hypothesi (1) collabor (1) program (1) process (1) network (1) complex (1) system (1) symbol (1) machin (1)
Person: Yang Yu
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.