# Jieh Hsiang

According to our database

^{1}, Jieh Hsiang## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2015

Exploring alternative metrics of scholarly performance in the social sciences and humanities in Taiwan.

Scientometrics, 2015

2014

Transliteration Extraction from Classical Chinese Buddhist Literature Using Conditional Random Fields with Language Models.

IJCLCLP, 2014

2013

Transliteration Pair Extraction from Classical Chinese Buddhist Literature Using Phonetic Similarity Measurement.

New Generation Comput., 2013

Discovering land transaction relations from land deeds of Taiwan.

LLC, 2013

On Mapping the Ontologies of Leishu - A Preliminary Investigation.

Proceedings of the 2013 International Conference on Culture and Computing, 2013

2012

Discovering relationships from imperial court documents of Qing China.

IJHAC, 2012

A Regularized Compression Method to Unsupervised Word Segmentation.

Proceedings of the Twelfth Meeting of the Special Interest Group on Computational Morphology and Phonology, 2012

Information preservation in static index pruning.

Proceedings of the 21st ACM International Conference on Information and Knowledge Management, 2012

2011

Breathing New Life into Static Materials.

Proceedings of the 44th Hawaii International International Conference on Systems Science (HICSS-44 2011), 2011

2010

Effectiveness of Social Networking in a University Library Environment .

Proceedings of the KMIS 2010, 2010

Relevance Model Revisited: With Multiple Document Representations.

Proceedings of the Information Retrieval Technology, 2010

2009

The unique approach to institutional repository: Practice of National Taiwan University.

The Electronic Library, 2009

2007

On Building a Full-Text Digital Library of Historical Documents.

Proceedings of the Asian Digital Libraries. Looking Back 10 Years and Forging New Frontiers, 2007

2006

Integrating linguistic knowledge into a conditional random fieldframework to identify biomedical named entities.

Expert Syst. Appl., 2006

Various criteria in the evaluation of biomedical named entity recognition.

BMC Bioinformatics, 2006

Boolean Rings for Intersection-Based Satisfiability.

Proceedings of the Logic for Programming, 2006

Implementing an institutional repository for digital archive communities: Experiences from National Taiwan University.

Proceedings of the Metadata for Knowledge and Learning: Proceedings of the 2006 International Conference on Dublin Core and Metadata Applications, 2006

2005

Editorial.

Int. J. on Digital Libraries, 2005

Toward an integrated digital museum system - the Chi Nan experiences.

Int. J. on Digital Libraries, 2005

Configurable Meta-search for Integrating Web Public Access Catalogs.

Proceedings of the Digital Libraries: Implementing Strategies and Sharing Experiences, 2005

2004

On the hardness of counting problems of complete mappings.

Discrete Mathematics, 2004

A Logical Framework of Knowledge Retrieval with Fuzziness.

Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2004), 2004

Boolean Ring Satisfiability.

Proceedings of the SAT 2004, 2004

2003

Multidimensional interactive fine-grained image retrieval.

Proceedings of the 2003 IEEE International Conference on Multimedia and Expo, 2003

2002

The design of metadata for the Digital Museum Initiative in Taiwan.

Online Information Review, 2002

2001

Content management for digital museum exhibitions.

Proceedings of the ACM/IEEE Joint Conference on Digital Libraries, 2001

XSL-based Content Management for Multi-presentation Digital Museum Exhibitions.

Proceedings of the Research and Advanced Technology for Digital Libraries, 2001

2000

An architecture and category knowledge for intelligent information retrieval agents.

Decision Support Systems, 2000

A digital museum of Taiwanese butterflies.

ACM DL, 2000

1999

Agent Technology for Website Browsing and Navigation.

Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

1998

On Semantic Resolution with Lemmaizing and Contraction and a Formal Treatment of Caching.

New Generation Comput., 1998

On the Modelling of Search in Theorem Proving - Towards a Theory of Strategy Analysis.

Inf. Comput., 1998

Personalized Web Retrieval: Three Agents for Retrieving Web Information.

