Du Zhang

Proceedings of the PRICAI 2010: Trends in Artificial Intelligence, 2010

Inconsistencies in information security and digital forensics.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2010

A case-based data warehousing courseware.

[BibT_eX]

[DOI]

Manashree Kulkarni

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2010

Toward a Classification of Antagonistic Manifestations of Knowledge.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010

Harnessing locality for knowledge inconsistency management.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Conference on Cognitive Informatics, 2010

Perspectives on cognitive informatics and its future development: Summary of plenary panel II of IEEE ICCI'10.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Conference on Cognitive Informatics, 2010

2009

Contemporary Cybernetics and Its Facets of Cognitive Informatics and Computational Intelligence.

[BibT_eX]

[DOI]

Witold Kinsner

IEEE Trans. Syst. Man Cybern. Part B, 2009

Special Issue on Cybernetics and Cognitive Informatics.

[BibT_eX]

[DOI]

Witold Kinsner

IEEE Trans. Syst. Man Cybern. Part B, 2009

On Temporal Properties of Knowledge Base Inconsistency.

[BibT_eX]

[DOI]

Trans. Comput. Sci., 2009

Machine Learning and Value-Based Software Engineering.

[BibT_eX]

[DOI]

Int. J. Softw. Sci. Comput. Intell., 2009

Preface: Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II).

[BibT_eX]

[DOI]

Shusaku Tsumoto

Fundam. Informaticae, 2009

Preface: Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I).

[BibT_eX]

[DOI]

Shusaku Tsumoto

Fundam. Informaticae, 2009

A Doctrine of Cognitive Informatics (CI).

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

A Digital Image Encryption Algorithm Based on Hyper-chaotic Cellular Neural Network.

[BibT_eX]

[DOI]

Jun Peng

Xiaofeng Liao

Fundam. Informaticae, 2009

Taming Inconsistency in Value-based Software Development.

[BibT_eX]

Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009

Inconsistency: The Good, the Bad, and the Ugly.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2009

Perspectives on Cognitive Informatics and Cognitive Computing: Summary of the Panel of IEEE ICCI'09.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Cognitive Informatics, 2009

Design of a novel image block encryption algorithm based on chaotic systems.

[BibT_eX]

[DOI]

Jun Peng

Xiaofeng Liao

Proceedings of the 8th IEEE International Conference on Cognitive Informatics, 2009

2008

Knowledge Verification.

[BibT_eX]

[DOI]

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Quantifying Knowledge Base Inconsistency Via Fixpoint Semantics.

[BibT_eX]

[DOI]

Trans. Comput. Sci., 2008

A Layered Decision Model for cost-effective system security.

[BibT_eX]

[DOI]

Int. J. Inf. Comput. Secur., 2008

Machine Learning and Value-based Software Engineering: a Research Agenda.

[BibT_eX]

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Design of an RSS Crawler with Adaptive Revisit Manager.

[BibT_eX]

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Panel: The role of information search and retrieval in economic stimulation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2008

An intelligent agent for the game of Age of Mythology: the Titans.

[BibT_eX]

[DOI]

Jin Park

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2008

When Is Inconsistency Considered Harmful: Temporal Characterization of Knowledge Base Inconsistency.

[BibT_eX]

[DOI]

Hong Zhu

Proceedings of the Intelligent Data Engineering and Automated Learning, 2008

A Double-Piped iterated hash function based on a hybrid of chaotic maps.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Conference on Cognitive Informatics, 2008

Modeling a secure sensor network system using an Extended Elementary Object System.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Conference on Cognitive Informatics, 2008

2007

Introduction to the special issue on: "Software Quality Improvements and Estimations with Intelligence-based Methods".

[BibT_eX]

[DOI]

Marek Z. Reformat

Softw. Qual. J., 2007

A Fix-Point Semantics for Rule-Base Anomalies.

[BibT_eX]

[DOI]

