6 papers:
- ICDAR-2013-LvHWL #online #realtime #recognition #segmentation
- Learning-Based Candidate Segmentation Scoring for Real-Time Recognition of Online Overlaid Chinese Handwriting (YFL, LLH, DHW, CLL), pp. 74–78.
- ESOP-2013-EneaSS #composition #invariant
- Compositional Invariant Checking for Overlaid and Nested Linked Lists (CE, VS, MS), pp. 129–148.
- SAS-2013-DragoiES #analysis #data type
- Local Shape Analysis for Overlaid Data Structures (CD, CE, MS), pp. 150–171.
- CAV-2011-LeeYP #data type #program analysis
- Program Analysis for Overlaid Data Structures (OL, HY, RP), pp. 592–608.
- HPCA-2008-ChangCKNRST #multi
- CMP network-on-chip overlaid with multi-band RF-interconnect (MFC, JC, AK, MN, GR, ES, SWT), pp. 191–202.
- ICDAR-2003-ShimodairaSNS #online #recognition
- On-line Overlaid-Handwriting Recognition Based on Substroke HMMs (HS, TS, MN, SS), pp. 1043–1047.