Huowang Chen

Publication Activity (10 Years)

Years Active: 1991-2009
Publications (10 Years): 0

Publications

Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma, Zhaofei Wang
Symbolic model checking APSL. Frontiers Comput. Sci. China 3 (1) (2009)
Ti Zhou, Zhoujun Li, Mengjun Li, Huowang Chen
Constraint Abstraction in Verification of Security Protocols. FAW (2008)
Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma
Symbolic Model Checking APSL. TASE (2008)
Xiaoyan Zhang, Ting Wang, Huowang Chen
Story Link Detection based on Dynamic Information Extending. IJCNLP (2008)
Ti Zhou, Mengjun Li, Zhoujun Li, Huowang Chen
Modeling and Verifying Time Sensitive Security Protocols with Constraints. Electron. Notes Theor. Comput. Sci. 212 (2008)
Yaodong Chen, Ting Wang, Huowang Chen, Xishan Xu
Semantic Role Labeling of Chinese Using Transductive SVM and Semantic Heuristics. IJCNLP (2008)
Xiaoyan Zhang, Ting Wang, Huowang Chen
Story Link Detection Based on Event Model with Uneven SVM. AIRS (2008)
Mengjun Li, Zhoujun Li, Huowang Chen, Ti Zhou
A Novel Derivation Framework For Definite Logic Program. Electron. Notes Theor. Comput. Sci. 212 (2008)
Chunming Gao, Meiling Cai, Huowang Chen
QoS-Driven Global Optimization of Services Selection Supporting Services Flow Re-planning. APWeb/WAIM Workshops (2007)
Tao Wang, Zhoujun Li, Xiaohua Hu, Yuejin Yan, Huowang Chen
A New Decision Tree Classification Method for Mining High-Speed Data Streams Based on Threaded Binary Search Trees. PAKDD Workshops (2007)
Chunming Gao, Xiaojuan Yuan, Huowang Chen
Execution Mechanism of Service Proxy in Web Services Composition Execution Engine. COMPSAC (1) (2007)
Chunming Gao, Weian Chen, Huowang Chen
A Feedback Control Framework of Service Composition Execution for Response Time Guarantee. ICWS (2007)
Shulin Wang, Huowang Chen, Shutao Li, Dingxing Zhang
Feature Extraction from Tumor Gene Expression Profiles Using DCT and DFT. EPIA Workshops (2007)
Chunming Gao, Jin Li, Zhoujun Li, Huowang Chen
Model Checking for BPEL4WS with Time. APWeb/WAIM Workshops (2007)
Chunming Gao, Meiling Cai, Huowang Chen
QoS-aware Service Composition Based on Tree-Coded Genetic Algorithm. COMPSAC (1) (2007)
Chunming Gao, Huang Tan, Huowang Chen
Frameworks of Composite Services Execution Engine with Feedback Control. COMPSAC (2) (2007)
Tao Wang, Zhoujun Li, Yuejin Yan, Huowang Chen
An Incremental Fuzzy Decision Tree Classification Method for Mining Data Streams. MLDM (2007)
Zhoujun Li, Tao Wang, Ruoxue Wang, Yuejin Yan, Huowang Chen
A New Fuzzy Decision Tree Classification Method for Mining High-Speed Data Streams Based on Binary Search Trees. FAW (2007)
Zhoujun Li, Jiesheng Wang, Huowang Chen
A Description Logic Framework for Semantic Web Service Composition. SKG (2007)
Zhoujun Li, Ti Zhou, Mengjun Li, Huowang Chen
Constraints Solution for Time Sensitive Security Protocols. FAW (2007)
Jie Yu, Zhoujun Li, Huowang Chen, Xiaoming Chen
A Detection and Offense Mechanism to Defend Against Application Layer DDoS Attacks. ICNS (2007)
Lijuan Zhang, Zhoujun Li, Huowang Chen
An Effective Gene Selection Method Based on Relevance Analysis and Discernibility Matrix. PAKDD (2007)
Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen
Axiomatizing Extended Temporal Logic Fragments Via Instantiation. ICTAC (2007)
Chunming Gao, Liping Wan, Huowang Chen
A Method of Web Services Composition Based on Service Alliance. APWeb/WAIM Workshops (2007)
Shulin Wang, Huowang Chen, Shutao Li
Gene Selection Using Neighborhood Rough Set from Gene Expression Profiles. CIS (2007)
Shulin Wang, Ji Wang, Huowang Chen, Shutao Li
Feature Extraction and Classification of Tumor Based on Wavelet Package and Support Vector Machines. PAKDD (2007)
Guolong Chen, Shuili Chen, Wenzhong Guo, Huowang Chen
The multi-criteria minimum spanning tree problem based genetic algorithm. Inf. Sci. 177 (22) (2007)
Chunming Gao, Yong Li, Huowang Chen
Services Composition Modeling with Mobility and Time. IEEE SCW (2007)
Jian Wen, Zhoujun Li, Lijuan Zhang, Xiaohua Hu, Huowang Chen
A New Method of Cluster-Based Topic Language Model for Genomic IR. AINA Workshops (1) (2007)
Chunming Gao, Yong Li, Huowang Chen
Distributed System Modeling Based on Discrete Time Mobile Ambient. PDPTA (2007)
Tao Wang, Zhoujun Li, Yuejin Yan, Huowang Chen
A Survey of Fuzzy Decision Tree Classifier Methodology. ICFIE (2007)
Mengjun Li, Ti Zhou, Zhoujun Li, Huowang Chen
An Abstraction and Refinement Framework for Verifying Security Protocols Based on Logic Programming. ASIAN (2007)
Bo Chen, Zhoujun Li, Huowang Chen
A New Component-Oriented Programming Language with the First-Class Connector. JMLC (2006)
Chunming Gao, Rongsheng Liu, Yan Song, Huowang Chen
A Model Checking Tool Embedded into Services Composition Environment. GCC (2006)
Yang Yu, Ji Wang, Ting Wang, Huowang Chen
Representing Wholes by Structure. ICCS (2006)
Lijuan Zhang, Zhoujun Li, Huowang Chen, Jian Wen
Minimum Redundancy Gene Selection Based on Grey Relational Analysis. ICDM Workshops (2006)
Bo Chen, Zhoujun Li, Huowang Chen
Supporting Connector in Programming Language. SEKE (2006)
Shaozi Li, Yang Cao, Huowang Chen
A New Migration Algorithm of Mobile Agent Based on Ant Colony Algorithm in P2P Network. CDVE (2006)
Shulin Wang, Ji Wang, Huowang Chen, Wensheng Tang
The Classification of Tumor Using Gene Expression Profile Based on Support Vector Machines and Factor Analysis. ISDA (2) (2006)
Shulin Wang, Huowang Chen, Ji Wang, Dingxing Zhang, Shutao Li
Molecular Diagnosis of Tumor Based on Independent Component Analysis and Support Vector Machines. CIS (2006)
Shulin Wang, Ji Wang, Huowang Chen, Boyun Zhang
SVM-Based Tumor Classification with Gene Expression Data. ADMA (2006)
Xiaoyan Zhang, Ting Wang, Jintao Tang, Huiping Zhou, Huowang Chen
Chinese Named Entity Recognition with a Hybrid-Statistical Model. APWeb (2005)
Yaodong Chen, Ting Wang, Huowang Chen
Using Directed Graph Based BDMM Algorithm for Chinese Word Segmentation. CICLing (2005)
Shaozi Li, Changle Zhou, Huowang Chen
Web document retrieval based on multi-agent. CSCWD (1) (2005)
Shaozi Li, Changle Zhou, Huowang Chen
Research on Mobile Agent Based Information Content-Sharing in Peer to Peer System. CDVE (2005)
Yan Jiong, Ji Wang, Huowang Chen
Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models. QSIC (2004)
Jiong Yan, Ji Wang, Huowang Chen
UML Based Statistical Testing Acceleration of Distributed Safety-Critical Software. ISPA (2004)
Xingyan Tian, Kejia Zhao, Huowang Chen, Hongyan Du
Cache Behavior Analysis of a Compiler-Assisted Cache Replacement Policy. Asia-Pacific Computer Systems Architecture Conference (2004)
Yuejin Yan, Zhoujun Li, Tao Wang, Yuexin Chen, Huowang Chen
Mining Maximal Frequent ItemSets Using Combined FP-Tree. Australian Conference on Artificial Intelligence (2004)
Xindong Zhou, Ting Wang, Huiping Zhou, Huowang Chen
Categorizing Web Information on Subject with Statistical Language Modeling. WISE (2004)
Shaozi Li, Wenjian You, Changle Zhou, Huowang Chen
An Improved Method for Text Filtering Using Lexical Chains. IKE (2004)
Shaozi Li, Changle Zhou, Huowang Chen
Research on Content-Based Text Retrieval and Collaborative Filtering in Hybrid Peer-to-Peer Networks. CSCWD (Selected papers) (2004)
Yuejin Yan, Zhoujun Li, Huowang Chen
Fast Mining Maximal Frequent ItemSets Based on FP-Tree. ER (2004)
Shaozi Li, Wenjian You, Tangqiu Li, Huowang Chen
Lexical-chain and It's Application in Text Filtering. ITCC (2) (2004)
Ting Wang, Ji Wang, Yang Yu, Rui Shen, Jinhong Liu, Huowang Chen
MetaData Pro: Ontology-Based Metadata Processing for Web Resources. WISE Workshops (2004)
Baowen Xu, Jianjiang Lu, Yingzhou Zhang, Lei Xu, Huowang Chen, Hongji Yang
Parallel Algorithm for Mining Fuzzy Association Rules. CW (2003)
Baowen Xu, Changhai Nie, Liang Shi, William C. Chu, Hongji Yang, Huowang Chen
Test Plan Design for Software Configuration Testing. Software Engineering Research and Practice (2003)
Shaozi Li, Weifeng Su, Tangqiu Li, Huowang Chen
Cross-Lingual Text Filtering Based on Text Concepts and kNN. PACLIC (2003)
Lei Xu, Baowen Xu, Zhenqiang Chen, Huowang Chen
Website Evolution Based on Statistic Data. FTDCS (2003)
Jianjiang Lu, Baowen Xu, Dazhou Kang, Huowang Chen, Hongji Yang
Mining Association Rules with Linguistic Terms. ICTAI (2003)
Yan Jiong, Ji Wang, Huowang Chen
Deriving Software Statistical Testing Model from UML Model. QSIC (2003)
Lei Xu, Baowen Xu, Changhai Nie, Huowang Chen, Hongji Yang
A Browser Compatibility Testing Method Based on Combinatorial Testing. ICWE (2003)
Lei Xu, Baowen Xu, Zhenqiang Chen, Jixiang Jiang, Huowang Chen
Regression Testing for Web Applications Based on Slicing. COMPSAC (2003)
Xuan Qi, Huiping Zhou, Huowang Chen
An Interlingua-Based Chinese-English MT System. J. Comput. Sci. Technol. 17 (4) (2002)
Xingming Sun, Huowang Chen, Lihua Yang, Yuan Yan Tang
Mathematical Representation of a Chinese Character and its Applications. Int. J. Pattern Recognit. Artif. Intell. 16 (6) (2002)
Guangjun Zhong, Lizhi Cheng, Huowang Chen
A simple 9/7-tap wavelet filter based on lifting scheme. ICIP (2) (2001)
Guangjun Zhong, Lizhi Cheng, Huowang Chen
Integer lapped biorthogonal transform. ICIP (2) (2001)
Kaile Su, Huowang Chen, Decheng Ding
Two alternative notions of 'possibility' satisfying Halpern's conditions. J. Log. Comput. 10 (2) (2000)
Zhoujun Li, Huowang Chen
Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes. TACAS (1999)
Bingshan Wang, Zhoujun Li, Huowang Chen
Universal abstract consistency class and universal refutation. J. Comput. Sci. Technol. 14 (2) (1999)
Zhoujun Li, Huowang Chen
Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus. ICALP (1998)
Tiegeng Luo, Huowang Chen, Bingshan Wang, Ji Wang, Zhenghu Gong, Zhichang Qi
Verifying automata specification of distributed probabilistic real-time systems. J. Comput. Sci. Technol. 13 (6) (1998)
Kewen Wang, Huowang Chen, Quanyuan Wu
The least fixpoint transformation for disjunctive logic programs. J. Comput. Sci. Technol. 13 (3) (1998)
Kewen Wang, Huowang Chen
Abduction, Argumentation and Bi-Disjunctive Logic Programs. LPKR (1997)
Kaile Su, Decheng Ding, Huowang Chen
A Three-Valued Quantificational Logic of Context. COCOON (1997)
Shaoyan Wu, Qingfu Zhang, Huowang Chen
A New Evolutionary Model Based on Family Eugenics: the First Results. International Conference on Evolutionary Computation (1996)
Huaimin Wang, Huowang Chen
A constructor-based EI-model semantics of EI-CTRS. J. Comput. Sci. Technol. 10 (1) (1995)
Xianchang Wang, Huowang Chen, Qinping Zhao
On the relationship between TMS and logic programs. J. Comput. Sci. Technol. 9 (3) (1994)
Xianchang Wang, Huowang Chen, Quingping Zhao, Wei Li
W - A Logic System Based on the Shared Common Knowledge Views. IJCAI (1993)
Ji Wang, Huowang Chen
A formal technique to analyze real-time systems. COMPSAC (1993)
Ji Wang, Huowang Chen
Temporal Reasoning About Real Time Reactive Systems. IWAR (1992)
Xianchang Wang, Huowang Chen
On Semantics of TMS. IJCAI (1991)