Int. J. Cogn. Informatics Nat. Intell., 2007

Validating A Layered Decision Framework for Cost-Effective Network Defense.

[BibT_eX]

Huaqiang Wei

Jim Alves-Foss

Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

A Tag-Level Web-Caching Scheme for Reducing Redundant Data Transfers.

[BibT_eX]

Steven E. Cox

Jinsong Ouyang

Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

Rationality Validation of a Layered Decision Model for Network Defense.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2007

2006

Mining California vital statistical data.

[BibT_eX]

[DOI]

Quoc Luan Ha

Int. J. Comput. Appl. Technol., 2006

A Framework for Fusing Consistent Knowledge Bases Automatically.

[BibT_eX]

Éric Grégoire

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

Enhancing search engine performance using expert systems.

[BibT_eX]

[DOI]

Stan Lovic

Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, 2006

Enrollment prediction through data mining.

[BibT_eX]

[DOI]

Svetlana S. Aksenova

Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, 2006

Machine Learning in Value-Based Software Test Data Generation.

[BibT_eX]

[DOI]

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

2005

A comparative study of SOAP and DCOM.

[BibT_eX]

[DOI]

Alexander Davis

J. Syst. Softw., 2005

Guest Editors' Introduction.

[BibT_eX]

[DOI]

Jeffrey J. P. Tsai

Int. J. Softw. Eng. Knowl. Eng., 2005

Animation of Linux Processor Scheduling Algorithm.

[BibT_eX]

[DOI]

Kevin K. Leung

Proceedings of the Seventh IEEE International Symposium on Multimedia (ISM 2005), 2005

Discovery agent deployment in diverse SAN environments.

[BibT_eX]

[DOI]

Terry R. Robison

William Mitchell

Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration, 2005

Fixpoint semantics for rule-base anomalies.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Conference on Cognitive Informatics (ICCI 2005), 2005

2004

Preface.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 2004

GOLD: A Generalized Parsing System.

[BibT_eX]

Devin Cook

Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2004), 2004

Some Empirical Results on Two Spam Detection Methods.

[BibT_eX]

[DOI]

Ryota Matsumoto

Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004

Multi-Level Filters for a Web-based E-Mail System.

[BibT_eX]

[DOI]

Yuanfu Ji

Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004

GP-Lab: The Genetic Programming Laboratory.

[BibT_eX]

[DOI]

William E. Glaholt

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

RPM: A Remote PC Power Management Tool.

[BibT_eX]

Thao Phuong Nguyen

Ateendra Sudarshak Balasingham

Proceedings of the 19th International Conference on Computers and Their Applications, 2004

A Tool for Text Summarization.

[BibT_eX]

Proceedings of the 19th International Conference on Computers and Their Applications, 2004

2003

Machine Learning and Software Engineering.

[BibT_eX]

[DOI]

Jeffrey J. P. Tsai

Softw. Qual. J., 2003

GAPS: A Genetic Programming System.

[BibT_eX]

[DOI]

Michael D. Kramer

Int. J. Artif. Intell. Tools, 2003

Diagnosis of Component Failures in the Space Shuttlemain Engines Using Bayesian Belief Network: A Feasibility Study.

[BibT_eX]

[DOI]

Edwina Liu

Int. J. Artif. Intell. Tools, 2003

A Web-Based Expert System For Vehicle Registration.

[BibT_eX]

[DOI]

Alan T. Demmin

Proceedings of the 2003 IEEE International Conference on Information Reuse and Integration, 2003

2002

A Comparative Study of DCOM and SOAP.

[BibT_eX]

[DOI]

Alexander Davis

Proceedings of the 4th International Symposium on Multimedia Software Engineering, 2002

Protein Secondary Structure Prediction with Bayesian Learning Method.

[BibT_eX]

[DOI]

Peng-Liang Wang

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

Diagnosis of Component Failures in the Space Shuttle Maine Engines Using Bayesian Belief Networks: A Feasibility Study.

