Huowang Chen

According to our database, Huowang Chen authored at least 82 papers between 1991 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Symbolic model checking APSL.

Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma, Zhaofei Wang

Frontiers Comput. Sci. China, 2009

2008

Modeling and Verifying Time Sensitive Security Protocols with Constraints.

Ti Zhou, Mengjun Li, Zhoujun Li, Huowang Chen

Proceedings of the First International Conference on Foundations of Informatics, 2008

A Novel Derivation Framework For Definite Logic Program.

Mengjun Li, Zhoujun Li, Huowang Chen, Ti Zhou

Proceedings of the First International Conference on Foundations of Informatics, 2008

Symbolic Model Checking APSL.

Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Story Link Detection based on Dynamic Information Extending.

Xiaoyan Zhang, Ting Wang, Huowang Chen

Proceedings of the Third International Joint Conference on Natural Language Processing, 2008

Semantic Role Labeling of Chinese Using Transductive SVM and Semantic Heuristics.

Yaodong Chen, Ting Wang, Huowang Chen, Xishan Xu

Proceedings of the Third International Joint Conference on Natural Language Processing, 2008

Constraint Abstraction in Verification of Security Protocols.

Ti Zhou, Zhoujun Li, Mengjun Li, Huowang Chen

Proceedings of the Frontiers in Algorithmics, Second Annual International Workshop, 2008

Story Link Detection Based on Event Model with Uneven SVM.

Xiaoyan Zhang, Ting Wang, Huowang Chen

Proceedings of the Information Retrieval Technology, 2008

2007

The multi-criteria minimum spanning tree problem based genetic algorithm.

Guolong Chen, Shuili Chen, Wenzhong Guo, Huowang Chen

Inf. Sci., 2007

A Description Logic Framework for Semantic Web Service Composition.

Zhoujun Li, Jiesheng Wang, Huowang Chen

Proceedings of the Third International Conference on Semantics, 2007

Distributed System Modeling Based on Discrete Time Mobile Ambient.

Chunming Gao, Yong Li, Huowang Chen

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2007

An Effective Gene Selection Method Based on Relevance Analysis and Discernibility Matrix.

Lijuan Zhang, Zhoujun Li, Huowang Chen

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2007

Feature Extraction and Classification of Tumor Based on Wavelet Package and Support Vector Machines.

Shulin Wang, Ji Wang, Huowang Chen, Shutao Li

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2007

A New Decision Tree Classification Method for Mining High-Speed Data Streams Based on Threaded Binary Search Trees.

Tao Wang, Zhoujun Li, Xiaohua Hu, Yuejin Yan, Huowang Chen

Proceedings of the Emerging Technologies in Knowledge Discovery and Data Mining, 2007

An Incremental Fuzzy Decision Tree Classification Method for Mining Data Streams.

Tao Wang, Zhoujun Li, Yuejin Yan, Huowang Chen

Proceedings of the Machine Learning and Data Mining in Pattern Recognition, 2007

A Feedback Control Framework of Service Composition Execution for Response Time Guarantee.

Chunming Gao, Weian Chen, Huowang Chen

Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Axiomatizing Extended Temporal Logic Fragments Via Instantiation.

Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen

Proceedings of the Theoretical Aspects of Computing, 2007

A Detection and Offense Mechanism to Defend Against Application Layer DDoS Attacks.

Jie Yu, Zhoujun Li, Huowang Chen, Xiaoming Chen

Proceedings of the Third International Conference on Networking and Services (ICNS 2007), 2007

A Survey of Fuzzy Decision Tree Classifier Methodology.

Tao Wang, Zhoujun Li, Yuejin Yan, Huowang Chen

Proceedings of the Fuzzy Information and Engineering, 2007

Constraints Solution for Time Sensitive Security Protocols.

Zhoujun Li, Ti Zhou, Mengjun Li, Huowang Chen

Proceedings of the Frontiers in Algorithmics, First Annual International Workshop, 2007

A New Fuzzy Decision Tree Classification Method for Mining High-Speed Data Streams Based on Binary Search Trees.