Proceedings of the Multiagent Platforms, 1998

An Architecture and Category Knowledge for Intelligent Information Retrieval Agents.

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

1997

A Generic Virus Detection Agent on the Internet.

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

1996

PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems.

J. Symb. Comput., 1996

A Category-Theoretic Treatment of Automated Theorem Proving.

J. Inf. Sci. Eng., 1996

Automating Algebraic Proofs in Algebraic Logic.

Fundam. Inform., 1996

On Semantic Resolution with Lemmaizing and Contraction.

Proceedings of the PRICAI'96: Topics in Artificial Intelligence, 1996

Some fundamental properties of Boolean ring normal forms.

Proceedings of the Satisfiability Problem: Theory and Applications, 1996

1995

Recurrence Domains: Their Unification and Application to Logic Programming

Inf. Comput., October, 1995

Towards a Foundation of Completion Procedures as Semidecision Procedures.

Theor. Comput. Sci., 1995

Distributed Deduction by Clause-Diffusion: Distributed Contraction and the Aquarius Prover.

J. Symb. Comput., 1995

The Clause-Diffusion Methodology for Distributed Deduction.

Fundam. Inform., 1995

1994

On subsumption in distributed derivations.

J. Autom. Reasoning, 1994

Parallelization of Deduction Strategies: An Analytical Study.

J. Autom. Reasoning, 1994

1993

On Fairness in Distributed Automated Deduction.

Proceedings of the STACS 93, 1993

Distributed Deduction by Clause-Diffusion: The Aquarius Prover.

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1993

1992

The Term Rewriting Approach to Automated Theorem Proving.

J. Log. Program., 1992

On Rewrite Programs: Semantics and Relationship with Prolog.

J. Log. Program., 1992

1991

Proving Refutational Completeness of Theorem-Proving Strategies: The Transfinite Semantic Tree Method.

J. ACM, 1991

On Fairness of Completion-Based Theorem Proving Strategies.

Proceedings of the Rewriting Techniques and Applications, 4th International Conference, 1991

Logic Programming with Recurrence Domains.

Proceedings of the Automata, Languages and Programming, 18th International Colloquium, 1991

1990

Automated Proofs of the Moufang Identities in Alternative Rings.

J. Autom. Reasoning, 1990

Operational and Denotational Semantics of Rewrite Programs.

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

A System for Distributed Simplification-Based Theorem Proving.

Proceedings of the Parallelization in Inference Systems, 1990

On Finite Representations of Infinite Sequences of Terms.

Proceedings of the Conditional and Typed Rewriting Systems, 1990

Completion Procedures as Semidecision Procedures.

Proceedings of the Conditional and Typed Rewriting Systems, 1990

Tutorial on Rewrite-Based Theorem Proving.

Proceedings of the 10th International Conference on Automated Deduction, 1990

1989

SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion.

Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

1987

Automatic Inductive Theorem Proving Using Prolog.

Theor. Comput. Sci., 1987

Rewrite Method for Theorem Proving in First Order Theory with Equality.

J. Symb. Comput., 1987

Complete Inference Rules for the Cancellation Laws.

Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987

On Word Problems in Equational Theories.

Proceedings of the Automata, Languages and Programming, 14th International Colloquium, 1987

1986

Orderings for Equational Proofs

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

A New Method for Establishing Refutational Completeness in Theorem Proving.

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1985

Refutational Theorem Proving Using Term-Rewriting Systems.

Artif. Intell., 1985

A PROLOG Environment for Developing and Reasoning about Data Types.

Proceedings of the Mathematical Foundations of Software Development, 1985

Two Results in Term Rewriting Theorem Proving.

Proceedings of the Rewriting Techniques and Applications, First International Conference, 1985

PROLOG-Based Inductive Theorem Proving.

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1985

1983

Associative-Commutative Rewriting.

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

Rewrite Methods for Clausal and Non-Clausal Theorem Proving.

Proceedings of the Automata, 1983