Travelled to:1 × Turkey
Collaborated with:X.Cao H.Zhang M.Lesourd M.L.0001 L.Rieg Z.Shao
Talks about:invari (2) flip (2) find (2) descriptor (1) constraint (1) detector (1) triangl (1) schedul (1) reflect (1) analysi (1)
Person: Xiaojie Guo
DBLP: Guo:Xiaojie
Contributed to:
2010
2019Wrote 4 papers:
- ICPR-2010-GuoC #invariant #named
- FIND: A Neat Flip Invariant Descriptor (XG, XC), pp. 515–518.
- ICPR-2010-GuoC10a #constraints
- Triangle-Constraint for Finding More Good Features (XG, XC), pp. 1393–1396.
- ICPR-2010-ZhangGC #detection #invariant #using
- Water Reflection Detection Using a Flip Invariant Shape Detector (HZ, XG, XC), pp. 633–636.
- CAV-2019-GuoLLRS #analysis #kernel #scheduling
- Integrating Formal Schedulability Analysis into a Verified OS Kernel (XG, ML, ML0, LR, ZS), pp. 496–514.