Contents

Artificial Intelligence with Uncertainty LI De-Yi,LIU Chang-Yu,DU Yi and HAN Xu 2004,15(11):1583-1594 [Abstract(9241)]  [View PDF(23441)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(4828)]  [View PDF(5714)1.06 M]

Texture Constrained Facial Feature Point Tracking SONG Gang,AI Hai-Zhou and XU Guang-You 2004,15(11):1607-1615 [Abstract(4406)]  [View PDF(5588)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(4479)]  [View PDF(5953)980.30 K]

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

MiniCon Algorithm for Semi-Structured Query Rewriting TAO Chun,WANG Wei and SHI Bai-Le 2004,15(11):1641-1647 [Abstract(3904)]  [View PDF(5318)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(4874)]  [View PDF(5199)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(3805)]  [View PDF(5258)738.53 K]

On-Line Segmentation of Time-Series Data LI Ai-Guo and QIN Zheng 2004,15(11):1671-1679 [Abstract(5065)]  [View PDF(8279)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(4274)]  [View PDF(5724)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(4356)]  [View PDF(6375)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(4099)]  [View PDF(7535)938.73 K]

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

A Security Model for CORBA Audio/Video Stream Service: SecStream FENG Ming-Zheng 2004,15(11):1733-1740 [Abstract(3791)]  [View PDF(5331)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(4916)]  [View PDF(6224)1.23 M]

Review Articles

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