Travelled to:1 × France
1 × Germany
1 × South Korea
1 × USA
Collaborated with:Y.Fan J.Marques-Silva M.Janota A.Belov A.Mishchenko G.Liao B.Cheng C.Chen T.Kuo Q.Zhang J.Kang Y.Gong Y.Zhou X.Huang
Talks about:base (3) decomposit (1) implement (1) framework (1) cardiolog (1) algorithm (1) influenc (1) function (1) approxim (1) abstract (1)
Person: Huan Chen
DBLP: Chen:Huan
Contributed to:
2014
2013
20132012Wrote 5 papers:
- SAC-2014-ChenLFCCK #algorithm #design #detection #effectiveness #health #implementation #monitoring
- Design and implementation of a personal health monitoring system with an effective SVM-based PVC detection algorithm in cardiology (HC, GTL, YCF, BCC, CMC, TCK), pp. 33–35.
- SAC-2014-FanC #approximate #framework #network #scalability #social
- An approximate framework for scaling social influence computation in large networks (YCF, HC), pp. 610–615.
- CIKM-2013-ZhangKGCZH #graph
- Map search via a factor graph model (QZ, JK, YG, HC, YZ, XH), pp. 69–78.
- DATE-2013-Belov0MM #abstraction #satisfiability
- Core minimization in SAT-based abstraction (AB, HC, AM, JMS), pp. 1411–1416.
- DATE-2012-ChenJM
- QBf-based boolean function bi-decomposition (HC, MJ, JMS), pp. 816–819.