| 臺大學術典藏 |
2020-05-04T07:58:47Z |
On semantic resolution with lemmaizing and contraction and a formal treatment of caching
|
Bonacina, M.P.; Hsiang, J.; JIEH HSIANG |
| 臺大學術典藏 |
2020-05-04T07:58:47Z |
Parallelization of deduction strategies: An analytical study
|
Bonacina, M.P.; Hsiang, J.; JIEH HSIANG |
| 臺大學術典藏 |
2020-05-04T07:58:47Z |
On semantic resolution with lemmaizing and contraction
|
Bonacina, M.P.;Hsiang, J.; Bonacina, M.P.; Hsiang, J.; JIEH HSIANG |
| 臺大學術典藏 |
2020-05-04T07:58:46Z |
Special issue on advances in computing science - Asian '98
|
Ohori, A.; JIEH HSIANG; Hsiang, J. |
| 臺大學術典藏 |
2020-05-04T07:58:45Z |
Finding Documents Related to Taiwan in the Veritable Records of Qing Using Relevance Feedback
|
Sung, H.-H.;Chen, J.-A.;Hsiang, J.; Sung, H.-H.; Chen, J.-A.; Hsiang, J.; JIEH HSIANG |
| 臺大學術典藏 |
2020-05-04T07:58:45Z |
Transliteration pair extraction from classical Chinese buddhist literature using phonetic similarity measurement
|
Wu, C.-K.; Tsai, R.T.-H.; Hsiang, J.; JIEH HSIANG; Wang, Y.-C.; Wang, Y.-C.;Wu, C.-K.;Tsai, R.T.-H.;Hsiang, J. |
| 臺大學術典藏 |
2018-09-10T09:46:56Z |
Transliteration pair extraction from classical Chinese buddhist literature using phonetic similarity measurement
|
Wang, Y.-C.;Wu, C.-K.;Tsai, R.T.-H.;Hsiang, J.; Wang, Y.-C.; Wu, C.-K.; Tsai, R.T.-H.; Hsiang, J.; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T09:46:56Z |
On mapping the ontologies of leishu - A preliminary investigation
|
Chung, C.-H.;Hsiang, J.; Chung, C.-H.; Hsiang, J.; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T09:46:56Z |
Discovering land transaction relations from land deeds of Taiwan
|
Chen, S.-P.;Huang, Y.-M.;Hsiang, J.;Tu, H.-C.;Ho, H.-T.;Chen, P.-Y.; Chen, S.-P.; Huang, Y.-M.; Hsiang, J.; Tu, H.-C.; Ho, H.-T.; Chen, P.-Y.; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T09:21:09Z |
Information preservation in static index pruning
|
Chen, R.-C.; Lee, C.-J.; Tsai, C.-M.; Hsiang, J.; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T09:21:09Z |
Exploring alternative cyberbibliometrics for evaluation of scholarly performance in the social sciences and humanities in Taiwan
|
Tang, M.-C.;Wang, C.-M.;Chen, K.-H.;Hsiang, J.; Tang, M.-C.; Wang, C.-M.; Chen, K.-H.; Hsiang, J.; MUH-CHYUN TANG; JIEH HSIANG; KUANG-HUA CHEN |
| 臺大學術典藏 |
2018-09-10T08:40:33Z |
Breathing new life into static materials
|
JIEH HSIANG; Lin, S.-F.H.; Hsiang, J.; Hsiang, J.;Lin, S.-F.H. |
| 臺大學術典藏 |
2018-09-10T08:13:01Z |
Relevance model revisited: With multiple document representations
|
Chen, R.-C.;Tsai, C.-M.;Hsiang, J.; Chen, R.-C.; Tsai, C.-M.; Hsiang, J.; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T07:34:30Z |
Personalized web retrieval: Three agents for retrieving web information
|
Hsiang, J.; Tu, H.-C.; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T07:34:29Z |
The unique approach to institutional repository: Practice of National Taiwan University
|
Chen, K.-H.; Hsiang, J.; JIEH HSIANG; KUANG-HUA CHEN |
| 臺大學術典藏 |
2018-09-10T07:01:37Z |
On the Modelling of Search in Theorem Proving - Towards a Theory of Strategy Analysis
|
Bonacina, M.P.; Hsiang, J.; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T07:01:36Z |
Preface
|
Hsiang, J.; Ohori, A.; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T05:56:29Z |
Boolean rings for intersection-based satisfiability
|
Dershowitz, N.; Hsiang, J.; Huang, G.-S.; Kaiss, D.; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T05:56:29Z |
On semantic resolution with lemmaizing and contraction
|
Bonacina, M.P.;Hsiang, J.; Bonacina, M.P.; Hsiang, J.; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T05:56:29Z |
Automating algebraic proofs in algebraic logic
|
JIEH HSIANG; Hsiang, J.;Wasilewska, A.; Hsiang, J.; Wasilewska, A. |
| 臺大學術典藏 |
2018-09-10T05:56:28Z |
Implementing an institutional repository for digital archive communities: Experiences from National Taiwan university
|
Tsai, C.-M.; Hsiang, J.; Chen, H.-H.; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T05:21:30Z |
Preface
|
Hsiang, J.; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T05:21:30Z |
Refutational theorem proving using term-rewriting systems
|
Hsiang, J.; Hsiang, J.; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T05:21:29Z |
On developing digital institutional repositories in Taiwan
|
Hsiang, J.; Hung, H.-Y.; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T05:21:29Z |
Configurable meta-search for integrating web public access catalogs
|
Hutchison, David; JIEH HSIANG et al.; Kanade, Takeo; Kittler, Josef; Kleinberg, Jon M.; Mattern, Friedemann; Mitchell, John C.; Naor, Moni; Nierstrasz, Oscar; Rangan, C. P; u; Steffen, Bernhard; Sudan, Madhu; Terzopoulos, Demetri; Tygar, Dough; Vardi, Moshe Y.; Weikum, GerhardHo, H.I.; Hsiang, J. |
| 臺大學術典藏 |
2018-09-10T04:52:12Z |
On the hardness of counting problems of complete mappings
|
Hsiang, J.; Hsu, D.F.; Shieh, Y.-P.; Hsiang, J.; Hsu, D.F.; Shieh, Y.-P.; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T04:11:43Z |
On rewrite programs: Semantics and relationship with prolog
|
JIEH HSIANG; Hsiang, J.; Bonacina, M.P. |
| 臺大學術典藏 |
2018-09-10T03:46:53Z |
XSL-based content management for multi-presentation digital museum exhibitions
|
Hong, J.-S.; Chen, B.-H.; Hsiang, J.; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T03:46:53Z |
Content management for digital museum exhibitions
|
Hong, J.-S.; Chen, B.-H.; Hsiang, J.; Hsu, T.-Y.; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T03:28:39Z |
Architecture and category knowledge for intelligent information retrieval agents
|
Tu, H.-C.; Hsiang, J.; JIEH HSIANG |
| 國立臺灣師範大學 |
2015-07-03T01:30:18Z |
The Design of Metadata for the Digital Museum Initiative in Taiwan
|
Chen, Chao-Chen.; Chen, H. H.; Chen, K. H.; Hsiang, J. |
| 國立臺灣大學 |
2011-09 |
國立臺灣大學圖書館藏小川文庫聖經文獻介紹
|
項潔; 湯世鑄; 涂豐恩; Hsiang, J.; Tang, S.C.; Tu, F.E. |
| 臺大學術典藏 |
2011 |
Introduction to digital libraries minitrack
|
JIEH HSIANG; Zarndt, F.; Rauber, A.; Hsiang, J.; Hsiang, J.;Rauber, A.;Zarndt, F. |
| 臺大學術典藏 |
2010 |
Relevance model revisited: With multiple document representations
|
Chen, R.-C.;Tsai, C.-M.;Hsiang, J.; Chen, R.-C.; Tsai, C.-M.; Hsiang, J.; JIEH HSIANG |
| 臺大學術典藏 |
2007 |
On building a full-text digital library of historical documents
|
Chen, S.-P.; Hsiang, J.; Tu, H.-C.; Wu, M.; JIEH HSIANG |
| 國立臺灣大學 |
2006-09 |
大學圖書館數位保存與館藏發展策略：以臺大圖書館為例
|
項潔; 洪筱盈; Hsiang, J; Hung, H.Y. |
| 臺大學術典藏 |
2006 |
Integrating linguistic knowledge into a conditional random fieldframework to identify biomedical named entities
|
JIEH HSIANG; Hsu, W.-L.; Hsiang, J.; Sung, T.-Y.; Tsai, T.-H.; Chou, W.-C.; Wu, S.-H. |
| 臺大學術典藏 |
2005 |
Configurable meta-search for integrating web public access catalogs
|
JIEH HSIANG; Hsiang, J.; Ho, H.I. |
| 臺大學術典藏 |
2005 |
Toward an integrated digital museum system - The Chi Nan experiences
|
Hung, S.-H.; Hsiang, J.; JIEH HSIANG; Chen, B.-H.; Hong, J.-S. |
| 國立臺灣大學 |
2004-6 |
數位典藏加值應用之探討
|
項潔; 陳雪華; 鄭惇方; 魏雅惠; Hsiang, J.; Chen, H.H.; Cheng, D.F.; Wei, Y.H. |
| 國立臺灣大學 |
2004-03 |
On the hardness of counting problems of complete mappings
|
Hsiang, J.; Hsu, D. Frank; Shieh, Yuh Pyng |
| 國立臺灣大學 |
2004 |
Digitalizing the Heritage Archives in National Taiwan University Library
|
Hsiang J.; Tsai Chiung-min |
| 國立臺灣大學 |
2004 |
Boolean Ring Satisfiability
|
Dershowitz N.; Hsiang J.; Huang G. S.; Kaiss D. |
| 國立臺灣大學 |
2003 |
Modularization Framework for Digital Museum Exhibition
|
Chen B. H.; Hung S. H.; Hong J. S.; Hsiang J. |
| 臺大學術典藏 |
2003 |
Multidimensional interactive fine-grained image retrieval
|
JIEH HSIANG; Tu, H.-C.; Chen, B.-C.; Hsiang, J.; Liu, W.-J. |
| 國立臺灣大學 |
2002-03 |
An Investigation of the Creative Use of Digital Archives
|
Hsiang, J.; Chen, H. H.; Wei, Y.H.; Kao, S. H. |
| 國立臺灣大學 |
2002-03 |
Physical versus Digital Museums, an Investigation
|
Hsiang, J.; Chen, B. H.; Jiang, Z. M.; Hong, J. H. |
| 國立臺灣大學 |
2002-03 |
On the Interoperation Framework of Digital Ardhives
|
Chen, H. H.; Hsiang, J.; Chen, C. C.; Hong, H. Y.; Hsu, D.; Chang, H. W. |
| 國立臺灣大學 |
2002 |
The Cyclic Complete Mappings Counting Problems
|
Hsiang J.; Shieh Y. P.; Chen Y. C. |
| 國立臺灣大學 |
2001-03 |
On the Enumerations of Abelian K-Complete Mappings
|
Hsieh, Y. P.; Hsiang, J.; Hsu, D. F. |
