NAME |
TITLE |

Atsushi,Ono | The influence that a personal quantity of knowledge gives to a distributed and cooperative KJ method |

Eiichirou,Sigehara | Examination of the design optimization way on FHM for signal processing modules |

Enami,Yoshinobu | Study on accuracy improvement of solutions in a genetic algorithm for multiprocessor scheduling |

Hashimoto,Takashi | Implementation of translater to generate high performance MPMD program |

Hayashi,Kazushige | Statistical survey protocol to guarantee correctness of private attributes using anonymous signature |

Hirakoshi,Takanobu | Implementation of the simlator to evaluate the usefulness of a multiple transaction model in database system. |

Hirose,Katsumasa | a method to detect boundaries for genome rearrangementby making pairs of homologs match |

Hiroyasu,Inoue | An Automatic Generator of GUI |

Hori,Kenji | The evaluation and consideration of pointing efficiency with pointing devices by feet |

Horikawa,Takahiro | A Procedure Obtaining One Means of Forging a Reply Based on an Algorithm to Solve Reply Unforgeability Problem |

Imai,Takeo | A Proposition of Component's Conceptual Model for Processor's Design Automation |

Ino,Fumihiko | A Development of Interface part of Performance Analysis System with Bottle-neck Search Function for Parallel Program |

Ishida,Naoya | Development of function point measurement tool from specification developed by requirements analysis support system REQUARIO. |

Iwasaki,Masahide | Recursive Maximum Likelihood Decoding Algorithm for Multilevel Convolutional Codes and Its Complexity |

Jihira,Minoru | Program Slicing Using Function Call History |

Kanamaru,Yoshiyuki | Decoding Error Probability and Accuracy of Computation in Recursive Maximum Likelihood Decoding for a (64,35) Reed-Muller Subcode |

Kashiwagi,Kuniaki | Efficient Group Signature with Identifying Center with limited ability |

Kataoka,Yoshitaka | An Algorithm using GA to Solve Edge Crossing Minimization Problem |

Katsuya,Shinohara | A case study on an optimization method for design considering the clock frequency |

Kikumoto,Takashi | Survey of literatures on checkpointing and rollback-recovery |

Kiyou,Shiyu | Prototyping and Evaluation of the Flexible Hardware Model Database Management System with Relational Database Model |

Kodama,Shunsuke | Multi-Agent based system "AgentStudio" that helps us make some TV programs |

Komaki,Takanobu | Extension of expressive power in symbolic model checking for Computation Tree Logic |

Koyama,Makoto | The automatic method of solving contradiction in a knoledge-base which holds the incomplete knowledge |

Kusaka,Yuzo | Maximum Independent Set Problemfor the Orthogonal Segment Intersection Graph |

Machida,Takashi | An Evaluation of the Point-Method in 3-Dimensional Space with Perspective-View and Two-Mouses |

Mori,Takanori | Implementation of a System which Evaluates Test Cases for Communication Protocols based on Fault Model of C Language |

Nagayama,Hiroyuki | Software Development Management System Based on Products -- the trial of user-interface part and application to ``software process modeling example problem'' -- |

Nakatsuka,Shigeo | An examinaton of step of writing a sentence of groupware for new idea generation |

Obitsu,Hideharu | A proposal of an atemmpt that reduces selection errors with mice |

Ogi,Hiroshi | An Implimentation of Task Schedule Performance Analyzer with 3D Graphics |

Osako,Satoru | The Posture Operation of The Human Body Model by The Natural Language. |

Seizou,Kunita | An algorithm to find a maximum clique in a type of path-graph |

Sekioka,Tetsuya | A Proposal of a hybrid algorithm of Genetic algorithm and Least square method for the optimization of parameters on the electric power function |

Shinada,Toyoaki | An implementation of adaptive load distribution system to process independent programs in parallel on a COW |

Sougawa,Kazu | Synthesis of a timed automaton from scenarios describing the behavior of the GUI controller |

Takabayashi,Shuji | C++ source code visualization tool using class dependent relation and complexity metrics |

Takeda,Keiichi | A Concurrency Control Algorithm using Two Phase Locking in Distributed Database System with the Dynamic Data Allocation |

Takeshi,Kodama | A evalution experiment of the verification algorithm by quantifier-free first-order logic with equality |

Teraguchi,Masayoshi | Development and application of groupware of an Intelligent Productive Work Card Support System |

Watanabe,Akira | Dynamic Bandwidth Management for ATM Network based onUser and Network QoS |

Yamaguchi,Koichiro | Accuracy Evaluation of Shape-Based Registration for Image-Guided Hip Surgery |

Yamaguchi,Masatoshi | A study about optimization of maximum communication delay for quorum consensus in mutual exclusion mechanism of quorum method. |

Yamasaki,Hironobu | Generating of a Sketch Map Image by Parsing and Meaning Analysis for Verification of Sentence Explanation |

Yamauchi,Ryo | Scalable Object for Virtual Reality System |

Yasui,Ryo | Making the draw-tool that support a study of the computational geometry |

Yoshikawa,Takanobu | Data retrieval from heterogeneous molecular biology databases using mobile agents |

Yoshimori,Hayato | A method to predict the binding site of two molecules based on the surface complementarity |

Yumoto,Takayuki | Objectbase For Software Development Management System Based On MonoProcess |

egawa,shinji | Formal verification of the correctness for floating point addition/subtract circuit realized with combinational circuits |

kitano,yasuyuki | An acquition method of traveling information for a mobile robot based on his eye's images. |

Kameyama,Tadahide | A Method for Generalizing The Parameters For Software Simulator |

Kitagawa,Yasuyuki | GLG image improving system using kalman filter |

Kuroda,Eishi | A Three-stage Routing Algorithm for FPGAs |

Ya'acob,Fazilah | Performance evaluating experiments on implemented decision procedures for rational Presburger sentences |

Kobayashi,Eiji | The circuit design of out-of-order pipelined cpu and functional verification |