Contents

Artificial Intelligence with Uncertainty LI De-Yi,LIU Chang-Yu,DU Yi and HAN Xu 2004,15(11):1583-1594 [Abstract(10557)]  [View PDF(30155)1.57 M]

An Embedded Real-Time Software Oriented Requirements Specification Language and Checking Methods SHU Feng-Di,WU Guo-Qing and LI Ming-Shu 2004,15(11):1595-1606 [Abstract(5489)]  [View PDF(6970)1.06 M]

Texture Constrained Facial Feature Point Tracking SONG Gang,AI Hai-Zhou and XU Guang-You 2004,15(11):1607-1615 [Abstract(5037)]  [View PDF(6759)1.21 M]

A Hierarchical Model for Perception Memory Based on Connected Graph and Dynamic Process WEI Hui and LUAN Shang-Min 2004,15(11):1616-1628 [Abstract(5104)]  [View PDF(6962)980.30 K]

Planning with Domain Constraints Based on Model-Checking WU Kang-Heng and JIANG Yun-Fei 2004,15(11):1629-1640 [Abstract(5076)]  [View PDF(7026)1.16 M]

MiniCon Algorithm for Semi-Structured Query Rewriting TAO Chun,WANG Wei and SHI Bai-Le 2004,15(11):1641-1647 [Abstract(4520)]  [View PDF(6385)619.57 K]

OrientXA: An Effective XQuery Algebra MENG Xiao-Feng,LUO Dao-Feng,JIANG Yu and WANG Yu 2004,15(11):1648-1660 [Abstract(5485)]  [View PDF(6222)1005.76 K]

Index Structure for Set data and Its Join Operation WANG Wei,XIE Min-Feng,TAO Chun and SHI Bai-Le 2004,15(11):1661-1670 [Abstract(4377)]  [View PDF(6461)738.53 K]

On-Line Segmentation of Time-Series Data LI Ai-Guo and QIN Zheng 2004,15(11):1671-1679 [Abstract(5661)]  [View PDF(9317)806.52 K]

Threshold Access Control Scheme Based on Quantifying Permission LEI Hao,FENG Deng-Guo,ZHOU Yong-Bin and HUANG Jian 2004,15(11):1680-1688 [Abstract(4962)]  [View PDF(6743)733.42 K]

Trust Degree Based Multilevel Security Policy and Its Model of State Machine XIE Jun,XU Feng and HUANG Hao 2004,15(11):1700-1708 [Abstract(5113)]  [View PDF(7559)741.00 K]

Photon Propagation Model of In Vivo Bioluminescent Imaging Based on Monte Carlo LI Hui,TIAN Jie and WANG Ge 2004,15(11):1709-1719 [Abstract(4701)]  [View PDF(8512)938.73 K]

Cooperative Visual Hypermedia and Its Application in Cooperative Learning WANG Wei-Gang 2004,15(11):1720-1732 [Abstract(4652)]  [View PDF(6310)1.50 M]

A Security Model for CORBA Audio/Video Stream Service: SecStream FENG Ming-Zheng 2004,15(11):1733-1740 [Abstract(4410)]  [View PDF(6313)685.91 K]

Summarization of Application for Funding and Supporting for Programs by Computer Science Division of Information Science Department of NSFC in 2004 XU Lin,LIU Zhi-Yong and LIU Ke 2004,15(11):1741-1748 [Abstract(5577)]  [View PDF(7741)1.23 M]

Review Articles

A Survey of Technology for TCP Acceleration WANG Sheng and SU Jin-Shu 2004,15(11):1689-1699 [Abstract(9008)]  [View PDF(12197)764.86 K]