Journal of Software 2011 Issue 5 Admissible Subgoal Ordering for Automated Planning

Admissible Subgoal Ordering for Automated Planning
LIANG Rui-Shi;JIANG Yun-Fei;BIAN Rui;WU Xiang-Jun

..............page:914-928

Gene Expression Programming Evolution Difficulty Prediction Based on Posture Model
ZHENG Jiao-Ling;TANG Chang-Jie;XU Kai-Kuo;YANG Ning;DUAN Lei;LI Hong-Jun

..............page:899-913

Compact Dependencies and Intent Waned Values
MA Yuan;ZHANG Xue-Dong;CHI Cheng-Ying

..............page:962-971

Mining Hierarchical Community Structure Within Networks from Density-Connected Traveling Orders
HUANG Jian-Bin;SUN He-Li;Dustin BORTNER;LIU Ya-Guang

..............page:951-961

Quantum Programming Language NDQJava-2
LIU Ling;XU Jia-Fu

..............page:877-886

Cross Layer Transmission Control Protocol Interacting with Link Reliable Routing in MANET
SUN Jie;GUOWei

..............page:1041-1052

Efficient Algorithm for Surface Simplification Based OU Variational Mesh
JIN Yong;WU Qing-Biao;LIU Li-Gang

..............page:1097-1105

Application-Level Multicast Routing Algorithms for Supporting Multipoint Interaction Synchronization
JIANG Shan;ZHENG Qing-Hua;LIU Jun;DU Hai-Peng

..............page:972-985

Equivalence Analysis of 3D Geometric Constraint Systems
HUANG Xue-Liang;WANG Bo-Xing;CHEN Li-Ping;HUANG Zheng-Dong

..............page:1106-1120

Optimal Mining on Security Labels in Multilevel Security System
YANG Zhi;JIN Shu-Yuan;DUAN Mi-Yi;FANG Bin-Xing

..............page:1020-1030

Layered Intrusion Scenario Reconstruction Method for Automated Evidence Analysis
FU Xiao;SHI Jin;XIE Li

..............page:996-1008

O(2.983n)Time Complexity Algorithm for Optimal Coalition Structure Generation
LIU Jing-Lei;ZHANG Wei;TONG Xiang-Rong;ZHANG Zhen-Rong

..............page:938-950

Appraisal Expression Recognition Based on Syntactic Path
ZHAO Yan-Yan;QIN Bing;CHE Wan-Xiang;LIU Ting

..............page:887-898

Efficient Identity-Based Authenticated Key Agreement Protocol in the Standard Model
GAO Zhi-Gang;FENG Deng-Guo

..............page:1031-1040

Monitoring Properties of Open Environments
HUANG Yu;YU Jian-Ping;MA Xiao-Xing;TAO Xian-Ping;L(U) Jian

..............page:865-876

Trustworthy Services Selection Based on Preference Recommendation
ZHU Rui;WANG Huai-Min;FENG Da-Wei

..............page:852-864

Constructing Distributed Connected Dominating Sets in Wireless Ad Hoc and Sensor Networks
ZHENG Chan;SUN Shi-Xin;HUANG Tian-Yun

..............page:1053-1066

ruan jian xue bao tou gao zhi nan

..............page:封3

Cuboid Arrangement Approach Based on Caving Degree for Solving the Cuboid Packing Problem
HE Kun;HUANG Wen-Qi

..............page:843-851

Vision-Based Gesture Interfaces Toolkit for Interactive Games
WU Hui-Yue;ZHANG Feng-Jun;LIU Yu-Jin;HU Yin-Huan;DAI Guo-Zhong

..............page:1067-1081

Configuration Solving and Computing Explanations Based on Equivalence Class Partition
LI Hong-Bo;LI Zhan-Shan;HAN Wen-Cheng

..............page:929-937

Fine-Grained Parallel Betweenness Centrality Algorithm Without Lock Synchronization
TU Deng-Biao;TAN Guang-Ming;SUN Ning-Hui

..............page:986-995

Post-WIMP User Interface Model for Personal Information Management
CHEN Ming-Xuan;REN Lei;TIAN Feng;DENG Chang-Zhi;DAI Guo-Zhong

..............page:1082-1096

Topology-Hiding Secure Multipath Routing Protocol for MANET
HU Qi;ZHANG Jiao;ZHANG Yu-Jun;LI Zhong-Cheng

..............page:1009-1019

Hybrid Particle Swarm Optimization Algorithm for VLSI Circuit Partitioning
GUO Wen-Zhong;CHEN Guo-Long;XIONG Naixue;PENG Shao-Jun

..............page:833-842