Travelled to:1 × Canada
1 × Germany
1 × USA
Collaborated with:B.Korel Q.Zhang F.Ye J.Wang S.Wu H.Chen T.Huang J.Wang H.Zeng Z.Chen H.Lu W.Ma
Talks about:reinforc (1) interrel (1) approach (1) program (1) cluster (1) object (1) modifi (1) integr (1) assert (1) valid (1)
Person: Li Tao
DBLP: Tao:Li
Contributed to:
2009
2005
2003Wrote 3 papers:
- ICST-2009-KorelZT #source code #validation
- Assertion-Based Validation of Modified Programs (BK, QZ, LT), pp. 426–435.
- MLDM-2005-YeWWCHT #approach #mining
- An Integrated Approach for Mining Meta-rules (FY, JW, SW, HC, TH, LT), pp. 549–557.
- SIGIR-2003-WangZCLTM #clustering #multi #named
- ReCoM: reinforcement clustering of multi-type interrelated data objects (JW, HJZ, ZC, HL, LT, WYM), pp. 274–281.