公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
2004 | On the hardness of counting problems of complete mappings | Hsiang, J.; Hsu, D.F.; Shieh, Y.-P.; JIEH HSIANG | Discrete Mathematics | 14 | 10 | |
1998 | On the Modelling of Search in Theorem Proving - Towards a Theory of Strategy Analysis | Bonacina, M.P.; JIEH HSIANG | Information and Computation | 12 | 9 | |
1987 | On Word Problems in Equational Theories. | Hsiang, Jieh; Rusinowitch, Michaël; JIEH HSIANG | Automata, Languages and Programming, 14th International Colloquium, ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings | | | |
1986 | Orderings for Equational Proofs | Bachmair, L.; Dershowitz, D.; Hsiang, Jieh; JIEH HSIANG | The Symposium on Logic in Computer Science | | | |
1986 | ORDERINGS FOR EQUATIONAL PROOFS. | Bachmair, Leo; Dershowitz, Nachum; Hsiang, Jieh; JIEH HSIANG | | | | |
1994 | Parallelization of deduction strategies: An analytical study | Bonacina, M.P.; JIEH HSIANG | Journal of Automated Reasoning | | | |
2020 | Patent claim generation by fine-tuning OpenAI GPT-2 | Lee J.-S; JIEH HSIANG | World Patent Information | | | |
2020 | Patent classification by fine-tuning BERT language model | Lee, J.-S.; JIEH HSIANG | World Patent Information | | | |
2020 | PatentTransformer-1.5: Measuring Patent Claim Generation by Span Relevancy | Lee, J.-S.; JIEH HSIANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | | | |
1999 | Personalized web retrieval: Three agents for retrieving web information | Hsiang, J.; Tu, H.-C.; JIEH HSIANG | Lecture Notes in Computer Science | 2 | | |
1998 | Personalized Web Retrieval: Three Agents for Retrieving Web Information. | Hsiang, Jieh; JIEH HSIANG | Multiagent Platforms, First Pacific Rim International Workshop on Multi-Agents, PRIMA '98, Singapore, November 23, 1998, Selected Papers | | | |
1998 | Preface | Hsiang, J.; Ohori, A.; JIEH HSIANG | Lecture Notes in Computer Science | | | |
1995 | Preface | JIEH HSIANG | Lecture Notes in Computer Science | | | |
2021 | Prior art search and reranking for generated patent text | Lee J.-S; JIEH HSIANG | CEUR Workshop Proceedings | 2 | | |
1985 | A PROLOG Environment for Developing and Reasoning about Data Types. | Hsiang, Jieh; Srivas, Mandayam K.; JIEH HSIANG | Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 2: Colloquium on Software Engineering (CSE) | | | |
1986 | Prolog-based Inductive Theorem Proving | Hsiang, Jieh; Srivas, M. K.; JIEH HSIANG | 5th Foundations of Software Technolong Theoretical Computer Science | | | |
1985 | PROLOG-Based Inductive Theorem Proving. | Hsiang, Jieh; Srivas, Mandayam K.; JIEH HSIANG | Foundations of Software Technology and Theoretical Computer Science, Fifth Conference, New Delhi, India, December 16-18, 1985, Proceedings | | | |
1991 | Proving Refutational Completeness of Theorem-Proving Strategies: The Transfinite Semantic Tree Method. | Hsiang, Jieh; Rusinowitch, Michaël; JIEH HSIANG | J. ACM | | | |
1991 | Proving Refutational Completeness of Theovem-Proving Strategies:The Transfinite Semantic Tree Method | Rusinowitch, M.; 項潔; Hsiang, Jieh | Journal of the Association for Computing Machinery | | | |
1996 | PSATO: A distributed propositional prover and its application to quasigroup problems | ZHANG, HANTAO; BONACINA, MARIA PAOLA; HSIANG, JIEHZhang, H.; Bonacina, M.P.; JIEH HSIANG | | 150 | 97 | |