KAIST - COMPUTER SCIENCE

  • korea
  • search
  • login

Directions

 
[Information on Technical Report Registration]

Download the [Technical Report Form] and complete the form except the registration number.
② Submit an application to the Administration Team for School of Computing (E3-1, 1402) under the signature of a advisor.
③ Submit the TR file via email to the responsible person (stim@cs.kaist.ac.kr) and check if it has been registered on the website since.
  • 1994

  • CS-TR-94-90

    Ranking Fuzzily Evaluated Alternatives in Multi-Attribute Decision Making

    이건명, 이광형

    1994-12-26

  • CS-TR-94-88

    A General Unit Quaternion Curve Construction Scheme Based on Cumulative Basis

    김명준

    1994-12-2

  • CS-TR-94-89

    Some Remarks on the de Casteljau Construction of Unit Quaternion Curves

    김명준

    1994-12-2

  • CS-TR-94-87

    Capability Based Group Interactions in Open Distributed Systems for Multi-Party Interactive

    원태환

    1994-9-00

  • CS-TR-94-84

    A Reliable Global Atomic Commitment Protocol for Distributed Multidatabase System

    유호동, 김명호

    1994-3-7

  • CS-TR-94-85

    A Cube-Robust Parallel Join Algorithm on Hypercube Computers

    H. I. Choi, B. M. Im, 김명호, 이윤준

    1994-3-2

  • 1993

  • CS-TR-93-83

    Characterization of LR-to-LL Tranformable Grammars

    이경옥

    1993-11-22

  • CS-TR-93-82

    Database Summary Discovery on a Fuzzy Relational Data Model

    이도헌

    1993-11-15

  • CS-TR-93-81

    A Transformation of Grammars into LL(k) grammars Using Predictive Relation

    이경옥

    1993-10-28

  • CS-TR-93-80

    A Methodology for Optimal Index Configuration in Object-Oriented Databases

    서상구, 이윤준

    1993-10-13

  • CS-TR-93-79

    The Path Model for Parallel Evaluation of Logic Programs : Method and Analysis

    이수현, 김도형, 최광무

    1993-8-31

  • CS-TR-93-78

    An Efficeint Execution of Logic Programs Using Bottom-up Abstract Interpretation

    장병모, 최광무, 한태숙, Roberto Giacobazzi

    1993-4-27

  • CS-TR-93-77

    On the Efficient Computation of Right Context for LR-based Error Repair

    정민수, 최광무

    1993-00-00

  • 1992

  • CS-TR-92-76

    The Extended Boolean Model Using Term Dependencies From a Thesaurus

    이준호, 김명호, 이윤준

    1992-11-26

  • CS-TR-92-75

    Enhancing the Fuzzy Set Model with Positively Compensatory Operators

    이준호, 김원용, 김명호, 이윤준

    1992-11-18

  • CS-TR-92-74

    Efficient Algorithms for Solving Diagonal Visibility Problems in a Simple Polygon

    김수환, 신성용, 좌경룡

    1992-11-10

  • CS-TR-92-73

    A New Two-Phase Abstract Interpretation of Logic Programs

    창병모, 최광무, 한태숙

    1992-10-22

  • CS-TR-92-72

    Fixed Point Computation of Static Filters for Stratified Programs

    창병모, 최광무, 한태숙

    1992-8-7

  • CS-TR-92-70

    On the Reduction of LR(k) Parsers

    박우전, 이명준, 최광무

    1992-7-9

  • CS-TR-92-69

    The Dynamic Affecting Set : A Semantically Transparent Literal-Level Selective Resetting Method

    이경옥

    1992-5-11