Technical Report [ 2005 ]

Institute of Information Science, Academia Sinica

12-30-2005 update
TR-IIS-05-001

A Block-Based SNR Scalable Wavelet Video Codec with Sub-pixel Motion Vectors and R-D Optimization
Cho-Chun Cheng and Wen-Liang Hwang

abstract 
fulltext
TR-IIS-05-002

Media Hash-dependent Image Watermarking Resilient Against Both Geometric Attacks and Estimation Attacks Based on False Positive-Oriented Detection
Chun-Shien Lu, Shih-Wei Sun, Chao-Yong Hsu, and Pao-Chi Chang

abstract 
fulltext
TR-IIS-05-003

Proving∀µ -Calculus Properties with SAT-Based Model Checking
Bow-Yaw Wang

abstract 
fulltext
TR-IIS-05-004

Queuing Delay Propagation Model (QDPM)-based Queuing Region Determination for Available Bandwidth Estimation of Multimedia QoS
Yu-Chen Huang, Chun-Shien Lu, Hsiao-Kuang Wu

abstract 
fulltext
TR-IIS-05-005

SinicView: A Visualization Environment for Comparisons of Multiple Sequence Alignment Tools
Arthur Chun-Chieh Shih, D.T. Lee, Laurent Lin, Chin-Lin Peng, Shiang-Heng Chen, Chun-Yi Wong, Meng-Yuan Chou, and Tze-Chang Shiao

abstract 
fulltext
TR-IIS-05-006

Enhanced Bulk Scheduling for Supporting End-to-End Delay Requirements
Yung-Cheng Tu, Meng Chang Chen, Yeali S. Sun and Wei-Kuan Shih

abstract 
fulltext
TR-IIS-05-007 User Scenarios and Designs of Smart Pantry, Object Locator and Walker’s Buddy: Consumer Electronicsfor the Elderly
Jane W. S. Liu ... [et al.]
abstract 
fulltext
TR-IIS-05-008 A General Model for Medication Scheduling
P. C. Hsiu, H. C. Yeh, P. H. Tsai, C. S. Shih, D. H. Burkhardt, T. W. Kuo, J. W. S. Liu and T. Y. Huang
abstract 
fulltext
TR-IIS-05-009

Automatic Verification of a Model Checker in Rewriting Logic
Bow-Yaw Wang

abstract 
fulltext
TR-IIS-05-010

AgentToolboxVersion 2 User Manual
Author: Siek Harianto; Reviewer: Chunnan Hsu

fulltext
TR-IIS-05-011

Estimation of Skew Angles for Scanned Documents Based on Piecewise Covering by Parallelograms
Fu Chang, Chien-Hsing Chou, and Shih-Yu Chu

abstract 
fulltext
TR-IIS-05-012

An Application-layer Security Control for Real-time Video Streaming
Chia-Hui Wang, Jan-Ming Ho

abstract 
fulltext
TR-IIS-05-013

Active Feedback for Effective Web Search
Ray-I Chang, Jan-Ming Ho

abstract 
fulltext
TR-IIS-05-014

Video Delivery on Content Networks
Ray-I Chang, Jan-Ming Ho

abstract 
fulltext
TR-IIS-05-015

Design and Implementation of Domain-Based Proxy Prefetching
Ray-I Chang, Jan-Ming Ho

abstract 
fulltext
TR-IIS-05-016

Improving End-to-End Performance of RED
Chin-Fu Ku, Ray-I Chang, Jan-Ming Ho, Sao-Jie Chen

abstract 
fulltext
TR-IIS-05-017

Aggressive Traffic Smoothing for Online Delivery
Jeng-Wei Lin, Ray-I Chang, Jan-Ming Ho, Feipei Lai

abstract 
fulltext
TR-IIS-05-019

數位典藏國家型科技計畫 - 數位權利管理技術簡介
Jen-Hao Hsiao, Lee-Feng Chien, Chu-Song Chen

fulltext
TR-IIS-05-020

Coalition Formation for Resource Co-allocation Using BDI Assignment Agents
Kiam Tian Seow, Kwang Mong Sim and Yuan Chia Kwek

abstract 
fulltext
TR-IIS-05-021

Generalized Edge Coloring for Channel Assignment in Wireless
Networks
Chun-Chen Hsu, Pangfeng Liu, Da-Wei Wang, Jan-Jan Wu

abstract 
fulltext
TR-IIS-05-022

A Micro-Matching Foundation of Neutral Technical Progress
Been-Lon Chen, Jie-Ping Mo, Ping Wang

abstract 
fulltext
TR-IIS-05-023

Real-Time Scheduling by Cascading
Ray-I Chang, Ruei-Chuan Chang, Jan-Ming Ho

abstract 
fulltext
TR-IIS-05-024

An Adaptive Prototype Classification Method with Applications to Genetic Marker Selection
Ke-Shiuan Lynn, Chin-Chin Lin, Wen-Harn Pan, and Fu Chang

abstract 
fulltext