9 papers:
ICSE-v1-2015-GopanDNNLM- Data-Delineation in Software Binaries and its Application to Buffer-Overrun Discovery (DG, ED, DN, DN, AL, DM), pp. 145–155.
CIKM-2012-XueKRKP #network #random #social- Delineating social network data anonymization via random edge perturbation (MX, PK, CR, PK, HKP), pp. 475–484.
KDIR-2011-MauleKR #approach #automation #using- Automated Approach for Whole Brain Infarction Core Delineation — Using Non-contrast and Computed Tomography Angiography (PM, JK, VR), pp. 433–437.
ICEIS-AIDSS-2007-YasuiLGWT #collaboration #online #topic- Delineating Topic and Discussant Transitions in Online Collaborative Environments (NIY, XL, DEG, YW, HT), pp. 14–21.
ICPR-v3-2006-Wang06b #classification #image- Colony Delineation on Image Classification (WW), pp. 705–708.
- ICPR-v4-2006-SvenssonGFSOS #composition #framework #fuzzy #image #using
- Using a fuzzy framework for delineation and decomposition of Immunoglobulin G in cryo electron tomographic images (SS, MG, DF, US, LGO, SS), pp. 687–690.
LICS-2006-Leivant #logic #proving #reasoning #source code- Matching Explicit and Modal Reasoning about Programs: A Proof Theoretic Delineation of Dynamic Logic (DL), pp. 157–168.
ICDAR-v2-1995-RyallSMM #automation- Semi-automatic delineation of regions in floor plans (KR, SMS, JM, MM), pp. 964–969.
- LICS-1991-Leivant
- A Foundational Delineation of Computational Feasiblity (DL), pp. 2–11.