Zhoujun Li, Tao Wang, Ruoxue Wang, Yuejin Yan, Huowang Chen

Proceedings of the Frontiers in Algorithmics, First Annual International Workshop, 2007

Feature Extraction from Tumor Gene Expression Profiles Using DCT and DFT.

Shulin Wang, Huowang Chen, Shutao Li, Dingxing Zhang

Proceedings of the Progress in Artificial Intelligence, 2007

Execution Mechanism of Service Proxy in Web Services Composition Execution Engine.

Chunming Gao, Xiaojuan Yuan, Huowang Chen

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

Frameworks of Composite Services Execution Engine with Feedback Control.

Chunming Gao, Huang Tan, Huowang Chen

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

QoS-aware Service Composition Based on Tree-Coded Genetic Algorithm.

Chunming Gao, Meiling Cai, Huowang Chen

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

Gene Selection Using Neighborhood Rough Set from Gene Expression Profiles.

Shulin Wang, Huowang Chen, Shutao Li

Proceedings of the Computational Intelligence and Security, International Conference, 2007

An Abstraction and Refinement Framework for Verifying Security Protocols Based on Logic Programming.

Mengjun Li, Ti Zhou, Zhoujun Li, Huowang Chen

Proceedings of the Advances in Computer Science, 2007

A Method of Web Services Composition Based on Service Alliance.

Chunming Gao, Liping Wan, Huowang Chen

Proceedings of the Advances in Web and Network Technologies, and Information Management, 2007

Model Checking for BPEL4WS with Time.

Chunming Gao, Jin Li, Zhoujun Li, Huowang Chen

Proceedings of the Advances in Web and Network Technologies, and Information Management, 2007

QoS-Driven Global Optimization of Services Selection Supporting Services Flow Re-planning.

Chunming Gao, Meiling Cai, Huowang Chen

Proceedings of the Advances in Web and Network Technologies, and Information Management, 2007

A New Method of Cluster-Based Topic Language Model for Genomic IR.

Jian Wen, Zhoujun Li, Lijuan Zhang, Xiaohua Hu, Huowang Chen

Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

Services Composition Modeling with Mobility and Time.

Chunming Gao, Yong Li, Huowang Chen

Proceedings of the 2007 IEEE International Conference on Services Computing, 2007

2006

Supporting Connector in Programming Language.

Bo Chen, Zhoujun Li, Huowang Chen

Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

A New Component-Oriented Programming Language with the First-Class Connector.

Bo Chen, Zhoujun Li, Huowang Chen

Proceedings of the Modular Programming Languages, 7th Joint Modular Languages Conference, 2006

The Classification of Tumor Using Gene Expression Profile Based on Support Vector Machines and Factor Analysis.

Shulin Wang, Ji Wang, Huowang Chen, Wensheng Tang

Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications (ISDA 2006), 2006

Minimum Redundancy Gene Selection Based on Grey Relational Analysis.

Lijuan Zhang, Zhoujun Li, Huowang Chen, Jian Wen

Proceedings of the Workshops Proceedings of the 6th IEEE International Conference on Data Mining (ICDM 2006), 2006

Representing Wholes by Structure.

Yang Yu, Ji Wang, Ting Wang, Huowang Chen

Proceedings of the Conceptual Structures: Inspiration and Application, 2006

A Model Checking Tool Embedded into Services Composition Environment.

Chunming Gao, Rongsheng Liu, Yan Song, Huowang Chen

Proceedings of the Grid and Cooperative Computing, 2006

Molecular Diagnosis of Tumor Based on Independent Component Analysis and Support Vector Machines.

Shulin Wang, Huowang Chen, Ji Wang, Dingxing Zhang, Shutao Li

Proceedings of the Computational Intelligence and Security, International Conference, 2006

A New Migration Algorithm of Mobile Agent Based on Ant Colony Algorithm in P2P Network.

Shaozi Li, Yang Cao, Huowang Chen

Proceedings of the Cooperative Design, 2006

