2007 |
58 | EE | Szu-Pei Chen,
Jieh Hsiang,
Hsieh-Chang Tu,
Micha Wu:
On Building a Full-Text Digital Library of Historical Documents.
ICADL 2007: 49-60 |
2006 |
57 | EE | Nachum Dershowitz,
Jieh Hsiang,
Guan-Shieng Huang,
Daher Kaiss:
Boolean Rings for Intersection-Based Satisfiability.
LPAR 2006: 482-496 |
56 | EE | Richard Tzong-Han Tsai,
Shih-Hung Wu,
Wen-Chi Chou,
Yu-Chun Lin,
Ding He,
Jieh Hsiang,
Ting-Yi Sung,
Wen-Lian Hsu:
Various criteria in the evaluation of biomedical named entity recognition.
BMC Bioinformatics 7: 92 (2006) |
55 | EE | Tzong-Han Tsai,
Wen-Chi Chou,
Shih-Hung Wu,
Ting-Yi Sung,
Jieh Hsiang,
Wen-Lian Hsu:
Integrating linguistic knowledge into a conditional random fieldframework to identify biomedical named entities.
Expert Syst. Appl. 30(1): 117-128 (2006) |
2005 |
54 | EE | Hou Ieong Ho,
Jieh Hsiang:
Configurable Meta-search for Integrating Web Public Access Catalogs.
ICADL 2005: 317-322 |
53 | EE | Jen-Shin Hong,
Martin Doerr,
Jieh Hsiang:
Editorial.
Int. J. on Digital Libraries 5(3): 151-152 (2005) |
52 | EE | Jen-Shin Hong,
Bai-Hsuan Chen,
Sheng-Hao Hung,
Jieh Hsiang:
Toward an integrated digital museum system - the Chi Nan experiences.
Int. J. on Digital Libraries 5(3): 231-251 (2005) |
2004 |
51 | EE | Nachum Dershowitz,
Jieh Hsiang,
Guan-Shieng Huang,
Daher Kaiss:
Boolean Ring Satisfiability.
SAT 2004 |
50 | EE | Bee-Chung Chen,
Jieh Hsiang:
A Logical Framework of Knowledge Retrieval with Fuzziness.
Web Intelligence 2004: 524-528 |
49 | EE | Jieh Hsiang,
D. Frank Hsu,
Yuh-Pyng Shieh:
On the hardness of counting problems of complete mappings.
Discrete Mathematics 277(1-3): 87-100 (2004) |
2001 |
48 | EE | Jen-Shin Hong,
Bai-Hsuen Chen,
Jieh Hsiang:
XSL-based Content Management for Multi-presentation Digital Museum Exhibitions.
ECDL 2001: 378-389 |
47 | EE | Jen-Shin Hong,
Bai-Hsuen Chen,
Jieh Hsiang,
Tien-Yu Hsu:
Content management for digital museum exhibitions.
JCDL 2001: 450 |
2000 |
46 | EE | Jen-Shin Hong,
Herng-Yow Chen,
Jieh Hsiang:
A digital museum of Taiwanese butterflies.
ACM DL 2000: 260-261 |
45 | EE | Hsieh-Chang Tu,
Jieh Hsiang:
An architecture and category knowledge for intelligent information retrieval agents.
Decision Support Systems 28(3): 255-268 (2000) |
1999 |
44 | EE | Hsieh-Chang Tu,
Michael L. Lyu,
Jieh Hsiang:
Agent Technology for Website Browsing and Navigation.
HICSS 1999 |
1998 |
43 | | Jieh Hsiang,
Atsushi Ohori:
Advances in Computing Science - ASIAN '98, 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings
Springer 1998 |
42 | EE | Hsieh-Chang Tu,
Jieh Hsiang:
An Architecture and Category Knowledge for Intelligent Information Retrieval Agents.
HICSS (4) 1998: 405-414 |
41 | EE | Jieh Hsiang,
Hsieh-Chang Tu:
Personalized Web Retrieval: Three Agents for Retrieving Web Information.
PRIMA 1998: 118-132 |
40 | | Maria Paola Bonacina,
Jieh Hsiang:
On the Modelling of Search in Theorem Proving - Towards a Theory of Strategy Analysis.
Inf. Comput. 147(2): 171-208 (1998) |
39 | | Maria Paola Bonacina,
Jieh Hsiang:
On Semantic Resolution with Lemmaizing and Contraction and a Formal Treatment of Caching.
New Generation Comput. 16(2): 163-200 (1998) |
1997 |
38 | EE | Jieh-Sheng Lee,
Jieh Hsiang,
Po-Hao Tsang:
A Generic Virus Detection Agent on the Internet.
HICSS (4) 1997: 210-210 |
1996 |
37 | | Maria Paola Bonacina,
Jieh Hsiang:
On Semantic Resolution with Lemmaizing and Contraction.
PRICAI 1996: 372-386 |
36 | | Jieh Hsiang,
Anita Wasilewska:
Automating Algebraic Proofs in Algebraic Logic.
Fundam. Inform. 28(1-2): 129-140 (1996) |
35 | EE | Maria Paola Bonacina,
Jieh Hsiang:
A Category-Theoretic Treatment of Automated Theorem Proving.
J. Inf. Sci. Eng. 12(1): 101-125 (1996) |
34 | | Hantao Zhang,
Maria Paola Bonacina,
Jieh Hsiang:
PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems.
J. Symb. Comput. 21(4): 543-560 (1996) |
1995 |
33 | | Jieh Hsiang:
Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings
Springer 1995 |
32 | | Maria Paola Bonacina,
Jieh Hsiang:
The Clause-Diffusion Methodology for Distributed Deduction.
Fundam. Inform. 24(1/2): 177-207 (1995) |
31 | | Hong Chen,
Jieh Hsiang:
Recurrence Domains: Their Unification and Application to Logic Programming
Inf. Comput. 122(1): 45-69 (1995) |
30 | | Maria Paola Bonacina,
Jieh Hsiang:
Distributed Deduction by Clause-Diffusion: Distributed Contraction and the Aquarius Prover.
J. Symb. Comput. 19(1-3): 245-267 (1995) |
29 | EE | Maria Paola Bonacina,
Jieh Hsiang:
Towards a Foundation of Completion Procedures as Semidecision Procedures.
Theor. Comput. Sci. 146(1&2): 199-242 (1995) |
1994 |
28 | | Edmund K. Burke,
Jieh Hsiang:
On Subsumption in Distributed Derivations.
J. Autom. Reasoning 12(2): 225-240 (1994) |
27 | | Maria Paola Bonacina,
Jieh Hsiang:
Parallelization of Deduction Strategies: An Analytical Study.
J. Autom. Reasoning 13(1): 1-33 (1994) |
1993 |
26 | | Maria Paola Bonacina,
Jieh Hsiang:
Distributed Deduction by Clause-Diffusion: The Aquarius Prover.
DISCO 1993: 272-287 |
25 | | Maria Paola Bonacina,
Jieh Hsiang:
On Fairness in Distributed Automated Deduction.
STACS 1993: 141-152 |
1992 |
24 | | Maria Paola Bonacina,
Jieh Hsiang:
On Rewrite Programs: Semantics and Relationship with Prolog.
J. Log. Program. 14(1&2): 155-180 (1992) |
23 | | Jieh Hsiang,
Hélène Kirchner,
Pierre Lescanne,
Michaël Rusinowitch:
The Term Rewriting Approach to Automated Theorem Proving.
J. Log. Program. 14(1&2): 71-99 (1992) |
1991 |
22 | | Hong Chen,
Jieh Hsiang:
Logic Programming with Recurrence Domains.
ICALP 1991: 20-34 |
21 | | Maria Paola Bonacina,
Jieh Hsiang:
On Fairness of Completion-Based Theorem Proving Strategies.
RTA 1991: 348-360 |
20 | EE | Jieh Hsiang,
Michaël Rusinowitch:
Proving Refutational Completeness of Theorem-Proving Strategies: The Transfinite Semantic Tree Method.
J. ACM 38(3): 559-587 (1991) |
1990 |
19 | | Jieh Hsiang,
Jean-Pierre Jouannaud:
Tutorial on Rewrite-Based Theorem Proving.
CADE 1990: 684 |
18 | | Hong Chen,
Jieh Hsiang,
Hwa-Chung Kong:
On Finite Representations of Infinite Sequences of Terms.
CTRS 1990: 100-114 |
17 | | Maria Paola Bonacina,
Jieh Hsiang:
Completion Procedures as Semidecision Procedures.
CTRS 1990: 206-232 |
16 | | Maria Paola Bonacina,
Jieh Hsiang:
A System for Distributed Simplification-Based Theorem Proving.
Dagstuhl Seminar on Parallelization in Inference Systems 1990: 370 |
15 | | Maria Paola Bonacina,
Jieh Hsiang:
Operational and Denotational Semantics of Rewrite Programs.
NACLP 1990: 449-464 |
14 | | Siva Anantharaman,
Jieh Hsiang:
Automated Proofs of the Moufang Identities in Alternative Rings.
J. Autom. Reasoning 6(1): 79-109 (1990) |
1989 |
13 | | Siva Anantharaman,
Jieh Hsiang,
Jalel Mzali:
SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion.
RTA 1989: 533-537 |
1987 |
12 | | Jieh Hsiang,
Michaël Rusinowitch:
On Word Problems in Equational Theories.
ICALP 1987: 54-71 |
11 | | Jieh Hsiang,
Michaël Rusinowitch,
Kô Sakai:
Complete Inference Rules for the Cancellation Laws.
IJCAI 1987: 990-992 |
10 | | Jieh Hsiang:
Rewrite Method for Theorem Proving in First Order Theory with Equality.
J. Symb. Comput. 3(1/2): 133-151 (1987) |
9 | | Jieh Hsiang,
Mandayam K. Srivas:
Automatic Inductive Theorem Proving Using Prolog.
Theor. Comput. Sci. 54: 3-28 (1987) |
1986 |
8 | | Jieh Hsiang,
Michaël Rusinowitch:
A New Method for Establishing Refutational Completeness in Theorem Proving.
CADE 1986: 141-152 |
7 | | Leo Bachmair,
Nachum Dershowitz,
Jieh Hsiang:
Orderings for Equational Proofs
LICS 1986: 346-357 |
1985 |
6 | | Jieh Hsiang,
Mandayam K. Srivas:
PROLOG-Based Inductive Theorem Proving.
FSTTCS 1985: 129-149 |
5 | | Jieh Hsiang:
Two Results in Term Rewriting Theorem Proving.
RTA 1985: 301-324 |
4 | | Jieh Hsiang,
Mandayam K. Srivas:
A PROLOG Environment for Developing and Reasoning about Data Types.
TAPSOFT, Vol.2 1985: 276-293 |
3 | | Jieh Hsiang:
Refutational Theorem Proving Using Term-Rewriting Systems.
Artif. Intell. 25(3): 255-300 (1985) |
1983 |
2 | | Jieh Hsiang,
Nachum Dershowitz:
Rewrite Methods for Clausal and Non-Clausal Theorem Proving.
ICALP 1983: 331-346 |
1 | | Nachum Dershowitz,
Jieh Hsiang,
N. Alan Josephson,
David A. Plaisted:
Associative-Commutative Rewriting.
IJCAI 1983: 940-944 |