Huowang Chen - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 81 from 81

2009

Symbolic model checking APSLWanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma, Zhaofei Wang. fcsc, 3(1):130-141, 2009. [doi]

2008

Semantic Role Labeling of Chinese Using Transductive SVM and Semantic HeuristicsYaodong Chen, Ting Wang, Huowang Chen, Xishan Xu. ijcnlp 2008: 919-924 [doi]

A Novel Derivation Framework For Definite Logic ProgramMengjun Li, Zhoujun Li, Huowang Chen, Ti Zhou. ENTCS, 212:71-85, 2008. [doi]

Symbolic Model Checking APSLWanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma. tase 2008: 39-46 [doi]

Story Link Detection based on Dynamic Information ExtendingXiaoyan Zhang, Ting Wang, Huowang Chen. ijcnlp 2008: 40-47 [doi]

Story Link Detection Based on Event Model with Uneven SVMXiaoyan Zhang, Ting Wang, Huowang Chen. flairs 2008: 436-441 [doi]

Constraint Abstraction in Verification of Security ProtocolsTi Zhou, Zhoujun Li, Mengjun Li, Huowang Chen. faw 2008: 252-263 [doi]

Modeling and Verifying Time Sensitive Security Protocols with ConstraintsTi Zhou, Mengjun Li, Zhoujun Li, Huowang Chen. ENTCS, 212:103-118, 2008. [doi]

2007

The multi-criteria minimum spanning tree problem based genetic algorithmGuolong Chen, Shuili Chen, Wenzhong Guo, Huowang Chen. isci, 177(22):5050-5063, 2007. [doi]

QoS-aware Service Composition Based on Tree-Coded Genetic AlgorithmChunming Gao, Meiling Cai, Huowang Chen. compsac 2007: 361-367 [doi]

QoS-Driven Global Optimization of Services Selection Supporting Services Flow Re-planningChunming Gao, Meiling Cai, Huowang Chen. apweb 2007: 516-521 [doi]

A Method of Web Services Composition Based on Service AllianceChunming Gao, Liping Wan, Huowang Chen. apweb 2007: 491-496 [doi]

A Feedback Control Framework of Service Composition Execution for Response Time GuaranteeChunming Gao, Weian Chen, Huowang Chen. icws 2007: 1158-1159 [doi]

Frameworks of Composite Services Execution Engine with Feedback ControlChunming Gao, Huang Tan, Huowang Chen. compsac 2007: 503-508 [doi]

Execution Mechanism of Service Proxy in Web Services Composition Execution EngineChunming Gao, Xiaojuan Yuan, Huowang Chen. compsac 2007: 647-648 [doi]

Model Checking for BPEL4WS with TimeChunming Gao, Jin Li, Zhoujun Li, Huowang Chen. apweb 2007: 528-533 [doi]

Services Composition Modeling with Mobility and TimeChunming Gao, Yong Li, Huowang Chen. IEEEscc 2007: 316-323 [doi]

Distributed System Modeling Based on Discrete Time Mobile AmbientChunming Gao, Yong Li, Huowang Chen. pdpta 2007: 57-63

An Abstraction and Refinement Framework for Verifying Security Protocols Based on Logic ProgrammingMengjun Li, Ti Zhou, Zhoujun Li, Huowang Chen. asian 2007: 166-180 [doi]

A Description Logic Framework for Semantic Web Service CompositionZhoujun Li, Jiesheng Wang, Huowang Chen. skg 2007: 390-393 [doi]

Constraints Solution for Time Sensitive Security ProtocolsZhoujun Li, Ti Zhou, Mengjun Li, Huowang Chen. faw 2007: 191-203 [doi]

A New Fuzzy Decision Tree Classification Method for Mining High-Speed Data Streams Based on Binary Search TreesZhoujun Li, Tao Wang, Ruoxue Wang, Yuejin Yan, Huowang Chen. faw 2007: 216-227 [doi]

Axiomatizing Extended Temporal Logic Fragments Via InstantiationWanwei Liu, Ji Wang, Wei Dong, Huowang Chen. ictac 2007: 322-336 [doi]

Feature Extraction and Classification of Tumor Based on Wavelet Package and Support Vector MachinesShulin Wang, Ji Wang, Huowang Chen, Shutao Li. pakdd 2007: 871-878 [doi]

Feature Extraction from Tumor Gene Expression Profiles Using DCT and DFTShulin Wang, Huowang Chen, Shutao Li, Dingxing Zhang. epia 2007: 485-496 [doi]