SVM-Based Tumor Classification with Gene Expression Data.

Shulin Wang, Ji Wang, Huowang Chen, Boyun Zhang

Proceedings of the Advanced Data Mining and Applications, Second International Conference, 2006

2005

Web document retrieval based on multi-agent.

Shaozi Li, Changle Zhou, Huowang Chen

Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, 2005

Using Directed Graph Based BDMM Algorithm for Chinese Word Segmentation.

Yaodong Chen, Ting Wang, Huowang Chen

Proceedings of the Computational Linguistics and Intelligent Text Processing, 2005

Research on Mobile Agent Based Information Content-Sharing in Peer to Peer System.

Shaozi Li, Changle Zhou, Huowang Chen

Proceedings of the Cooperative Design, 2005

Chinese Named Entity Recognition with a Hybrid-Statistical Model.

Xiaoyan Zhang, Ting Wang, Jintao Tang, Huiping Zhou, Huowang Chen

Proceedings of the Web Technologies Research and Development - APWeb 2005, 7th Asia-Pacific Web Conference, Shanghai, China, March 29, 2005

2004

Categorizing Web Information on Subject with Statistical Language Modeling.

Xindong Zhou, Ting Wang, Huiping Zhou, Huowang Chen

Proceedings of the Web Information Systems, 2004

MetaData Pro: Ontology-Based Metadata Processing for Web Resources.

Ting Wang, Ji Wang, Yang Yu, Rui Shen, Jinhong Liu, Huowang Chen

Proceedings of the Web Information Systems, 2004

Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models.

Yan Jiong, Ji Wang, Huowang Chen

Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004

Lexical-chain and It's Application in Text Filtering.

Shaozi Li, Wenjian You, Tangqiu Li, Huowang Chen

Proceedings of the International Conference on Information Technology: Coding and Computing (ITCC'04), 2004

UML Based Statistical Testing Acceleration of Distributed Safety-Critical Software.

Jiong Yan, Ji Wang, Huowang Chen

Proceedings of the Parallel and Distributed Processing and Applications, 2004

An Improved Method for Text Filtering Using Lexical Chains.

Shaozi Li, Wenjian You, Changle Zhou, Huowang Chen

Proceedings of the International Conference on Information and Knowledge Engineering. IKE'04, 2004

Fast Mining Maximal Frequent ItemSets Based on FP-Tree.

Yuejin Yan, Zhoujun Li, Huowang Chen

Proceedings of the Conceptual Modeling, 2004

Research on Content-Based Text Retrieval and Collaborative Filtering in Hybrid Peer-to-Peer Networks.

Shaozi Li, Changle Zhou, Huowang Chen

Proceedings of the Computer Supported Cooperative Work in Design I, 2004

Mining Maximal Frequent ItemSets Using Combined FP-Tree.

Yuejin Yan, Zhoujun Li, Tao Wang, Yuexin Chen, Huowang Chen

Proceedings of the AI 2004: Advances in Artificial Intelligence, 2004

Cache Behavior Analysis of a Compiler-Assisted Cache Replacement Policy.

Xingyan Tian, Kejia Zhao, Huowang Chen, Hongyan Du

Proceedings of the Advances in Computer Systems Architecture, 9th Asia-Pacific Conference, 2004

2003

Test Plan Design for Software Configuration Testing.

Baowen Xu, Changhai Nie, Liang Shi, William C. Chu, Hongji Yang, Huowang Chen

Proceedings of the International Conference on Software Engineering Research and Practice, 2003

Deriving Software Statistical Testing Model from UML Model.

Yan Jiong, Ji Wang, Huowang Chen

Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

Cross-Lingual Text Filtering Based on Text Concepts and kNN.

Shaozi Li, Weifeng Su, Tangqiu Li, Huowang Chen

Proceedings of the 17th Pacific Asia Conference on Language, Information and Computation, 2003

A Browser Compatibility Testing Method Based on Combinatorial Testing.

Lei Xu, Baowen Xu, Changhai Nie, Huowang Chen, Hongji Yang

Proceedings of the Web Engineering, International Conference, 2003

Mining Association Rules with Linguistic Terms.

Jianjiang Lu, Baowen Xu, Dazhou Kang, Huowang Chen, Hongji Yang

Proceedings of the 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2003), 2003

