Huowang Chen

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2009
Symbolic model checking APSL.
Frontiers Comput. Sci. China, 2009

2008
Modeling and Verifying Time Sensitive Security Protocols with Constraints.
Electr. Notes Theor. Comput. Sci., 2008

A Novel Derivation Framework For Definite Logic Program.
Electr. Notes Theor. Comput. Sci., 2008

Symbolic Model Checking APSL.
Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Story Link Detection based on Dynamic Information Extending.
Proceedings of the Third International Joint Conference on Natural Language Processing, 2008

Semantic Role Labeling of Chinese Using Transductive SVM and Semantic Heuristics.
Proceedings of the Third International Joint Conference on Natural Language Processing, 2008

Constraint Abstraction in Verification of Security Protocols.
Proceedings of the Frontiers in Algorithmics, Second Annual International Workshop, 2008

Story Link Detection Based on Event Model with Uneven SVM.
Proceedings of the Information Retrieval Technology, 2008

2007
The multi-criteria minimum spanning tree problem based genetic algorithm.
Inf. Sci., 2007

A Description Logic Framework for Semantic Web Service Composition.
Proceedings of the Third International Conference on Semantics, 2007

Distributed System Modeling Based on Discrete Time Mobile Ambient.
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.
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.
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.
Proceedings of the Emerging Technologies in Knowledge Discovery and Data Mining, 2007

An Incremental Fuzzy Decision Tree Classification Method for Mining Data Streams.
Proceedings of the Machine Learning and Data Mining in Pattern Recognition, 2007

A Feedback Control Framework of Service Composition Execution for Response Time Guarantee.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Axiomatizing Extended Temporal Logic Fragments Via Instantiation.
Proceedings of the Theoretical Aspects of Computing, 2007

A Detection and Offense Mechanism to Defend Against Application Layer DDoS Attacks.
Proceedings of the Third International Conference on Networking and Services (ICNS 2007), 2007

A Survey of Fuzzy Decision Tree Classifier Methodology.
Proceedings of the Fuzzy Information and Engineering, 2007

Constraints Solution for Time Sensitive Security Protocols.
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.
Proceedings of the Frontiers in Algorithmics, First Annual International Workshop, 2007

Feature Extraction from Tumor Gene Expression Profiles Using DCT and DFT.
Proceedings of the Progress in Artificial Intelligence, 2007

Execution Mechanism of Service Proxy in Web Services Composition Execution Engine.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

Frameworks of Composite Services Execution Engine with Feedback Control.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

QoS-aware Service Composition Based on Tree-Coded Genetic Algorithm.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

Gene Selection Using Neighborhood Rough Set from Gene Expression Profiles.
Proceedings of the Computational Intelligence and Security, International Conference, 2007

An Abstraction and Refinement Framework for Verifying Security Protocols Based on Logic Programming.
Proceedings of the Advances in Computer Science, 2007

A Method of Web Services Composition Based on Service Alliance.
Proceedings of the Advances in Web and Network Technologies, and Information Management, 2007

Model Checking for BPEL4WS with Time.
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.
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.
Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

Services Composition Modeling with Mobility and Time.
Proceedings of the 2007 IEEE International Conference on Services Computing, 2007

2006
Supporting Connector in Programming Language.
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.
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.
Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications (ISDA 2006), 2006

Minimum Redundancy Gene Selection Based on Grey Relational Analysis.
Proceedings of the Workshops Proceedings of the 6th IEEE International Conference on Data Mining (ICDM 2006), 2006

Representing Wholes by Structure.
Proceedings of the Conceptual Structures: Inspiration and Application, 2006

A Model Checking Tool Embedded into Services Composition Environment.
Proceedings of the Grid and Cooperative Computing, 2006

Molecular Diagnosis of Tumor Based on Independent Component Analysis and Support Vector Machines.
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.
Proceedings of the Cooperative Design, 2006

SVM-Based Tumor Classification with Gene Expression Data.
Proceedings of the Advanced Data Mining and Applications, Second International Conference, 2006

2005
Web document retrieval based on multi-agent.
Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, 2005

Using Directed Graph Based BDMM Algorithm for Chinese Word Segmentation.
Proceedings of the Computational Linguistics and Intelligent Text Processing, 2005