Gene Selection Using Neighborhood Rough Set from Gene Expression ProfilesShulin Wang, Huowang Chen, Shutao Li. ifip8-3 2007: 959-963 [doi]

A Survey of Fuzzy Decision Tree Classifier MethodologyTao Wang, Zhoujun Li, Yuejin Yan, Huowang Chen. icfie 2007: 959-968 [doi]

An Incremental Fuzzy Decision Tree Classification Method for Mining Data StreamsTao Wang, Zhoujun Li, Yuejin Yan, Huowang Chen. mldm 2007: 91-103 [doi]

A New Decision Tree Classification Method for Mining High-Speed Data Streams Based on Threaded Binary Search TreesTao Wang, Zhoujun Li, Xiaohua Hu, Yuejin Yan, Huowang Chen. pakdd 2007: 256-267 [doi]

A New Method of Cluster-Based Topic Language Model for Genomic IRJian Wen, Zhoujun Li, Lijuan Zhang, Xiaohua Hu, Huowang Chen. aina 2007: 301-306 [doi]

A Detection and Offense Mechanism to Defend Against Application Layer DDoS AttacksJie Yu, Zhoujun Li, Huowang Chen, Xiaoming Chen. icns 2007: 54 [doi]

An Effective Gene Selection Method Based on Relevance Analysis and Discernibility MatrixLijuan Zhang, Zhoujun Li, Huowang Chen. pakdd 2007: 1088-1095 [doi]

2006

A New Component-Oriented Programming Language with the First-Class ConnectorBo Chen, Zhoujun Li, Huowang Chen. jmlc 2006: 271-286 [doi]

Supporting Connector in Programming LanguageBo Chen, Zhoujun Li, Huowang Chen. seke 2006: 369-374

A Model Checking Tool Embedded into Services Composition EnvironmentChunming Gao, Rongsheng Liu, Yan Song, Huowang Chen. gcc 2006: 355-362 [doi]

A New Migration Algorithm of Mobile Agent Based on Ant Colony Algorithm in P2P NetworkShaozi Li, Yang Cao, Huowang Chen. cdve 2006: 107-114 [doi]

The Classification of Tumor Using Gene Expression Profile Based on Support Vector Machines and Factor AnalysisShulin Wang, Ji Wang, Huowang Chen, Wensheng Tang. isda 2006: 471-476 [doi]

SVM-Based Tumor Classification with Gene Expression DataShulin Wang, Ji Wang, Huowang Chen, Boyun Zhang. adma 2006: 864-870 [doi]

Molecular Diagnosis of Tumor Based on Independent Component Analysis and Support Vector MachinesShulin Wang, Huowang Chen, Ji Wang, Dingxing Zhang, Shutao Li. cis 2007: 46-56 [doi]

Representing Wholes by StructureYang Yu, Ji Wang, Ting Wang, Huowang Chen. iccS 2006: 441-454 [doi]

Minimum Redundancy Gene Selection Based on Grey Relational AnalysisLijuan Zhang, Zhoujun Li, Huowang Chen, Jian Wen. icdm 2006: 120-124 [doi]

2005

2004

Automatic Generation of Markov Chain Usage Models from Real-Time Software UML ModelsYan Jiong, Ji Wang, Huowang Chen. qsic 2004: 22-31 [doi]

Research on Content-Based Text Retrieval and Collaborative Filtering in Hybrid Peer-to-Peer NetworksShaozi Li, Changle Zhou, Huowang Chen. cscwd 2005: 417-426 [doi]

An Improved Method for Text Filtering Using Lexical ChainsShaozi Li, Wenjian You, Changle Zhou, Huowang Chen. ike 2004: 305-314

Lexical-chain and It s Application in Text FilteringShaozi Li, Wenjian You, Tangqiu Li, Huowang Chen. itcc 2004: 288-292 [doi]

Cache Behavior Analysis of a Compiler-Assisted Cache Replacement PolicyXingyan Tian, Kejia Zhao, Huowang Chen, Hongyan Du. APCSAC 2004: 30-43 [doi]

MetaData Pro: Ontology-Based Metadata Processing for Web ResourcesTing Wang, Ji Wang, Yang Yu, Rui Shen, Jinhong Liu, Huowang Chen. wise 2004: 34-45 [doi]

Fast Mining Maximal Frequent ItemSets Based on FP-TreeYuejin Yan, Zhoujun Li, Huowang Chen. er 2004: 348-361 [doi]

UML Based Statistical Testing Acceleration of Distributed Safety-Critical SoftwareJiong Yan, Ji Wang, Huowang Chen. ispa 2004: 433-445 [doi]

