Jieh Hsiang

CoRR, 2020

PatentTransformer-2: Controlling Patent Text Generation by Structural Metadata.

[BibT_eX]

[DOI]

CoRR, 2020

Exploring Guangxu-era missionary activities in Taiwan from Chinese Recorder, Dan-Hsin Archives and Ming-Qing Taiwan Administrative Archives through DocuSky.

[BibT_eX]

[DOI]

I Mei Hung

Chijui Hu

Proceedings of the 15th Annual International Conference of the Alliance of Digital Humanities Organizations, 2020

2019

Measuring Patent Claim Generation by Span Relevancy.

[BibT_eX]

[DOI]

CoRR, 2019

Patent Claim Generation by Fine-Tuning OpenAI GPT-2.

[BibT_eX]

[DOI]

CoRR, 2019

PatentBERT: Patent Classification with Fine-Tuning a pre-trained BERT Model.

[BibT_eX]

[DOI]

CoRR, 2019

PatentTransformer-1.5: Measuring Patent Claim Generation by Span Relevancy.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2019

Finding Documents Related to Taiwan in the Veritable Records of Qing Using Relevance Feedback.

[BibT_eX]

[DOI]

Hsin-Hsuan Sung

Jou-An Chen

Proceedings of the Digital Libraries for Open Knowledge, 2019

2018

On Natural Disasters In Chinese Standard Histories.

[BibT_eX]

[DOI]

Hong-Ting Su

Nungyao Lin

Proceedings of the 13th Annual International Conference of the Alliance of Digital Humanities Organizations, 2018

2016

A Study of Knowledge Integration in Digital Humanities Based on Bibliographic Analysis.

[BibT_eX]

[DOI]

Proceedings of the 11th Annual International Conference of the Alliance of Digital Humanities Organizations, 2016

2015

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

[BibT_eX]

[DOI]

Scientometrics, 2015

2014

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

[BibT_eX]

[DOI]

Yu-Chun Wang

Karol Chia-Tien Chang

Richard Tzong-Han Tsai

Int. J. Comput. Linguistics Chin. Lang. Process., 2014

A glimpse of the change of worldview between 7th and 10th century China through two leishu.

[BibT_eX]

[DOI]

Lihua Chen

Chia-Hsuan Chung

Proceedings of the 9th Annual International Conference of the Alliance of Digital Humanities Organizations, 2014

2013

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

[BibT_eX]

[DOI]

Yu-Chun Wang

Chun-Kai Wu

Richard Tzong-Han Tsai

New Gener. Comput., 2013

Discovering land transaction relations from land deeds of Taiwan.

[BibT_eX]

[DOI]

Lit. Linguistic Comput., 2013

A Text-Mining Approach to the Authorship Attribution Problem of Dream of the Red Chamber.

[BibT_eX]

[DOI]

Proceedings of the 8th Annual International Conference of the Alliance of Digital Humanities Organizations, 2013

On Mapping the Ontologies of Leishu - A Preliminary Investigation.

[BibT_eX]

[DOI]

Chia-Hsuan Chung

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

2012

Discovering relationships from imperial court documents of Qing China.

[BibT_eX]

[DOI]

Int. J. Humanit. Arts Comput., 2012

A Regularized Compression Method to Unsupervised Word Segmentation.

[BibT_eX]

[DOI]

Ruey-Cheng Chen

Chiung-Min Tsai

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

Information Discovery in the Chinese Recorder Index.

[BibT_eX]

[DOI]

Jung-Wei Kong

Allan Sung

Proceedings of the 7th Annual International Conference of the Alliance of Digital Humanities Organizations, 2012

Prosopographical Databases, Text-Mining, GIS and System Interoperability for Chinese History and Literature.

[BibT_eX]

[DOI]

Peter K. Bol

Grace Fong

Proceedings of the 7th Annual International Conference of the Alliance of Digital Humanities Organizations, 2012

Information preservation in static index pruning.

[BibT_eX]

[DOI]

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

Exploring alternative cyberbibliometrics for evaluation of scholarly performance in the social sciences and humanities in Taiwan.

