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


    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


    Taxonomy of Procedural Abstraction and Polymorphism
    Sung Ki Kim The KIPS Transactions:PartA, Vol. 10, No. 1, pp. 75-82, Mar. 2003
    10.3745/KIPSTA.2003.10.1.75


Forms



Category Search

Publications


Old Journals


Indexing


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

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

Organization


Related Journals