| 臺大學術典藏 |
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 |
