Travelled to:
1 × Chile
1 × Denmark
1 × Greece
1 × Italy
1 × Japan
1 × Republic of China
1 × Sweden
4 × USA
Collaborated with:
H.H.Wang J.S.Dong H.Liang H.Gu T.Hu Y.Liu Y.Zhang J.Li F.Fu B.Fan Y.Cong Y.Du I.Warren S.Krishnamohan T.Weerasinghe S.U.Lee G.Dobbie L.Groves Y.Li Y.Xiong Y.Zhu J.Liu C.Guan H.Xiong J.Gui Z.Tian Q.Sun
Talks about:
model (5) approach (3) semant (3) design (3) behavior (2) softwar (2) system (2) reason (2) inform (2) formal (2)
Person: Jing Sun
DBLP: Sun:Jing
Facilitated 0 volumes:
Contributed to:
Wrote 14 papers:
- SIGIR-2015-SunXZLGX #multi #personalisation #recommendation
- Multi-source Information Fusion for Personalized Restaurant Recommendation (JS, YX, YZ, JL, CG, HX), pp. 983–986.
- DHM-2014-LiuTZSLSF #assessment #behaviour #framework #modelling #named #performance #platform
- COMPAss: A Space Cognitive Behavior Modeling and Performance Assessment Platform (YL, ZT, YZ, QS, JL, JS, FF), pp. 630–636.
- ICPR-2014-FanSCD #framework #learning #online #robust #taxonomy
- A Unified Online Dictionary Learning Framework with Label Information for Robust Object Tracking (BF, JS, YC, YD), pp. 2311–2316.
- DHM-SET-2013-LiuZLSFG #behaviour #modelling #towards
- Towards Early Status Warning for Driver’s Fatigue Based on Cognitive Behavior Models (YL, YZ, JL, JS, FF, JG), pp. 55–60.
- SEKE-2011-SunWG #design #network #semantics
- Semantic Enabled Sensor Network Design (JS, HHW, HG), pp. 179–184.
- SEKE-2011-SunWH #architecture #design #modelling #ontology #using
- Design Software Architecture Models using Ontology (JS, HHW, TH), pp. 191–196.
- SEKE-2007-LiangDS #evolution #monitoring #runtime
- Evolution and Runtime Monitoring of Software Systems (HL, JSD, JS), pp. 343–348.
- SEKE-2007-LiangS #aspect-oriented #composition #detection #specification
- Modular Specification of Aspect-oriented Systems and Aspect Conflicts Detection (HL, JS), pp. 77–80.
- ASE-2006-WarrenSKW #approach #automation #configuration management #formal method
- An Automated Formal Approach to Managing Dynamic Reconfiguration (IW, JS, SK, TW), pp. 37–46.
- SEKE-2006-LeeDSG #approach #modelling #verification
- A PVS Approach to Verifying ORA-SS Data Models (SUJL, GD, JS, LG), pp. 126–131.
- SEKE-2005-WangDS #alloy #reasoning #using
- Reasoning Support for SWRL-FOL Using Alloy (HHW, JSD, JS), pp. 626–631.
- SEKE-2005-WangDSL #approach #design #process
- TCOZ Approach to OWL-S Process Model Design (HHW, JSD, JS, YFL), pp. 354–359.
- FME-2003-DongSW #alloy #reasoning #semantics #web
- Checking and Reasoning about Semantic Web through Alloy (JSD, JS, HHW), pp. 796–813.
- FME-2002-DongSW #semantics #web
- Semantic Web for Extending and Linking Formalisms (JSD, JS, HHW), pp. 587–606.