Travelled to:1 × Austria
1 × Germany
1 × Greece
1 × Israel
1 × South Korea
2 × Australia
4 × China
5 × USA
Collaborated with:Chuen-Tsai Sun N.S.Kim V.D.Tonchev J.Kangas N.K.Singh M.Lawford A.Wassyng N.Wang D.Yeung M.Emmerich T.Bäck A.A.Sinkar Q.Zhao P.Lv C.Zhang T.Chen J.Cai Y.Dong Z.Wang Q.Liu E.Chen X.Wu K.Yu W.Ding Y.Li Z.Lin Y.Chen S.Jha S.Schwoon T.W.Reps Yu-Chun Ruan Sheng-Yi Hsu T.S.E.Maibaum C.Park G.Byun J.H.Ahn Y.Li E.Kim M.A.Touchette R.Venkatachalam T.S.E.Maibaum H.Liu W.Wang D.Liu N.Du R.Patro G.Duggal E.Sefer D.Filippova C.Kingsford M.Fan X.Li Y.Zhong L.Tian Y.Shi J.Meehan N.Tatbul U.Çetintemel J.Du T.Kraska S.Madden D.Maier A.Pavlo M.Stonebraker K.Tufte S.Zdonik C.Aslantas E.Sutherland S.B.Zdonik
Talks about:system (7) game (4) stream (3) select (3) recommend (2) processor (2) extract (2) social (2) formal (2) featur (2)
Person: Hao Wang
DBLP: Wang:Hao
Contributed to:
2015
2015
2015
2015
20142014
2014
20142014
2012
201220122011
20102009
2006
2006
2001
20112019Wrote 22 papers:
- DHM-EH-2015-SinghWLMW #formal method #modelling #reasoning #requirements
- Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements (NKS, HW, ML, TSEM, AW), pp. 387–398.
- HPCA-2015-WangPBAK #alloy #architecture #memory management #named
- Alloy: Parallel-serial memory channel architecture for single-chip heterogeneous processor systems (HW, CJP, GB, JHA, NSK), pp. 296–308.
- KDD-2015-WangWY #collaboration #learning #recommendation
- Collaborative Deep Learning for Recommender Systems (HW, NW, DYY), pp. 1235–1244.
- VLDB-2015-LiKTVW #ide #information management #named #visual notation
- VINERy: A Visual IDE for Information Extraction (YL, EK, MAT, RV, HW), pp. 1948–1959.
- VLDB-2015-MeehanTZACDKMMP #named #streaming #transaction
- S-Store: Streaming Meets Transaction Processing (JM, NT, SZ, CA, UÇ, JD, TK, SM, DM, AP, MS, KT, HW), pp. 2134–2145.
- CIKM-2014-ZhaoWLZ #framework #mining #refinement #word
- A Bootstrapping Based Refinement Framework for Mining Opinion Words and Targets (QZ, HW, PL, CZ), pp. 1995–1998.
- DHM-2014-SinghWLMW #formal method
- Formalizing the Glucose Homeostasis Mechanism (NKS, HW, ML, TSEM, AW), pp. 460–471.
- SAC-2014-ChenCWD #recommendation #scalability
- Instant expert hunting: building an answerer recommender system for a large scale Q&A website (TC, JC, HW, YD), pp. 260–265.
- SAC-2014-WangEB #evolution #orthogonal
- Mirrored orthogonal sampling with pairwise selection in evolution strategies (HW, ME, TB), pp. 154–156.
- SIGIR-2014-WangWLC #perspective #re-engineering
- Influential nodes selection: a data reconstruction perspective (ZW, HW, QL, EC), pp. 879–882.
- VLDB-2014-CetintemelDKMMMPSSTTWZ #named #streaming
- S-Store: A Streaming NewSQL System for Big Velocity Applications (UÇ, JD, TK, SM, DM, JM, AP, MS, ES, NT, KT, HW, SBZ), pp. 1633–1636.
- CSCW-2012-LiuWLWD #named
- HappyGo: a field trial of local group buying (HL, WW, DL, HW, ND), pp. 505–508.
- DATE-2012-SinkarWK #manycore #optimisation #performance
- Workload-aware voltage regulator optimization for power efficient multi-core processors (AAS, HW, NSK), pp. 1134–1137.
- KDD-2012-PatroDSWFK #approach #data-driven #how #learning #modelling #network
- The missing models: a data-driven approach for learning how networks grow (RP, GD, ES, HW, DF, CK), pp. 42–50.
- CSCW-2011-FanLZTSW #game studies #gesture #social #using
- Surprise Grabber: a co-located tangible social game using phone hand gesture (MF, XL, YZ, LT, YS, HW), pp. 625–628.
- ICML-2010-WuYWD #feature model #online #streaming
- Online Streaming Feature Selection (XW, KY, HW, WD), pp. 1159–1166.
- SAC-2009-WangT #algorithm #morphism
- An algorithm for optimal comma free codes with isomorphism rejection (HW, VDT), pp. 1007–1008.
- CASE-2006-LiLWC #automation #component #equation #generative #graph #linear #using
- Automatic Generation of Component-level Dynamic Equations Using Extensible Element Linear Graph Method (YL, ZL, HW, YC), pp. 118–123.
- TACAS-2006-JhaSWR #automaton #trust
- Weighted Pushdown Systems and Trust-Management Systems (SJ, SS, HW, TWR), pp. 1–26.
- ICDAR-2001-WangK #image #verification
- Character-Like Region Verification for Extracting Text in Scene Images (HW, JK), pp. 957–963.
- DiGRA-2011-WangS #case study #experience #game studies #social
- Game reward systems: Gaming experiences and social meanings (HW, CTS).
- DiGRA-2019-WangRHS #design #game studies #motivation
- Effects of Game Design Features on Player-Avatar Relationships and Motivation for Buying Decorative Virtual Items (HW, YCR, SYH, CTS).