Travelled to:1 × Estonia
1 × Germany
1 × Ireland
1 × Norway
1 × Taiwan
1 × USA
2 × China
Collaborated with:Y.Cai H.B.Sipma Z.Manna C.Du J.Wang H.Luo P.P.Rau G.Salvendy G.Q.Huang Y.Shi S.Lan G.Martin R.Seepold L.Benini G.D.Micheli
Talks about:complement (2) inventori (2) order (2) bound (2) instrument (1) constraint (1) structur (1) procedur (1) neighbor (1) composit (1)
Person: Ting Zhang
DBLP: Zhang:Ting
Contributed to:
2014
2014
2011
2009
2007
2005
2004
2001Wrote 8 papers:
- CASE-2014-ZhangHSL #coordination
- Inventory hedging and coordination under inventory-level-dependent demand (TZ, GQH, YS, SL), pp. 658–664.
- ICML-c2-2014-ZhangDW #approximate #nearest neighbour
- Composite Quantization for Approximate Nearest Neighbor Search (TZ, CD, JW), pp. 838–846.
- CSL-2011-CaiZ #bound
- Tight Upper Bounds for Streett and Parity Complementation (YC, TZ), pp. 112–128.
- LICS-2009-CaiZL #automaton #bound
- An Improved Lower Bound for the Complementation of Rabin Automata (YC, TZ, HL), pp. 167–176.
- HCI-IDU-2007-ZhangRS #evaluation #overview #usability
- Developing Instrument for Handset Usability Evaluation: A Survey Study (TZ, PLPR, GS), pp. 662–671.
- CADE-2005-ZhangSM #decidability #first-order
- The Decidability of the First-Order Theory of Knuth-Bendix Order (TZ, HBS, ZM), pp. 131–148.
- IJCAR-2004-ZhangSM #constraints #data type #integer #recursion
- Decision Procedures for Recursive Data Structures with Integer Constraints (TZ, HBS, ZM), pp. 152–167.
- DATE-2001-MartinSZBM #component #design
- Component selection and matching for IP-based design (GM, RS, TZ, LB, GDM), pp. 40–46.