[BibT_eX]

[DOI]

Edwina Liu

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

pSlash: A Web Content Management System.

[BibT_eX]

Derek Leung

Proceedings of the ISCA 17th International Conference Computers and Their Applications, 2002

A Web-based Microarray Experiment Management System.

[BibT_eX]

Yan Xiong

Proceedings of the 15th International Conference on Computer Applications in Industry and Engineering, 2002

FTA: A File Transfer Agent Using Java.

[BibT_eX]

Xu Cheng

Proceedings of the 15th International Conference on Computer Applications in Industry and Engineering, 2002

2001

Learning Gaussian Functions for Audio Compression in Synthesized Music.

[BibT_eX]

Jeffery Alan Lewis

Proceedings of the ISCA 3rd International Conference on Information Reuse and Integration, 2001

Mining California Vital Statistics Data.

[BibT_eX]

[DOI]

Quoc Luan Ha

Proceedings of the 2001 IEEE International Conference on Data Mining, 29 November, 2001

2000

A Framework for Natural Language Agents.

[BibT_eX]

John Gregory

Ramakrishna V. Vishnuvajjala

Proceedings of the ISCA 9th International Conference on Intelligent Systems, 2000

1999

Verification and Validation of Knowledge-Based Systems.

[BibT_eX]

[DOI]

Wei-Tek Tsai

IEEE Trans. Knowl. Data Eng., 1999

Approximate declarative semantics for rule base anomalies.

[BibT_eX]

[DOI]

Luqi

Knowl. Based Syst., 1999

Protein Secondary Structure Prediction Using Data Mining Tool C5.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence, 1999

1998

Automated Facts Generation From Raw Data: A Perspective From The ANDES Project.

[BibT_eX]

[DOI]

Proceedings of the 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Basesd Systems, 1998

1996

Software Component Search.

[BibT_eX]

[DOI]

J. Syst. Integr., 1996

Bms: a Knowledge-Based Tool for UNIX Performance Tuning.

[BibT_eX]

[DOI]

Raul Velez

Int. J. Artif. Intell. Tools, 1996

1994

PREPARE: A Toll for Knowledge Base Verification.

[BibT_eX]

[DOI]

Doan Nguyen

IEEE Trans. Knowl. Data Eng., 1994

1993

Perspectives in Knowledge Base Verification.

[BibT_eX]

Proceedings of the SEKE'93, 1993

Evaluating Logical Queries by Means of Communicating Processes.

[BibT_eX]

[DOI]

Weining Zhang

Proceedings of the Fifth International Conference on Tools with Artificial Intelligence, 1993

An Intelligent Tool for UNIX Performance Tuning.

[BibT_eX]

[DOI]

Raul Velez

James Kho

Proceedings of the Fifth International Conference on Tools with Artificial Intelligence, 1993

1991

Planning with Pr/T nets.

[BibT_eX]

[DOI]

Proceedings of the 1991 IEEE International Conference on Robotics and Automation, 1991

1990

Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets.

[BibT_eX]

[DOI]

Tadao Murata

IEEE Trans. Computers, 1990

1989

A technique for knowledge base verification.

[BibT_eX]

[DOI]

Doan Nguyen

Proceedings of the IEEE International Workshop on Tools for Artificial Intelligence: Architectures, 1989

1988

A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs.

[BibT_eX]

[DOI]

Tadao Murata

IEEE Trans. Software Eng., 1988

1987

Stochastic Net Model for Self-Stability Measures of Fault Tolerant Clock Synchronization.

[BibT_eX]

Tadao Murata

Proceedings of the Second International Workshop on Petri Nets and Performance Models, 1987

1986

Process Name Resolution in Fault-Tolerant CSP Programs.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1986

1983

ZCZOS: A Distributed Operating System for a LSI-11 Microcomputer Network.

[BibT_eX]

[DOI]

Zhongxiu Sun