- A Decision Algorithm on Connected On-tree Bipartite Graphs
- Case study of Dynamic Resolution Method for Service Interactions
- Implementing Annotations in Hyperscore - a Music Score
- Making translator which translates SIMD model language NCX to SPMD model language PowerC
- A method for the explanation of Algorithm using hierarchical HyperText
- A System for Executing Visualized LOTOS Specifications
- The method for support of understanding parallel algorithms with interprocessor-communication information
- Simulation system for software development process described by extended generalized stochastic Petri net
- Implementation of programs to support the description of invariant in the verification of communication protocols modeled as extended communicating finite-state machines
- Design and Implementation of Synchronization Mechanism correspond to QoS Control on Distributed Multimedia System Symphony
- A interaction suport tool based on topics
- Study of String Reconstruct Problem about determining a DNA sequence
- An effective multi resolution analysis for acquireing 3D models of non-rigid moving objects from time and viewpoint varing image sequence
- A method of efficient self-organization on Advanced Logical DataBase
- An Implementation of a VIDEO server with a scaling mechanism
- The trial manufacture of program specification tool by limiting the input or output variables.
- A preliminary program to display a section minimal trellis diagram for linear block code by using the parallel structure.
- Investigation on actualization of Video on Demand Service in ATM networks
- Improvement of Code Generator in ASM Compiler and Implementation of Debugger for ASM Programs
- Recording System of Operation History on GUI environment
- Restructuring and Analysis of Operation History on GUI Environment
- Visualized Teaching Materials for Hardware Education
- Extention of Facilities for State Diagram Transformation in Hardware Design Support System based on Algebraic Methods
- NP-completeness of two circular-arc graph completion problems
- A description of service specification of protocols in multimedia operating system and synthesis of protocol entities' specification
- Input and output interface on the probe system
- The development of a parser generator applied a parsing method based on syntax object.
- An evaluation of a method for constructing parallel test data with linear codes and its cosets for combinational circuits
- A Verification Method for Liveness of Communication Protocols Defined as Protocols Composed Subprotocols
- Performance comparison of ATM LAN switches
- Formal Verification of the Pipelined CPU's Functions using the Decision Procedure for Presburger Sentences
- On a graphical design function of algebraic specificaton method for clocked sequential logic circuit.
- An Extraction of Keyframes from an Image Sequence
- Implementation of the library which assimilate the difference of systems
- Extraction of Character Regions Based on Multi-Agent System
- The evaluation of `Source code analyzing system REFINE' on manufacturing a program slicer.
- Implementation of a simulator and a subsystem supporting state-spece division in a document generating for an algebraic specification of a sequential machine
- Neural Network Models for Graph Partitioning Problems
- Generating Cooperative Answers through Association Mechanism with Dialogue Example Base
- Evaluations of simulation using Serialization Graph Testing for Distributed Database Systems by simulators
- Properties of Containment Graphs
- The Fastest Transfer Time Problem between Two Points
- Estimation and feature extraction of velocity field of blood flow from X-ray cineangiograms.
- Extension of Fitts' law considering target size
- Synthetic System of Synchronous Sequential Circuits from Specification Written in a LOTOS-like Language
- Linear-time algorithms for updating suffix tree
- ASW: Animation Scenario Editor by Direct Manipulation
- A model of generating cooperative answers considering dialog situations

- A dynamic resolution of the feature interaction problem based on the event sequences
- A Proposal of A Method Which Analyzes Software Development Histories by Comparing Syntax Trees, and Its Implementation
- Experimental Evaluation of Circular Review Method
- Automatic Test Sequence Generation for Data Parts in an EFSM Model
- An Eductional Communication System with Easy Maintenance
- Modeling and Quantitative Evaluation of Software Process Based on a Generalized Stochastic Petri Net
- Study on Multicast Routing Methods in Optical Switching Network
- Polynomial-time algorithms for computing a characteristic string of a subset of a set of strings
- An algorithm for generating all maximum independent sets of a circle graph
- Synthesis of Synchronous Sequential Circuits from Specifications Written in a LOTOS-like Language
- Efficient Wait-free Implementations of FIFO Queues on Synchronous Shared Memory System
- CPH:A Programming Language for Effective Use of Complex Objects
- Models for Executing ECA Rules on Multidatabase
- A protein classification system using approximate multiple sequence alignment
- Support for Components Allocation in High-level Synthesis of Synchronous Sequential Circuits
- Optimal whole working hours vehicle routing problem
- Allowing write up in multilevel secure database
- An Interaction Support Mechanism in Software Development Processes
- A proposal of distributed service searching system based on the service descriptions
- The necessary and sufficient condition that Lf language generated by a Petri Net is regular
- Computing Parametric Interval Orders
- Classification of Legal Objects for Legal Diagnosis and the implementation
- An Anonymous Undeniable Signature and Its Application to an Anonymous Bidding Protocol
- Software Development Environment to support Object Oriented Programming based on Hierarichal Structure
- Performance Evaluation of Rate-Based Congestion Control Methods in ATM Networks
- A Cooperative Separating for The Overlapped Sihlouette Figure Based on Good Figure
- Generating Illustrations and Instructions for Explanation of Mechanical Assembly
- An algorithm for finding a maximum weight k-independent set on interval graphs
- Query Procedure by Relational Algebra in Logical DataBase Handling Complete/Incomplete Knowledge
- A Technique to Exchange Statements in Shared Memory SPMD Program for Gated Barrier
- Design of quality control mechanism and its implementation in network multimedia system 'Symphony'
- Performance Evaluation of Communication Protocols using ITTG Model
- A Scheduling Algorithm using Serialization Graph Testing for Distributed Database Systems and its Evaluation
- A method of generating an invariant of protocols modeled as extended communicating finite-state machines.
- Modeling and Evaluation of Responsive Multiprocessor Systems
- Verification of Liveness Property for EFSM with a Procedure for Solving Integer Linear Programming
- Scenario description language treating QoS specification and its processing mechanism in distributed multimedia system ``Symphony''
- Depend:an interactive system for task scheduling using task dependency graph
- Evaluation of the Circuit Scale and the Maximum Decoding Delay of Maximum Likelihood Decoders for a Subcode of the Third Order Reed-Muller Code of Length 64
- The Research on the Interactive Contour Extraction of Object
- Measuring microcirculation of human retinal capillary from fluorescein angiographic images of ocular fundus
- A chart style language environment for programming education
- Inductive Learning of 3D Shapes with Superquadrics Representation
- A Protein Structure Matching by the Method of Chain-encoding

- Studies on Traffic Control Methods for Multimedia High-speed Networks
- A Study on Verification Methods for Communication Protocols Modeled as Extended Communicating Finite-State Machines
- A Dynamic Organization in Distributed Constraint Satisfaction
- Distributed Algorithms on a Shared Memory System and a Processor Network
- A Translation Method from Natural Language Specifications of Communication Protocols into Executable Algebraic Specifications
- A research of drug design support system using กก knowledge engineering techniques
- Automatic Derivation of Test Cases for Communication protocols with Data Parameters
- A study on database schema design for efficient query processing
- Hierarchical Design of Sequential Machine Style Program and its Transformation to Distributed Computing Programs

to ICS Home Page