公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
1996 | From Internet to the Future of Information Revolution | Hsiang J. | Workshop on Internet Technology | | | |
1997 | A generic virus detection agent on the Internet | Lee J. S.; Hsiang J.; Tsang P. H. | Proceedings of the Thirtieth Hawaii International Conference on System Sciences | | | |
1991 | Incompleteness of the RUE/NRF inference systems | Bonacina M. P.; Hsiang J. | Association of Automated Reasoning Newsletter | | | |
2003 | Modularization Framework for Digital Museum Exhibition | Chen B. H.; Hung S. H.; Hong J. S.; Hsiang J. | 2003 Joint Conference on Digital Libraries 2003 Proceedings | 4 | 0 | |
1996 | The Normal Form of Boolean Functions under Don't-care Conditions | Hsiang J.; Huang G. S. | DIMACS Workshop on Satisfiability Problems, March 1996 | | | |
1992 | On Rewrite Programs: Semantics and Relationship with Prolog | Bonacina M. P.; Hsiang J. | Journal of Logic Programming | | | |
1998 | On Semantic Resolution with Lemmaizing and Contraction and a Formal Treatment of Caching | Bonacina M. P.; Hsiang J. | New Generation Computing | | | |
1994 | On Subsumption in Distributed Deduction | Bonacina M. P.; Hsiang J. | Journal of Automated Deduction | | | |
1996 | On the notion of complexity of search in theorem proving | Bonacina M. P.; Hsiang J. | Logic Colloqium 96', Association of Symbolic Logic Annual Meeting, Spain, July 1996 | | | |
1997 | On the notion of complexity of search in theorem proving | Bonacina M. P.; Hsiang J. | Bulletin of Symbolic Logic | | | |
1996 | On the Representation of Dynamic Search Spaces in Theorem Proving | Bonacina M. P.; Hsiang J. | International Conference on Artificial Intelligence, Kaohsiung, December 1996 | | | |
1999 | Overview of a Digital Museum of Taiwanese Butterflies | Hsiang J.; Hong J. S. | International Conference on IT and Global Digital Library Development | | | |
2020 | Patent claim generation by fine-tuning OpenAI GPT-2 | Lee J.-S; Hsiang J.; JIEH HSIANG | World Patent Information | 38 | 23 | |
1998 | Personalized Web Retrieval: Three Agents for Retrieving Web Information | Hsiang J.; Tu H. C. | Pacific Rim Conference on Multi-agents, Lecture Notes in Artificial Intelligence | | | |
1998 | Practical Effectiveness Measures for Evaluating Large Retrieval Systems | Tu H. C.; Hsiang J. | International Symposium on Internet Technology | | | |
1997 | Some fundamental properties of Boolean ring normal forms | Hsiang J.; Huang G. S.; HsiangJ | DIMACS Series on Discrete Mathematics and Theoretical Computer Science, American Mathematical Society | | | |
1997 | Some fundamental properties of Boolean ring normal forms | Hsiang J.; Huang Guan Shieng | Workshop, 1996 Mar: Washington, pp.587-602, Dimacs Series in Discrete Mathematics and Theoretical Computer Science | | | |
1998 | Special Issue on Advances in Computing Science ASIAN '98 | Hsiang J.; Ohori Atsushi | International Journal on the Foundations of Computer Science Vol.11 | | | |
1995 | Subsumption Revisited | Bonacina M. P.; Hsiang J. | Proceedings of Workshop on Artificial Intelligence | | | |
2000 | Symmetry Elimination in Exhaustive Search | Huang G. H.; Hsiang J. | 17th Workshop on Combinatorial Mathematics and Computation Theory, Taipei, Taiwan | | | |