Digital Library

Search: "[ keyword: Verification ]" (27)
    Formal Verification of Embedded Java Program
    Tae Hoon Lee , Gi Hwon Kwon The KIPS Transactions:PartD, Vol. 12, No. 7, pp. 931-936, Dec. 2005
    10.3745/KIPSTD.2005.12.7.931

    Automatic Verification of the Control Flow Model for Effective Embedded Software Design
    Sa Choun Park , Gi Hwon Kwon , Soon Hoi Ha The KIPS Transactions:PartA, Vol. 12, No. 7, pp. 563-570, Dec. 2005
    10.3745/KIPSTA.2005.12.7.563

    Definition of Step Semantics for Hierarchical State Machine based on Flattening
    Sa Choun Park , Gi Hwon Kwon , Soon Hoi Ha The KIPS Transactions:PartD, Vol. 12, No. 6, pp. 863-868, Dec. 2005
    10.3745/KIPSTD.2005.12.6.863

    Design and Verification of PCI 2.2 Target Controller to support Prefetch Request
    Eu Gin Hyun , Kwang Su Seong The KIPS Transactions:PartA, Vol. 12, No. 6, pp. 523-530, Dec. 2005
    10.3745/KIPSTA.2005.12.6.523

    A Real-Time Certificate Status Verification Method based on Reduction Signature
    Hyun Chul Kim , Jae Myoung Ahn , Yong Jun Lee , Hae Seok Oh The KIPS Transactions:PartC, Vol. 12, No. 2, pp. 301-308, Apr. 2005
    10.3745/KIPSTC.2005.12.2.301

    A Study on Conformance Testing Method to Verify the BioAPI Based System Module
    Yoo Young Lee , Young Bin Kwon The KIPS Transactions:PartB , Vol. 11, No. 7, pp. 759-768, Dec. 2004
    10.3745/KIPSTB.2004.11.7.759

    Facial Feature Verification System based on SVM Classifier
    Kang Ryoung Park , Jai Hie Kim , Soo Youn Lee The KIPS Transactions:PartB , Vol. 11, No. 6, pp. 675-682, Oct. 2004
    10.3745/KIPSTB.2004.11.6.675

    Text Region Verification in Natural Scene Images using Multi-resolution Wavelet Transform and Support Vector Machine
    Kyung Sook Bae , Yeong Woo Choi The KIPS Transactions:PartB , Vol. 11, No. 6, pp. 667-674, Oct. 2004
    10.3745/KIPSTB.2004.11.6.667

    An Off-line Signature Verification Using PCA and LDA
    Sang Yeun Ryu , Dae Jong Lee , Hyoun Joo Go , Myung Geun Chun The KIPS Transactions:PartB , Vol. 11, No. 6, pp. 645-652, Oct. 2004
    10.3745/KIPSTB.2004.11.6.645

    The Modified DTW Method for on-line Automatic Signature Verification
    Jo Dong Ug , Bae Yeong Lae The KIPS Transactions:PartB , Vol. 10, No. 4, pp. 451-458, Aug. 2003
    10.3745/KIPSTB.2003.10.4.451

Forms



Category Search

Publications


Old Journals


Indexing


All publications of KTCCS is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

KTCCS is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Organization


Related Journals