Contents

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

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

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

MiniCon Algorithm for Semi-Structured Query Rewriting TAO Chun,WANG Wei and SHI Bai-Le 2004,15(11):1641-1647 [Abstract(3924)]  [View PDF(5474)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(4905)]  [View PDF(5334)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(3832)]  [View PDF(5437)738.53 K]

On-Line Segmentation of Time-Series Data LI Ai-Guo and QIN Zheng 2004,15(11):1671-1679 [Abstract(5098)]  [View PDF(8499)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(4321)]  [View PDF(5879)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(4381)]  [View PDF(6624)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(4129)]  [View PDF(7678)938.73 K]

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

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

Review Articles

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