Ekawit Nantajeewarawat

Proceedings of the 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2016) - Volume 2: KEOD, Porto - Portugal, November 9, 2016

2015

False Alarm Reduction in BSN-Based Cardiac Monitoring Using Signal Quality and Activity Type Information.

[BibT_eX]

[DOI]

Tanatorn Tanantong

Sensors, 2015

A Knowledge-Based Approach for Generating UML Sequence Diagrams from Operation Contracts.

[BibT_eX]

[DOI]

Nasith Laosen

Proceedings of the Recent Advances and Future Prospects in Knowledge, Information and Creativity Support Systems, 2015

Model-Intersection Problems and Their Solution Schema Based on Equivalent Transformation.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2015

Function-variable Elimination and Its Limitations.

[BibT_eX]

[DOI]

Proceedings of the KEOD 2015, 2015

A General Schema for Solving Model-Intersection Problems on a Specialization System by Equivalent Transformation.

[BibT_eX]

[DOI]

Proceedings of the KEOD 2015, 2015

2014

Automatic Fall Monitoring: A Review.

[BibT_eX]

[DOI]

Natthapon Pannurat

Sensors, 2014

Region-based association measures for ranking mined news relations.

[BibT_eX]

[DOI]

Intell. Data Anal., 2014

Ontology Construction and Schema Merging Using an Application-Independent Ontology for Humanitarian Aid in Disaster Management.

[BibT_eX]

[DOI]

Pasinee Apisakmontri

Marut Buranarach

Mitsuru Ikeda

Proceedings of the Semantic Technology - 4th Joint International Conference, 2014

Solving Query-answering Problems with If-and-Only-If Formulas.

[BibT_eX]

[DOI]

Proceedings of the KEOD 2014, 2014

Equivalent Transformation in an Extended Space for Solving Query-Answering Problems.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information and Database Systems - 6th Asian Conference, 2014

2013

An ET-Based Low-Level Solution for Query-Answering Problems.

[BibT_eX]

[DOI]

Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2013

Integration of and a Solution for Proof Problems and Query-Answering Problems.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2013

Embedding Proof Problems into Query-answering Problems and Problem Solving by Equivalent Transformation.

[BibT_eX]

[DOI]

Proceedings of the KEOD 2013, 2013

Correctness of Solving Query-Answering Problems Using Satisfiability Solvers.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information and Database Systems - 5th Asian Conference, 2013

2012

Region-Based Ranking in Association Analysis for News Relation Discovery.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Knowledge, 2012

Toward real-time accurate fall/fall recovery detection system by incorporating activity information.

[BibT_eX]

[DOI]

Natthapon Pannurat

Pitchakan Theekakul

Proceedings of 2012 IEEE-EMBS International Conference on Biomedical and Health Informatics, 2012

A Delayed Splitting Bottom-Up Procedure for Model Generation.

[BibT_eX]

[DOI]

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

2011

News Relation Discovery Based on Association Rule Mining with Combining Factors.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2011

Extracting Chemical Reactions from Thai Text for Semantics-Based Information Retrieval.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2011

Extracting Semantic Frames from Thai Medical-Symptom Unstructured Text with Unknown Target-Phrase Boundaries.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2011

Deterministic-Rule Programs on Specialization Systems: Clause-Model Semantics.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Computer Systems, 2011

Meaning-preserving Skolemization.

[BibT_eX]

Proceedings of the KEOD 2011, 2011

Towards Continuous Electrocardiogram Monitoring Based on Rules and Ontologies.

[BibT_eX]

[DOI]

Tanatorn Tanantong

Proceedings of the 11th IEEE International Conference on Bioinformatics and Bioengineering, 2011

2010

Exploration of Document Relation Quality with Consideration of Term Representation Basis, Term Weighting and Association Measure.

[BibT_eX]

[DOI]

Proceedings of the Intelligence and Security Informatics, Pacific Asia Workshop, 2010

A Rule-Based Approach to Activity Recognition.

[BibT_eX]

[DOI]

Pitchakan Theekakul

Thepchai Supnithi

Kaoru Hirota

Proceedings of the Knowledge, Information, and Creativity Support Systems, 2010

The Vector Space Models for Finding Co-occurrence Names as Aliases in Thai Sports News.

[BibT_eX]

[DOI]

Thawatchai Suwanapong

Proceedings of the Intelligent Information and Database Systems, 2010

2009

Information Extraction from Thai Text with Unknown Phrase Boundaries.

[BibT_eX]

[DOI]

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

2008

Extension of logical structures by safe extension of specialisation systems.

[BibT_eX]

[DOI]

Int. J. Autom. Control., 2008

Towards Intelligent and Adaptive Digital Library Services.

[BibT_eX]

[DOI]

Md Maruf Hasan

Proceedings of the Digital Libraries: Universal and Ubiquitous Access to Information, 2008

Extracting Semantic Frames from Thai Medical-Symptom Phrases with Unknown Boundaries.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web, 3rd Asian Semantic Web Conference, 2008

2007

Expanding Transformation: A Basis for Correctness Verification of Rewriting Rules.

[BibT_eX]

[DOI]

J. Adv. Comput. Intell. Intell. Informatics, 2007

State-Transition Computation Models and Program Correctness Thereon.

[BibT_eX]

[DOI]

J. Adv. Comput. Intell. Intell. Informatics, 2007

OWL/XDD Application Profiles.

[BibT_eX]

[DOI]

Photchanan Ratanajaipan

IEICE Trans. Inf. Syst., 2007

2006

Formalization of the Equivalent Transformation Computation Model.

[BibT_eX]

[DOI]

J. Adv. Comput. Intell. Intell. Informatics, 2006

Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of Systems Informatics, 2006

Representing and Reasoning with Application Profiles Based on OWL and OWL/XDD.

[BibT_eX]

[DOI]

Photchanan Ratanajaipan

Proceedings of the Semantic Web, 2006

2004

Toward reasoning with unified modeling language diagrams based on extensible markup language declarative description theory.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 2004

On the semantics of unified modeling language diagrams using Z notation.

[BibT_eX]

[DOI]

Ratanachai Sombatsrisomboon

Int. J. Intell. Syst., 2004

2003

A Data Model for XML Databases.

[BibT_eX]

[DOI]

J. Intell. Inf. Syst., 2003

2002

Declarative Programs with Implicit Implications.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2002

Query Formulation and Evaluation of XML Databases.

[BibT_eX]

Proceedings of the Internet Technologies, 2002

Program Synthesis Based on the Equivalent Transformation Computation Model.

[BibT_eX]

[DOI]

Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

2001

A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Rule-Based Programming, 2001

RDF Declarative Description (RDD): A Language for Metadata.

[BibT_eX]

[DOI]

J. Digit. Inf., 2001

XML Declarative Description: A Language for the Semantic Web.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2001

Defeasible Inheritance Through Specialization.

[BibT_eX]

[DOI]

Comput. Intell., 2001

2000

Towards a Foundation for XML Document Databases.

[BibT_eX]

[DOI]

Proceedings of the Electronic Commerce and Web Technologies, 2000

1999

An Argumentation Approach to Semantics of Declarative Programs with Defeasible Inheritance.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computing Science, 1999

1997

Nonmonotonic Inheritance Through Specialisation.

[BibT_eX]

[DOI]

Proceedings of the Deductive and Object-Oriented Databases, 5th International Conference, 1997

1996

Declarative Program Theory with Implicit Information.

[BibT_eX]

[DOI]