Website Evolution Based on Statistic Data.

Lei Xu, Baowen Xu, Zhenqiang Chen, Huowang Chen

Proceedings of the 9th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2003), 2003

Parallel Algorithm for Mining Fuzzy Association Rules.

Baowen Xu, Jianjiang Lu, Yingzhou Zhang, Lei Xu, Huowang Chen, Hongji Yang

Proceedings of the 2nd International Conference on Cyberworlds (CW 2003), 2003

Regression Testing for Web Applications Based on Slicing.

Lei Xu, Baowen Xu, Zhenqiang Chen, Jixiang Jiang, Huowang Chen

Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

2002

An Interlingua-Based Chinese-English MT System.

Xuan Qi, Huiping Zhou, Huowang Chen

J. Comput. Sci. Technol., 2002

Mathematical Representation of a Chinese Character and its Applications.

Xingming Sun, Huowang Chen, Lihua Yang, Yuan Yan Tang

Int. J. Pattern Recognit. Artif. Intell., 2002

2001

Integer lapped biorthogonal transform.

Guangjun Zhong, Lizhi Cheng, Huowang Chen

Proceedings of the 2001 International Conference on Image Processing, 2001

A simple 9/7-tap wavelet filter based on lifting scheme.

Guangjun Zhong, Lizhi Cheng, Huowang Chen

Proceedings of the 2001 International Conference on Image Processing, 2001

2000

Two alternative notions of 'possibility' satisfying Halpern's conditions.

Kaile Su, Huowang Chen, Decheng Ding

J. Log. Comput., 2000

1999

Universal abstract consistency class and universal refutation.

Bingshan Wang, Zhoujun Li, Huowang Chen

J. Comput. Sci. Technol., 1999

Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes.

Zhoujun Li, Huowang Chen

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

1998

The least fixpoint transformation for disjunctive logic programs.

Kewen Wang, Huowang Chen, Quanyuan Wu

J. Comput. Sci. Technol., 1998

Verifying automata specification of distributed probabilistic real-time systems.

Tiegeng Luo, Huowang Chen, Bingshan Wang, Ji Wang, Zhenghu Gong, Zhichang Qi

J. Comput. Sci. Technol., 1998

Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus.

Zhoujun Li, Huowang Chen

Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

1997

Abduction, Argumentation and Bi-Disjunctive Logic Programs.

Kewen Wang, Huowang Chen

Proceedings of the Logic Programming and Knowledge Representation, 1997

A Three-Valued Quantificational Logic of Context.

Kaile Su, Decheng Ding, Huowang Chen

Proceedings of the Computing and Combinatorics, Third Annual International Conference, 1997

1996

A New Evolutionary Model Based on Family Eugenics: the First Results.

Shaoyan Wu, Qingfu Zhang, Huowang Chen

Proceedings of 1996 IEEE International Conference on Evolutionary Computation, 1996

1995

A constructor-based EI-model semantics of EI-CTRS.

Huaimin Wang, Huowang Chen

J. Comput. Sci. Technol., 1995

1994

On the relationship between TMS and logic programs.

Xianchang Wang, Huowang Chen, Qinping Zhao

J. Comput. Sci. Technol., 1994

1993

W - A Logic System Based on the Shared Common Knowledge Views.

Xianchang Wang, Huowang Chen, Quingping Zhao, Wei Li

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

A formal technique to analyze real-time systems.

Ji Wang, Huowang Chen

Proceedings of the Seventeenth Annual International Computer Software and Applications Conference, 1993

1992

Temporal Reasoning About Real Time Reactive Systems.

Ji Wang, Huowang Chen

Proceedings of the Automated Reasoning, 1992

1991

On Semantics of TMS.

Xianchang Wang, Huowang Chen

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991