default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJieh Hsiang
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c54]Hao-Cheng Lo, Jung-Mei Chu, Jieh Hsiang, Chun-Chieh Cho:
Large Language Model Informed Patent Image Retrieval. PatentSemTech@SIGIR 2024: 51-60- [i7]Jung-Mei Chu, Hao-Cheng Lo, Jieh Hsiang, Chun-Chieh Cho:
From PARIS to LE-PARIS: Toward Patent Response Automation with Recommender Systems and Collaborative Large Language Models. CoRR abs/2402.00421 (2024) - [i6]Hao-Cheng Lo, Jung-Mei Chu, Jieh Hsiang, Chun-Chieh Cho:
Large Language Model Informed Patent Image Retrieval. CoRR abs/2404.19360 (2024) - 2020
- [c53]I Mei Hung, Chijui Hu, Jieh Hsiang:
Exploring Guangxu-era missionary activities in Taiwan from Chinese Recorder, Dan-Hsin Archives and Ming-Qing Taiwan Administrative Archives through DocuSky. DH 2020 - [i5]Jieh-Sheng Lee, Jieh Hsiang:
PatentTransformer-2: Controlling Patent Text Generation by Structural Metadata. CoRR abs/2001.03708 (2020) - [i4]Jieh-Sheng Lee, Jieh Hsiang:
Prior Art Search and Reranking for Generated Patent Text. CoRR abs/2009.09132 (2020)
2010 – 2019
- 2019
- [c52]Hsin-Hsuan Sung, Jou-An Chen, Jieh Hsiang:
Finding Documents Related to Taiwan in the Veritable Records of Qing Using Relevance Feedback. TPDL 2019: 280-287 - [c51]Jieh-Sheng Lee
, Jieh Hsiang:
PatentTransformer-1.5: Measuring Patent Claim Generation by Span Relevancy. JSAI-isAI Workshops 2019: 20-33 - [i3]Jieh-Sheng Lee, Jieh Hsiang:
PatentBERT: Patent Classification with Fine-Tuning a pre-trained BERT Model. CoRR abs/1906.02124 (2019) - [i2]Jieh-Sheng Lee, Jieh Hsiang:
Patent Claim Generation by Fine-Tuning OpenAI GPT-2. CoRR abs/1907.02052 (2019) - [i1]Jieh-Sheng Lee, Jieh Hsiang:
Measuring Patent Claim Generation by Span Relevancy. CoRR abs/1908.09591 (2019) - 2018
- [c50]Hong-Ting Su, Jieh Hsiang, Nungyao Lin:
On Natural Disasters In Chinese Standard Histories. DH 2018: 406-408 - 2016
- [c49]Muh-Chyun Tang, Yun Jen Cheng, Kuang-hua Chen, Jieh Hsiang:
A Study of Knowledge Integration in Digital Humanities Based on Bibliographic Analysis. DH 2016: 690-692 - 2015
- [j31]Kuang-hua Chen, Muh-Chyun Tang, Chun-mei Wang, Jieh Hsiang:
Exploring alternative metrics of scholarly performance in the social sciences and humanities in Taiwan. Scientometrics 102(1): 97-112 (2015) - 2014
- [j30]Yu-Chun Wang, Karol Chia-Tien Chang, Richard Tzong-Han Tsai, Jieh Hsiang:
Transliteration Extraction from Classical Chinese Buddhist Literature Using Conditional Random Fields with Language Models. Int. J. Comput. Linguistics Chin. Lang. Process. 19(3) (2014) - [c48]Jieh Hsiang, Lihua Chen, Chia-Hsuan Chung:
A glimpse of the change of worldview between 7th and 10th century China through two leishu. DH 2014 - 2013
- [j29]Shih-Pei Chen, Yu-Ming Huang, Jieh Hsiang, Hsieh-Chang Tu, Hou Ieong Ho, Ping-Yen Chen:
Discovering land transaction relations from land deeds of Taiwan. Lit. Linguistic Comput. 28(2): 257-270 (2013) - [j28]Yu-Chun Wang, Chun-Kai Wu, Richard Tzong-Han Tsai, Jieh Hsiang:
Transliteration Pair Extraction from Classical Chinese Buddhist Literature Using Phonetic Similarity Measurement. New Gener. Comput. 31(4): 265-283 (2013) - [c47]Chia-Hsuan Chung, Jieh Hsiang:
On Mapping the Ontologies of Leishu - A Preliminary Investigation. Culture and Computing 2013: 198-199 - [c46]Hsieh-Chang Tu, Jieh Hsiang:
A Text-Mining Approach to the Authorship Attribution Problem of Dream of the Red Chamber. DH 2013: 441-443 - 2012
- [j27]Jieh Hsiang, Shih-Pei Chen, Hou Ieong Ho, Hsieh-Chang Tu:
Discovering relationships from imperial court documents of Qing China. Int. J. Humanit. Arts Comput. 6(1-2): 22-41 (2012) - [c45]Muh-Chyun Tang, Chun-mei Wang, Kuang-hua Chen, Jieh Hsiang:
Exploring alternative cyberbibliometrics for evaluation of scholarly performance in the social sciences and humanities in Taiwan. ASIST 2012: 1 - [c44]Ruey-Cheng Chen, Chia-Jung Lee, Chiung-Min Tsai, Jieh Hsiang:
Information preservation in static index pruning. CIKM 2012: 2487-2490 - [c43]Peter K. Bol, Jieh Hsiang, Grace Fong:
Prosopographical Databases, Text-Mining, GIS and System Interoperability for Chinese History and Literature. DH 2012: 43-51 - [c42]Jieh Hsiang, Jung-Wei Kong, Allan Sung:
Information Discovery in the Chinese Recorder Index. DH 2012: 224-227 - [c41]Ruey-Cheng Chen, Chiung-Min Tsai, Jieh Hsiang:
A Regularized Compression Method to Unsupervised Word Segmentation. SIGMORPHON 2012: 26-34 - 2011
- [c40]Shih-Pei Chen, Yu-Ming Huang, Hou Ieong Ho, Ping-Yen Chen, Jieh Hsiang:
Discovering Land Transaction Relations from Land Deeds of Taiwan. DH 2011: 106-110 - [c39]Shih-Pei Chen, Hou Ieong Ho, Hsieh-Chang Tu, Jieh Hsiang:
Discovering Citation Relations among the Imperial Court Documents of Qing China. DH 2011: 291-295 - [c38]Jieh Hsiang, Shu-Fen H. Lin:
Breathing New Life into Static Materials. HICSS 2011: 1-5 - 2010
- [c37]Ruey-Cheng Chen, Chiung-Min Tsai, Jieh Hsiang:
Relevance Model Revisited: With Multiple Document Representations. AIRS 2010: 37-48 - [c36]Hou Ieong Ho, Jieh Hsiang:
Effectiveness of Social Networking in a University Library Environment . KMIS 2010: 307-310
2000 – 2009
- 2009
- [j26]Kuang-hua Chen, Jieh Hsiang:
The unique approach to institutional repository: Practice of National Taiwan University. Electron. Libr. 27(2): 204-221 (2009) - 2007
- [c35]Szu-Pei Chen, Jieh Hsiang, Hsieh-Chang Tu, Micha Wu:
On Building a Full-Text Digital Library of Historical Documents. ICADL 2007: 49-60 - 2006
- [j25]Richard Tzong-Han Tsai, Shih-Hung Wu, Wen-Chi Chou, Yu-Chun Lin, Ding He, Jieh Hsiang, Ting-Yi Sung, Wen-Lian Hsu:
Various criteria in the evaluation of biomedical named entity recognition. BMC Bioinform. 7: 92 (2006) - [j24]Tzong-Han Tsai, Wen-Chi Chou, Shih-Hung Wu, Ting-Yi Sung, Jieh Hsiang, Wen-Lian Hsu:
Integrating linguistic knowledge into a conditional random fieldframework to identify biomedical named entities. Expert Syst. Appl. 30(1): 117-128 (2006) - [c34]Chiung-min Tsai, Jieh Hsiang, Hsueh-hua Chen:
Implementing an institutional repository for digital archive communities: Experiences from National Taiwan University. Dublin Core Conference 2006 - [c33]Nachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss:
Boolean Rings for Intersection-Based Satisfiability. LPAR 2006: 482-496 - 2005
- [j23]Jen-Shin Hong, Martin Doerr, Jieh Hsiang:
Editorial. Int. J. Digit. Libr. 5(3): 151-152 (2005) - [j22]Jen-Shin Hong, Bai-Hsuan Chen, Sheng-Hao Hung, Jieh Hsiang:
Toward an integrated digital museum system - the Chi Nan experiences. Int. J. Digit. Libr. 5(3): 231-251 (2005) - [c32]Hou Ieong Ho, Jieh Hsiang:
Configurable Meta-search for Integrating Web Public Access Catalogs. ICADL 2005: 317-322 - 2004
- [j21]Jieh Hsiang, D. Frank Hsu, Yuh-Pyng Shieh:
On the hardness of counting problems of complete mappings. Discret. Math. 277(1-3): 87-100 (2004) - [c31]Nachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss:
Boolean Ring Satisfiability. SAT 2004 - [c30]Bee-Chung Chen, Jieh Hsiang:
A Logical Framework of Knowledge Retrieval with Fuzziness. Web Intelligence 2004: 524-528 - 2003
- [c29]Jieh Hsiang, Wen-Jun Liu, Bee-Chung Chen, Hsieh-Chang Tu:
Multidimensional interactive fine-grained image retrieval. ICME 2003: 297-300 - 2002
- [j20]Joyce Chao-chen Chen, Hsueh-hua Chen, Kuang-hua Chen, Jieh Hsiang:
The design of metadata for the Digital Museum Initiative in Taiwan. Online Inf. Rev. 26(5): 295-306 (2002) - 2001
- [c28]Jen-Shin Hong, Bai-Hsuen Chen, Jieh Hsiang:
XSL-based Content Management for Multi-presentation Digital Museum Exhibitions. ECDL 2001: 378-389 - [c27]Jen-Shin Hong, Bai-Hsuen Chen, Jieh Hsiang, Tien-Yu Hsu:
Content management for digital museum exhibitions. JCDL 2001: 450 - 2000
- [j19]Hsieh-Chang Tu, Jieh Hsiang:
An architecture and category knowledge for intelligent information retrieval agents. Decis. Support Syst. 28(3): 255-268 (2000) - [c26]Jen-Shin Hong, Herng-Yow Chen, Jieh Hsiang:
A digital museum of Taiwanese butterflies. ACM DL 2000: 260-261
1990 – 1999
- 1999
- [c25]Hsieh-Chang Tu, Michael L. Lyu, Jieh Hsiang:
Agent Technology for Website Browsing and Navigation. HICSS 1999 - 1998
- [j18]Maria Paola Bonacina, Jieh Hsiang:
On the Modelling of Search in Theorem Proving - Towards a Theory of Strategy Analysis. Inf. Comput. 147(2): 171-208 (1998) - [j17]Maria Paola Bonacina, Jieh Hsiang:
On Semantic Resolution with Lemmaizing and Contraction and a Formal Treatment of Caching. New Gener. Comput. 16(2): 163-200 (1998) - [c24]Hsieh-Chang Tu, Jieh Hsiang:
An Architecture and Category Knowledge for Intelligent Information Retrieval Agents. HICSS (4) 1998: 405-414 - [c23]Jieh Hsiang, Hsieh-Chang Tu:
Personalized Web Retrieval: Three Agents for Retrieving Web Information. PRIMA 1998: 118-132 - [e2]Jieh Hsiang, Atsushi Ohori:
Advances in Computing Science - ASIAN '98, 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings. Lecture Notes in Computer Science 1538, Springer 1998, ISBN 3-540-65388-0 [contents] - 1997
- [c22]Jieh-Sheng Lee, Jieh Hsiang, Po-Hao Tsang:
A Generic Virus Detection Agent on the Internet. HICSS (4) 1997: 210-210 - 1996
- [j16]Jieh Hsiang, Anita Wasilewska:
Automating Algebraic Proofs in Algebraic Logic. Fundam. Informaticae 28(1-2): 129-140 (1996) - [j15]Maria Paola Bonacina, Jieh Hsiang:
A Category-Theoretic Treatment of Automated Theorem Proving. J. Inf. Sci. Eng. 12(1): 101-125 (1996) - [j14]Hantao Zhang, Maria Paola Bonacina, Jieh Hsiang:
PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems. J. Symb. Comput. 21(4): 543-560 (1996) - [c21]Jieh Hsiang, Guan-Shieng Huang:
Some fundamental properties of Boolean ring normal forms. Satisfiability Problem: Theory and Applications 1996: 587-602 - [c20]Maria Paola Bonacina, Jieh Hsiang:
On Semantic Resolution with Lemmaizing and Contraction. PRICAI 1996: 372-386 - 1995
- [j13]Maria Paola Bonacina, Jieh Hsiang:
The Clause-Diffusion Methodology for Distributed Deduction. Fundam. Informaticae 24(1/2): 177-207 (1995) - [j12]Hong Chen, Jieh Hsiang:
Recurrence Domains: Their Unification and Application to Logic Programming. Inf. Comput. 122(1): 45-69 (1995) - [j11]Maria Paola Bonacina, Jieh Hsiang:
Distributed Deduction by Clause-Diffusion: Distributed Contraction and the Aquarius Prover. J. Symb. Comput. 19(1-3): 245-267 (1995) - [j10]Maria Paola Bonacina, Jieh Hsiang:
Towards a Foundation of Completion Procedures as Semidecision Procedures. Theor. Comput. Sci. 146(1&2): 199-242 (1995) - [e1]Jieh Hsiang:
Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings. Lecture Notes in Computer Science 914, Springer 1995, ISBN 3-540-59200-8 [contents] - 1994
- [j9]Maria Paola Bonacina, Jieh Hsiang:
On subsumption in distributed derivations. J. Autom. Reason. 12(2): 225-240 (1994) - [j8]Maria Paola Bonacina, Jieh Hsiang:
Parallelization of Deduction Strategies: An Analytical Study. J. Autom. Reason. 13(1): 1-33 (1994) - 1993
- [c19]Maria Paola Bonacina, Jieh Hsiang:
Distributed Deduction by Clause-Diffusion: The Aquarius Prover. DISCO 1993: 272-287 - [c18]Maria Paola Bonacina, Jieh Hsiang:
On Fairness in Distributed Automated Deduction. STACS 1993: 141-152 - 1992
- [j7]Jieh Hsiang, Hélène Kirchner, Pierre Lescanne, Michaël Rusinowitch:
The Term Rewriting Approach to Automated Theorem Proving. J. Log. Program. 14(1&2): 71-99 (1992) - [j6]Maria Paola Bonacina, Jieh Hsiang:
On Rewrite Programs: Semantics and Relationship with Prolog. J. Log. Program. 14(1&2): 155-180 (1992) - 1991
- [j5]Jieh Hsiang, Michaël Rusinowitch:
Proving Refutational Completeness of Theorem-Proving Strategies: The Transfinite Semantic Tree Method. J. ACM 38(3): 559-587 (1991) - [c17]Hong Chen, Jieh Hsiang:
Logic Programming with Recurrence Domains. ICALP 1991: 20-34 - [c16]Maria Paola Bonacina, Jieh Hsiang:
On Fairness of Completion-Based Theorem Proving Strategies. RTA 1991: 348-360 - 1990
- [j4]Siva Anantharaman, Jieh Hsiang:
Automated Proofs of the Moufang Identities in Alternative Rings. J. Autom. Reason. 6(1): 79-109 (1990) - [c15]Jieh Hsiang, Jean-Pierre Jouannaud:
Tutorial on Rewrite-Based Theorem Proving. CADE 1990: 684 - [c14]Hong Chen, Jieh Hsiang, Hwa-Chung Kong:
On Finite Representations of Infinite Sequences of Terms. CTRS 1990: 100-114 - [c13]Maria Paola Bonacina, Jieh Hsiang:
Completion Procedures as Semidecision Procedures. CTRS 1990: 206-232 - [c12]Maria Paola Bonacina, Jieh Hsiang:
A System for Distributed Simplification-Based Theorem Proving. Dagstuhl Seminar on Parallelization in Inference Systems 1990: 370 - [c11]Maria Paola Bonacina, Jieh Hsiang:
Operational and Denotational Semantics of Rewrite Programs. NACLP 1990: 449-464
1980 – 1989
- 1989
- [c10]Siva Anantharaman, Jieh Hsiang, Jalel Mzali:
SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion. RTA 1989: 533-537 - 1987
- [j3]Jieh Hsiang:
Rewrite Method for Theorem Proving in First Order Theory with Equality. J. Symb. Comput. 3(1/2): 133-151 (1987) - [j2]Jieh Hsiang, Mandayam K. Srivas:
Automatic Inductive Theorem Proving Using Prolog. Theor. Comput. Sci. 54: 3-28 (1987) - [c9]Jieh Hsiang, Michaël Rusinowitch:
On Word Problems in Equational Theories. ICALP 1987: 54-71 - [c8]Jieh Hsiang, Michaël Rusinowitch, Kô Sakai:
Complete Inference Rules for the Cancellation Laws. IJCAI 1987: 990-992 - 1986
- [c7]Jieh Hsiang, Michaël Rusinowitch:
A New Method for Establishing Refutational Completeness in Theorem Proving. CADE 1986: 141-152 - [c6]Leo Bachmair, Nachum Dershowitz, Jieh Hsiang:
Orderings for Equational Proofs. LICS 1986: 346-357 - 1985
- [j1]Jieh Hsiang:
Refutational Theorem Proving Using Term-Rewriting Systems. Artif. Intell. 25(3): 255-300 (1985) - [c5]Jieh Hsiang, Mandayam K. Srivas:
PROLOG-Based Inductive Theorem Proving. FSTTCS 1985: 129-149 - [c4]Jieh Hsiang:
Two Results in Term Rewriting Theorem Proving. RTA 1985: 301-324 - [c3]Jieh Hsiang, Mandayam K. Srivas:
A PROLOG Environment for Developing and Reasoning about Data Types. TAPSOFT, Vol.2 1985: 276-293 - 1983
- [b1]Jieh Hsiang:
Topics in Automated Theorem Proving and Program Generation. University of Illinois Urbana-Champaign, USA, 1983 - [c2]Jieh Hsiang, Nachum Dershowitz:
Rewrite Methods for Clausal and Non-Clausal Theorem Proving. ICALP 1983: 331-346 - [c1]Nachum Dershowitz, Jieh Hsiang, N. Alan Josephson, David A. Plaisted:
Associative-Commutative Rewriting. IJCAI 1983: 940-944
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-25 21:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
