Travelled to:1 × Germany
2 × France
Collaborated with:M.Z.Kwiatkowska D.Parker C.Liu R.Fujimaki Y.Muraoka B.Kim L.T.X.Phan O.Sokolsky I.Lee
Talks about:model (3) probabilist (1) implement (1) framework (1) platform (1) composit (1) scalabl (1) factori (1) assumpt (1) specif (1)
Person: Lu Feng
DBLP: Feng:Lu
Contributed to:
2015
2015
2011Wrote 3 papers:
- DATE-2015-KimFPSL #framework #implementation #modelling #platform #verification
- Platform-specific timing verification framework in model-based implementation (BK, LF, LTXP, OS, IL), pp. 235–240.
- ICML-2015-LiuFFM #modelling #relational #scalability
- Scalable Model Selection for Large-Scale Factorial Relational Models (CL, LF, RF, YM), pp. 1227–1235.
- FASE-2011-FengKP #automation #composition #learning #probability #reasoning
- Automated Learning of Probabilistic Assumptions for Compositional Reasoning (LF, MZK, DP), pp. 2–17.