Mining Maximal Frequent ItemSets Using Combined FP-TreeYuejin Yan, Zhoujun Li, Tao Wang, Yuexin Chen, Huowang Chen. ausai 2004: 475-487 [doi]

Categorizing Web Information on Subject with Statistical Language ModelingXindong Zhou, Ting Wang, Huiping Zhou, Huowang Chen. wise 2004: 403-408 [doi]

2003

Deriving Software Statistical Testing Model from UML ModelYan Jiong, Ji Wang, Huowang Chen. qsic 2003: 343-350 [doi]

Cross-Lingual Text Filtering Based on Text Concepts and kNNShaozi Li, Weifeng Su, Tangqiu Li, Huowang Chen. paclic 2003: 166-173 [doi]

Mining Association Rules with Linguistic TermsJianjiang Lu, Baowen Xu, Dazhou Kang, Huowang Chen, Hongji Yang. ictai 2003: 129-133 [doi]

Test Plan Design for Software Configuration TestingBaowen Xu, Changhai Nie, Liang Shi, William C. Chu, Hongji Yang, Huowang Chen. serp 2003: 686-692

Regression Testing for Web Applications Based on SlicingLei Xu, Baowen Xu, Zhenqiang Chen, Jixiang Jiang, Huowang Chen. compsac 2003: 652-656 [doi]

Website Evolution Based on Statistic DataLei Xu, Baowen Xu, Zhenqiang Chen, Huowang Chen. ftdcs 2003: 301-307 [doi]

A Browser Compatibility Testing Method Based on Combinatorial TestingLei Xu, Baowen Xu, Changhai Nie, Huowang Chen, Hongji Yang. ICWE 2003: 310-313 [doi]

Parallel Algorithm for Mining Fuzzy Association RulesBaowen Xu, Jianjiang Lu, Yingzhou Zhang, Lei Xu, Huowang Chen, Hongji Yang. cw 2003: 288-293 [doi]

2002

An Interlingua-Based Chinese-English MT SystemXuan Qi, Huiping Zhou, Huowang Chen. jcst, 17(4):464-472, 2002. [doi]

Mathematical Representation of a Chinese Character and its ApplicationsXingming Sun, Huowang Chen, Lihua Yang, Yuan Yan Tang. ijprai, 16(6):735-748, 2002. [doi]

2001

A simple 9/7-tap wavelet filter based on lifting schemeGuangjun Zhong, Lizhi Cheng, Huowang Chen. icip 2001: 249-252 [doi]

Integer lapped biorthogonal transformGuangjun Zhong, Lizhi Cheng, Huowang Chen. icip 2001: 471-474 [doi]

2000

Two alternative notions of possibility satisfying Halpern s conditionsKaile Su, Huowang Chen, Decheng Ding. logcom, 10(2):253-269, 2000.

1999

Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing ProcessesZhoujun Li, Huowang Chen. TACAS 1999: 300-314 [doi]

Universal abstract consistency class and universal refutationBingshan Wang, Zhoujun Li, Huowang Chen. jcst, 14(2):165-172, 1999. [doi]

1998

1997

A Three-Valued Quantificational Logic of ContextKaile Su, Decheng Ding, Huowang Chen. cocoon 1997: 343-352

Abduction, Argumentation and Bi-Disjunctive Logic ProgramsKewen Wang, Huowang Chen. lpkr 1998: 139-163 [doi]

1996

A New Evolutionary Model Based on Family Eugenics: the First ResultsShaoyan Wu, Qingfu Zhang, Huowang Chen. icec 1996: 350-355

1995

A constructor-based EI-model semantics of EI-CTRSHuaimin Wang, Huowang Chen. jcst, 10(1):85-96, 1995. [doi]

1994

On the relationship between TMS and logic programsXianchang Wang, Huowang Chen, Qinping Zhao. jcst, 9(3):245-251, 1994. [doi]

1993

W - A Logic System Based on the Shared Common Knowledge ViewsXianchang Wang, Huowang Chen, Quingping Zhao, Wei Li. IJCAI 1993: 410-415

1992

Temporal Reasoning About Real Time Reactive SystemsJi Wang, Huowang Chen. iwar 1992: 249-256

1991

On Semantics of TMSXianchang Wang, Huowang Chen. IJCAI 1991: 306-309

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Huowang Chen'

Viewing Publication 1 - 81 from 81

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

1997

1996

1995

1994

1993

1992

1991

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Huowang Chen'

Viewing Publication 1 - 81 from 81

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

1997

1996

1995

1994

1993

1992

1991

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1