[BibT_eX]

[DOI]

Proceedings of the Information, Interaction, Innovation: Celebrating the Past, Constructing the Present and Creating the Future, 2012

2011

Breathing New Life into Static Materials.

[BibT_eX]

[DOI]

Shu-Fen H. Lin

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

Discovering Citation Relations among the Imperial Court Documents of Qing China.

[BibT_eX]

[DOI]

Proceedings of the 6th Annual International Conference of the Alliance of Digital Humanities Organizations, 2011

Discovering Land Transaction Relations from Land Deeds of Taiwan.

[BibT_eX]

[DOI]

Proceedings of the 6th Annual International Conference of the Alliance of Digital Humanities Organizations, 2011

2010

Effectiveness of Social Networking in a University Library Environment .

[BibT_eX]

Hou Ieong Ho

Proceedings of the KMIS 2010, 2010

Relevance Model Revisited: With Multiple Document Representations.

[BibT_eX]

[DOI]

Ruey-Cheng Chen

Chiung-Min Tsai

Proceedings of the Information Retrieval Technology, 2010

2009

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

[BibT_eX]

[DOI]

Kuang-hua Chen

Electron. Libr., 2009

2007

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2006

Various criteria in the evaluation of biomedical named entity recognition.

[BibT_eX]

[DOI]

Richard Tzong-Han Tsai

BMC Bioinform., 2006

Boolean Rings for Intersection-Based Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2006

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

[BibT_eX]

[DOI]

Chiung-min Tsai

Hsueh-hua Chen

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

2005

Editorial.

[BibT_eX]

[DOI]

Jen-Shin Hong

Martin Doerr

Int. J. Digit. Libr., 2005

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

[BibT_eX]

[DOI]

Int. J. Digit. Libr., 2005

Configurable Meta-search for Integrating Web Public Access Catalogs.

[BibT_eX]

[DOI]

Hou Ieong Ho

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

2004

On the hardness of counting problems of complete mappings.

[BibT_eX]

[DOI]

D. Frank Hsu

Yuh-Pyng Shieh

Discret. Math., 2004

A Logical Framework of Knowledge Retrieval with Fuzziness.

[BibT_eX]

[DOI]

Bee-Chung Chen

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

Boolean Ring Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the SAT 2004, 2004

2003

Multidimensional interactive fine-grained image retrieval.

[BibT_eX]

[DOI]

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

2002

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

[BibT_eX]

[DOI]

Online Inf. Rev., 2002

2001

Content management for digital museum exhibitions.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Jen-Shin Hong

Bai-Hsuen Chen

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

2000

An architecture and category knowledge for intelligent information retrieval agents.

[BibT_eX]

[DOI]

Decis. Support Syst., 2000

A digital museum of Taiwanese butterflies.

[BibT_eX]

[DOI]

Jen-Shin Hong

Herng-Yow Chen

Proceedings of the Fifth ACM Conference on Digital Libraries, 2000

1999

Agent Technology for Website Browsing and Navigation.

[BibT_eX]

[DOI]

Michael L. Lyu

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.

[BibT_eX]

[DOI]

New Gener. Comput., 1998

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

[BibT_eX]

[DOI]

Inf. Comput., 1998

Personalized Web Retrieval: Three Agents for Retrieving Web Information.

[BibT_eX]

[DOI]

Proceedings of the Multiagent Platforms, 1998

1997

A Generic Virus Detection Agent on the Internet.

[BibT_eX]

[DOI]

Po-Hao Tsang

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.

[BibT_eX]

[DOI]

Hantao Zhang

J. Symb. Comput., 1996

A Category-Theoretic Treatment of Automated Theorem Proving.

[BibT_eX]

[DOI]

J. Inf. Sci. Eng., 1996

Automating Algebraic Proofs in Algebraic Logic.

[BibT_eX]

[DOI]

Anita Wasilewska

Fundam. Informaticae, 1996

On Semantic Resolution with Lemmaizing and Contraction.

[BibT_eX]

[DOI]

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

Some fundamental properties of Boolean ring normal forms.

[BibT_eX]

