資訊所  2002  技術報告      12-31-2002 update

TR-IIS-02- 001 ~ 015


TR-IIS-02-001 -     Abstract       PDF format
Compression of 3D Objects with Multistage Color-Depth Panoramic Maps

/ Chang-Ming Tsai, Wen-Yan Chang, Chu-Song Chen, Gregory Y. Tang

 

TR-IIS-02-002 -     Abstract       PDF format
Statistical Disclosure Control with General Cell Suppressions

/ Tsan-sheng Hsu, Ming-Yang Kao

 

TR-IIS-02-003 -     Abstract       PDF format
On Maximum Rate Control of Worst-case Weighted Fair Queueing

/ Jeng Farn Lee, Yeali Sun, Meng-Chang Chen

 

TR-IIS-02-004 -     PDF format
Workshop Notes --
Towards the Foundation of Data Mining -- Vol 2

/ A Workshop held at the 6th Pacific-Asia Conference on Knowledge Discovery and Data Mining

 

TR-IIS-02-005 -     Abstract       PDF format
OC: An Optimal Cache Algorithm for Video Staging
/ Shin-Hung Chang, Ray-I Chang, Jan-Ming Ho, and Yen-Jen Oyang

 

TR-IIS-02-006 -     Abstract       PDF format
A Path Planning Method Using Cubic Spiral with Curvature Constraint

/ Tzu-Chen Liang and Jing-Sin Liu

 

TR-IIS-02-007 -     Abstract       PDF format
A Distributed Mobile Robot Simulator and a Ball Passing Strategy

/ Tzu-Chen Liang and Jing-Sin Liu

 

TR-IIS-02-008 -     Abstract       PDF format
Symbolic Simulation of Real-Time Concurrent Systems

/ Farn Wang and Geng-Dian Hwang

 

TR-IIS-02-009 -     Abstract       PDF format
Efficient Verification of Timed Automata with BDD-like Data-Structures

/ Farn Wang

 

TR-IIS-02-010 -     Abstract       PDF format
Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structure

/ Farn Wang and Karsten Schmidt

 

TR-IIS-02-011 -     Abstract       PDF format
OVL Assertion-Checking of Embedded Softwares with Dense-Time Semantics

/ Farn Wang and Fang Yu

 

TR-IIS-02-012 -     Abstract       PDF format
Learning Hybrid Poisson Aspect Model for Personalized Shopping Recommendation

/ Advisor: Professor Chun-Nan Hsu; Student: Hao-Hsiang Chung

 

TR-IIS-02-013 -     Abstract       PDF format
Open Set Classification Based on Tolerance Interval For Speaker Verification System

/ Advisor: Professor Chun-Nan Hsu; Student: Hao-Zhong Yu

 

TR-IIS-02-014 -     Abstract       PDF format
Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems

/ Farn Wang, Geng-Dian Hwang, Fang Yu

 

TR-IIS-02-015 -     Abstract       PDF format
Hierarchical Peer-to-Peer Networks

/ H. T. Kung and Chun-Hsin Wu