Digital Library

Search: "[ keyword: Abstraction ]" (11)
    Bottom-up Composition and Verification of Embedded Software
    Yun Ja Choi The KIPS Transactions:PartD, Vol. 17, No. 6, pp. 415-422, Dec. 2010
    10.3745/KIPSTD.2010.17.6.415

    Sensor Data Abstraction and Utilization in Environmental Monitoring System based on Geosensor Network
    Young Jin Jung The KIPS Transactions:PartD, Vol. 16, No. 2, pp. 177-184, Apr. 2009
    10.3745/KIPSTD.2009.16.2.177

    Model Reduction with Abstraction : Case Study with Nemorize Game
    Lee Jung-Lim, Kwon Gi-Hwon The KIPS Transactions:PartD, Vol. 13, No. 1, pp. 111-116, Feb. 2006
    http://dx.doi.org/10.3745/KIPSTD.2006.13D.1.111
    Keywords: Finite State Model, Reachability Analysis, Abstraction, State Space Traversal

    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

    The Abstraction Retrieval System of Cultural Videos using Scene Change Detection
    Oh Hyung Kang , Ji Hyun Lee , Yang Won Rhee The KIPS Transactions:PartB , Vol. 12, No. 7, pp. 761-766, Dec. 2005
    10.3745/KIPSTB.2005.12.7.761

    A Design of Index/XML Sequence Relation Information System for Product Abstraction and Classification
    Su Kyun Sun The KIPS Transactions:PartD, Vol. 12, No. 1, pp. 111-120, Feb. 2005
    10.3745/KIPSTD.2005.12.1.111

    Sentence Revision with Concept Abstraction
    Gon Kim , Jae Gun Yang , Jae Hak J. Bae , Jong Hyeok Lee The KIPS Transactions:PartB , Vol. 11, No. 5, pp. 563-572, Aug. 2004
    10.3745/KIPSTB.2004.11.5.563

    Taxonomy of Abstraction
    Kim Seong Gi The KIPS Transactions:PartA, Vol. 11, No. 1, pp. 89-96, Feb. 2004
    10.3745/KIPSTA.2004.11.1.89

    Fat Client-Based Abstraction Model of Unstructured Data for Context-Aware Service in Edge Computing Environment
    Do Hyung Kim, Jong Hyeok Mun, Yoo Sang Park, Jong Sun Choi, Jae Young Choi KIPS Transactions on Computer and Communication Systems, Vol. 10, No. 3, pp. 59-70, Mar. 2021
    https://doi.org/10.3745/KTCCS.2021.10.3.59  
    Keywords: Edge Computing, Fat Client, context aware, Unstructured Data Abstraction, Deep Learning

    Decision Tree Classifier for Multiple Abstraction Levels of Data
    Mi Na Jeong , Do Heon Lee The KIPS Transactions:PartD, Vol. 10, No. 1, pp. 23-32, Feb. 2003
    10.3745/KIPSTD.2003.10.1.23

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