Contents

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

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

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

MiniCon Algorithm for Semi-Structured Query Rewriting TAO Chun,WANG Wei and SHI Bai-Le 2004,15(11):1641-1647 [Abstract(3928)]  [View PDF(5495)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(4907)]  [View PDF(5354)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(3836)]  [View PDF(5468)738.53 K]

On-Line Segmentation of Time-Series Data LI Ai-Guo and QIN Zheng 2004,15(11):1671-1679 [Abstract(5105)]  [View PDF(8520)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(4326)]  [View PDF(5900)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(4386)]  [View PDF(6641)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(4131)]  [View PDF(7692)938.73 K]

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

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

Review Articles

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