Travelled to:1 × Canada
1 × Russia
1 × Sweden
2 × USA
Collaborated with:Y.Xu G.Lv S.Cai C.Luo S.Hao H.Peng D.Ke Y.Zhang J.Lin D.Hao L.Zhang Z.Gao M.Zhang
Talks about:chines (2) essay (2) autom (2) base (2) bdd (2) combinatori (1) algorithm (1) transduc (1) perspect (1) knowledg (1)
Person: Kaile Su
DBLP: Su:Kaile
Contributed to:
2015
2014
2013
2013
2004
2015Wrote 6 papers:
- SAT-2015-CaiLS #named #satisfiability
- CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability (SC, CL, KS), pp. 1–8.
- ICPR-2014-HaoXPSK #automation #semantics #topic #using
- Automated Chinese Essay Scoring from Topic Perspective Using Regularized Latent Semantic Indexing (SH, YX, HP, KS, DK), pp. 3092–3097.
- CAV-2013-LvSX #named
- CacBDD: A BDD Package with Dynamic Cache Management (GL, KS, YX), pp. 229–234.
- ICDAR-2013-HaoGZXPSK #automation #detection #fault #finite #transducer
- Automated Error Detection and Correction of Chinese Characters in Written Essays Based on Weighted Finite-State Transducer (SH, ZG, MZ, YX, HP, KS, DK), pp. 763–767.
- KR-2004-SuLZ #reasoning
- Reasoning about Knowledge by Variable Forgetting (KS, GL, YZ), pp. 576–586.
- ASE-2015-LinLCSH0 #algorithm #combinator #generative #metaheuristic #named #performance #testing
- TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation (T) (JL, CL, SC, KS, DH, LZ), pp. 494–505.