| 臺大學術典藏 |
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:46:52Z |
全國文化資料庫系統架構、詮釋資料及數位檔案格式研究計畫
|
JIEH HSIANG; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T03:46:52Z |
Rewrite Techniques in Theorem Proving
|
JIEH HSIANG; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T03:46:52Z |
適用於蝴蝶的內容與影像查詢技術之研究(1/2)
|
JIEH HSIANG; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T03:46:51Z |
Computing with Recurrence Domains
|
Chen, H.; Hsiang, Jieh; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T03:46:51Z |
Logic Programming with Recurrence Domains
|
JIEH HSIANG; JIEH HSIANG; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T03:28:39Z |
在命題邏輯推理方法中去除多餘性的研究與應用(1/2)
|
JIEH HSIANG; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T03:28:39Z |
Digital museum of Taiwanese butterflies
|
N?rnberg, Peter J.; Hicks, David L.; Furuta, Richard; Jen-Shin Hong; Herng-Yow Chen; Jieh Hsiang; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T03:28:39Z |
Architecture and category knowledge for intelligent information retrieval agents
|
Tu, H.-C.; Hsiang, J.; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T03:28:38Z |
淡新檔案的數位化整理
|
JIEH HSIANG; JIEH HSIANG |
| 國立政治大學 |
2015-12 |
Observing the Evolution of Worldview through Digital Humanities: A Comparative Study of Two Leishu
|
項潔; Jieh, Hsiang; 陳麗華; Chen), Li-Hua; 杜協昌; Tu, Hsieh-Chang; 鍾嘉軒 |
| 國立臺灣大學 |
2015 |
Exploring alternative metrics of scholarly performance in the social sciences and humanities in taiwan
|
MUH-CHYUN TANG;JIEH HSIANG; Chen, K.-H. and Tang, M.-C. and Wang, C. and Hsiang, J. |
| 國立臺灣大學 |
2012 |
Exploring alternative cyberbibliometrics for evaluation of scholarly performance in the social sciences and humanities in Taiwan
|
HSUEH-HUA CHEN;MUH-CHYUN TANG;JIEH HSIANG; Tang, M.-C. and Wang, C.-M. and Chen, K.-H. and Hsiang, J. |
| 臺大學術典藏 |
2011 |
Breathing New Life into Static Materials.
|
Hsiang, Jieh;Lin, Shu-Fen H.; Hsiang, Jieh; Lin, Shu-Fen H.; JIEH HSIANG |
| 臺大學術典藏 |
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 |
| 國立臺灣大學 |
2009 |
The unique approach to institutional repository: Practice of National Taiwan University
|
HSUEH-HUA CHEN;JIEH HSIANG; Chen, K.-H. and Hsiang, J. |
| 臺大學術典藏 |
2007 |
創造、管理及使用數位館藏：臺大圖書館經驗談
|
JIEH HSIANG; 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 |
| 臺大學術典藏 |
2007 |
On Building a Full-Text Digital Library of Historical Documents.
|
Chen, Szu-Pei; Hsiang, Jieh; Tu, Hsieh-Chang; Wu, Micha; JIEH HSIANG |
| 臺大學術典藏 |
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. |
| 臺大學術典藏 |
2003 |
Multidimensional interactive fine-grained image retrieval
|
JIEH HSIANG; Tu, H.-C.; Chen, B.-C.; Hsiang, J.; Liu, W.-J. |
| 國立臺灣大學 |
2002 |
The Design of Metadata for the Digital Museum Initiative in Taiwan
|
Chen, Chao-Chen; Chen, Hsueh-Hua; Chen, Kuang-Hua; Jieh, Hsiang |
| 國立臺灣大學 |
2002 |
The design of metadata for the digital museum initiative in taiwan
|
HSUEH-HUA CHEN;HSUEH-HUA CHEN;JIEH HSIANG; Chen, C.-C. and Chen, H.-H. and Chen, K.-H. and Hsiang, J. |
| 臺大學術典藏 |
2002 |
The Design of Metadata for the Digital Museum Initiative in Taiwan
|
Jieh, Hsiang; Chen, Kuang-Hua; Chen, Hsueh-Hua; Chen, Chao-Chen; Chen, Chao-Chen; Chen, Hsueh-Hua; Chen, Kuang-Hua; Jieh, Hsiang |
| 臺大學術典藏 |
2002 |
數位典藏在數位內容產業之應用加值
|
JIEH HSIANG; JIEH HSIANG |
| 臺大學術典藏 |
2001 |
Content management for digital museum exhibitions.
|
Hsiang, Jieh; Hsu, Tien-Yu; JIEH HSIANG; Chen, Bai-Hsuen; Hong, Jen-Shin |
| 臺大學術典藏 |
1998 |
布爾環的理論與應用研究(I)
|
JIEH HSIANG; JIEH HSIANG |
| 臺大學術典藏 |
1996 |
PSATO: A distributed propositional prover and its application to quasigroup problems
|
ZHANG, HANTAO;BONACINA, MARIA PAOLA;HSIANG, JIEHZhang, H.;Bonacina, M.P.;Hsiang, J.; ZHANG, HANTAO; BONACINA, MARIA PAOLA; HSIANG, JIEHZhang, H.; Bonacina, M.P.; Hsiang, J.; JIEH HSIANG |
| 臺大學術典藏 |
1996 |
On Semantic Resolution with Lemmaizing and Contraction.
|
Bonacina, Maria Paola;Hsiang, Jieh; Bonacina, Maria Paola; Hsiang, Jieh; JIEH HSIANG |
| 臺大學術典藏 |
1994 |
On subsumption in distributed derivations
|
JIEH HSIANG; Hsiang, J.; Bonacina, M.P. |
| 臺大學術典藏 |
1993 |
Distributed Deduction by Clause-Diffusion: The Aquarius Prover.
|
Bonacina, Maria Paola; Hsiang, Jieh; JIEH HSIANG |
| 臺大學術典藏 |
1992 |
The Term Rewriting Approach to Automated Theorem Proving.
|
Rusinowitch, Micha?l; JIEH HSIANG; Lescanne, Pierre; Kirchner, H?l?ne; Hsiang, Jieh |
| 臺大學術典藏 |
1991 |
Proving Refutational Completeness of Theorem-Proving Strategies: The Transfinite Semantic Tree Method.
|
Rusinowitch, Micha?l; JIEH HSIANG; Hsiang, Jieh |
| 臺大學術典藏 |
1991 |
On finite representations of infinite sequences of terms
|
JIEH HSIANG; Chen, H.; Hsiang, J.; Kong, H.-C. |
| 臺大學術典藏 |
1989 |
SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion.
|
Anantharaman, Siva; Hsiang, Jieh; Mzali, Jalel; JIEH HSIANG; Anantharaman, Siva;Hsiang, Jieh;Mzali, Jalel |
| 臺大學術典藏 |
1986 |
ORDERINGS FOR EQUATIONAL PROOFS.
|
Bachmair, Leo;Dershowitz, Nachum;Hsiang, Jieh; Bachmair, Leo; Dershowitz, Nachum; Hsiang, Jieh; JIEH HSIANG |
| 臺大學術典藏 |
1986 |
A New Method for Establishing Refutational Completeness in Theorem Proving.
|
Hsiang, Jieh; Hsiang, Jieh;Rusinowitch, Micha?l; Rusinowitch, Micha?l; JIEH HSIANG |
| 臺大學術典藏 |
1985 |
PROLOG-Based Inductive Theorem Proving.
|
Hsiang, Jieh; Hsiang, Jieh;Srivas, Mandayam K.; Srivas, Mandayam K.; JIEH HSIANG |
| 臺大學術典藏 |
1985 |
Two Results in Term Rewriting Theorem Proving.
|
Hsiang, Jieh; Hsiang, Jieh; JIEH HSIANG |