Research on Mobile Agent Based Information Content-Sharing in Peer to Peer System.
Proceedings of the Cooperative Design, 2005

Chinese Named Entity Recognition with a Hybrid-Statistical Model.
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.
Proceedings of the Web Information Systems, 2004

MetaData Pro: Ontology-Based Metadata Processing for Web Resources.
Proceedings of the Web Information Systems, 2004

Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models.
Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004

Lexical-chain and It's Application in Text Filtering.
Proceedings of the International Conference on Information Technology: Coding and Computing (ITCC'04), 2004

UML Based Statistical Testing Acceleration of Distributed Safety-Critical Software.
Proceedings of the Parallel and Distributed Processing and Applications, 2004

An Improved Method for Text Filtering Using Lexical Chains.
Proceedings of the International Conference on Information and Knowledge Engineering. IKE'04, 2004

Fast Mining Maximal Frequent ItemSets Based on FP-Tree.
Proceedings of the Conceptual Modeling, 2004

Research on Content-Based Text Retrieval and Collaborative Filtering in Hybrid Peer-to-Peer Networks.
Proceedings of the Computer Supported Cooperative Work in Design I, 2004

Mining Maximal Frequent ItemSets Using Combined FP-Tree.
Proceedings of the AI 2004: Advances in Artificial Intelligence, 2004

Cache Behavior Analysis of a Compiler-Assisted Cache Replacement Policy.
Proceedings of the Advances in Computer Systems Architecture, 9th Asia-Pacific Conference, 2004

2003
Test Plan Design for Software Configuration Testing.
Proceedings of the International Conference on Software Engineering Research and Practice, 2003

Deriving Software Statistical Testing Model from UML Model.
Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

Cross-Lingual Text Filtering Based on Text Concepts and kNN.
Proceedings of the 17th Pacific Asia Conference on Language, Information and Computation, 2003

A Browser Compatibility Testing Method Based on Combinatorial Testing.
Proceedings of the Web Engineering, International Conference, 2003

Mining Association Rules with Linguistic Terms.
Proceedings of the 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2003), 2003

Website Evolution Based on Statistic Data.
Proceedings of the 9th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2003), 2003

Parallel Algorithm for Mining Fuzzy Association Rules.
Proceedings of the 2nd International Conference on Cyberworlds (CW 2003), 2003

Regression Testing for Web Applications Based on Slicing.
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.
J. Comput. Sci. Technol., 2002

Mathematical Representation of a Chinese Character and its Applications.
IJPRAI, 2002

2001
Integer lapped biorthogonal transform.
Proceedings of the 2001 International Conference on Image Processing, 2001

A simple 9/7-tap wavelet filter based on lifting scheme.
Proceedings of the 2001 International Conference on Image Processing, 2001

2000
Two alternative notions of 'possibility' satisfying Halpern's conditions.
J. Log. Comput., 2000

1999
Universal abstract consistency class and universal refutation.
J. Comput. Sci. Technol., 1999

Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

1998
The least fixpoint transformation for disjunctive logic programs.
J. Comput. Sci. Technol., 1998

Verifying automata specification of distributed probabilistic real-time systems.
J. Comput. Sci. Technol., 1998

Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus.
Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

1997
Abduction, Argumentation and Bi-Disjunctive Logic Programs.
Proceedings of the Logic Programming and Knowledge Representation, 1997

A Three-Valued Quantificational Logic of Context.
Proceedings of the Computing and Combinatorics, Third Annual International Conference, 1997

1996
A New Evolutionary Model Based on Family Eugenics: the First Results.
Proceedings of 1996 IEEE International Conference on Evolutionary Computation, 1996

1995
A constructor-based EI-model semantics of EI-CTRS.
J. Comput. Sci. Technol., 1995

1994
On the relationship between TMS and logic programs.
J. Comput. Sci. Technol., 1994

1993
W - A Logic System Based on the Shared Common Knowledge Views.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

A formal technique to analyze real-time systems.
Proceedings of the Seventeenth Annual International Computer Software and Applications Conference, 1993

1992
Temporal Reasoning About Real Time Reactive Systems.
Proceedings of the Automated Reasoning, 1992

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


  Loading...