[DOI]

Guan-Shieng Huang

Proceedings of the Satisfiability Problem: Theory and Applications, 1996

1995

Recurrence Domains: Their Unification and Application to Logic Programming

[BibT_eX]

[DOI]

Hong Chen

Inf. Comput., October, 1995

Towards a Foundation of Completion Procedures as Semidecision Procedures.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1995

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

[BibT_eX]

[DOI]

J. Symb. Comput., 1995

The Clause-Diffusion Methodology for Distributed Deduction.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1995

1994

On subsumption in distributed derivations.

[BibT_eX]

[DOI]

J. Autom. Reason., 1994

Parallelization of Deduction Strategies: An Analytical Study.

[BibT_eX]

[DOI]

J. Autom. Reason., 1994

1993

On Fairness in Distributed Automated Deduction.

[BibT_eX]

[DOI]

Proceedings of the STACS 93, 1993

Distributed Deduction by Clause-Diffusion: The Aquarius Prover.

[BibT_eX]

[DOI]

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

1992

The Term Rewriting Approach to Automated Theorem Proving.

[BibT_eX]

[DOI]

J. Log. Program., 1992

On Rewrite Programs: Semantics and Relationship with Prolog.

[BibT_eX]

[DOI]

J. Log. Program., 1992

1991

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

[BibT_eX]

[DOI]

J. ACM, 1991

On Fairness of Completion-Based Theorem Proving Strategies.

[BibT_eX]

[DOI]

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

Logic Programming with Recurrence Domains.

[BibT_eX]

[DOI]

Hong Chen

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

1990

Automated Proofs of the Moufang Identities in Alternative Rings.

[BibT_eX]

[DOI]

Siva Anantharaman

J. Autom. Reason., 1990

Operational and Denotational Semantics of Rewrite Programs.

[BibT_eX]

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.

[BibT_eX]

Proceedings of the Parallelization in Inference Systems, 1990

On Finite Representations of Infinite Sequences of Terms.

[BibT_eX]

[DOI]

Hong Chen

Hwa-Chung Kong

Proceedings of the Conditional and Typed Rewriting Systems, 1990

Completion Procedures as Semidecision Procedures.

[BibT_eX]

[DOI]

Proceedings of the Conditional and Typed Rewriting Systems, 1990

Tutorial on Rewrite-Based Theorem Proving.

[BibT_eX]

[DOI]

Jean-Pierre Jouannaud

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

1989

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

[BibT_eX]

[DOI]

Siva Anantharaman

Jalel Mzali

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

1987

Automatic Inductive Theorem Proving Using Prolog.

[BibT_eX]

[DOI]

Mandayam K. Srivas

Theor. Comput. Sci., 1987

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

[BibT_eX]

[DOI]

J. Symb. Comput., 1987

Complete Inference Rules for the Cancellation Laws.

[BibT_eX]

[DOI]

Kô Sakai

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

On Word Problems in Equational Theories.

[BibT_eX]

[DOI]

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

1986

Orderings for Equational Proofs

[BibT_eX]

Leo Bachmair

Nachum Dershowitz

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

A New Method for Establishing Refutational Completeness in Theorem Proving.

[BibT_eX]

[DOI]

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

1985

Refutational Theorem Proving Using Term-Rewriting Systems.

[BibT_eX]

[DOI]

Artif. Intell., 1985

A PROLOG Environment for Developing and Reasoning about Data Types.

[BibT_eX]

[DOI]

Mandayam K. Srivas

Proceedings of the Mathematical Foundations of Software Development, 1985

Two Results in Term Rewriting Theorem Proving.

[BibT_eX]

[DOI]

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

PROLOG-Based Inductive Theorem Proving.

[BibT_eX]

[DOI]

Mandayam K. Srivas

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

1983

Topics in Automated Theorem Proving and Program Generation

[BibT_eX]

[DOI]

PhD thesis, 1983

Associative-Commutative Rewriting.

[BibT_eX]

[DOI]

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

Rewrite Methods for Clausal and Non-Clausal Theorem Proving.

[BibT_eX]

[DOI]