Jieh Xiang先生
人员信息
SPARQL查询
优化列表
2020年–今天
2024 [i7] 朱荣美 , 郝成洛 , Jieh Xiang先生 , Chun-Chieh Cho先生 :
从巴黎到LE-PARIS:利用推荐系统和协作大型语言模型实现专利响应自动化。 CoRR公司 abs/2402.00421 ( 2024 ) [i6] 郝成洛 , 朱荣美 , Jieh Xiang先生 , Chun-Chieh Cho先生 :
基于大型语言模型的专利图像检索。 CoRR公司 abs/2404.19360 ( 2024 ) 2020 [公元53年] I梅红 , Chijui Hu公司 , Jieh Xiang先生 :
通过DocuSky从中国记录员、丹信档案馆和台湾明清行政档案馆探索广宣在台湾的传教活动。 DH(决断高度) 2020 [i5] 李洁生 , Jieh Xiang先生 :
PatentTransformer-2:通过结构化元数据控制专利文本生成。 CoRR公司 abs/2001.03708 ( 2020 ) [i4] 李洁生 , Jieh Xiang先生 :
生成专利文本的先前技术搜索和重新排序。 CoRR公司 abs/2009.09132 ( 2020 )
2010 – 2019
2019 [第52条] 新宣松 , 陈柔安(Jou-An Chen) , Jieh Xiang先生 :
利用相关反馈发现《清实录》中与台湾有关的文献。 TPDL公司 2019 : 280-287 [第51条] 李洁生 , Jieh Xiang先生 :
PatentTransformer-1.5:通过跨度相关性测量专利请求生成。 JSAI-isAI研讨会 2019 : 20-33 [i3] 李洁生 , Jieh Xiang先生 :
PatentBERT:专利分类与预训练BERT模型微调。 CoRR公司 abs/1906.02124 ( 2019 ) [i2] 李洁生 , Jieh Xiang先生 :
通过微调OpenAI GPT-2生成专利申请。 CoRR公司 abs/1907.02052 ( 2019 ) [i1] 李洁生 , Jieh Xiang先生 :
通过跨度相关性衡量专利权利要求的产生。 CoRR公司 abs/1908.09591 ( 2019 ) 2018 [公元50年] 苏洪廷 , Jieh Xiang先生 , 林农耀 :
论中国标准史中的自然灾害。 DH(决断高度) 2018 : 406-408 2016 [公元49年] 穆楚云(Muh-Chyun Tang) , 郑云仁(Yun Jen Cheng) , 陈匡华 , Jieh Xiang先生 :
基于文献分析的数字人文知识整合研究。 DH(决断高度) 2016 : 690-692 2015 [公元31年] 陈匡华 , 穆楚云(Muh-Chyun Tang) , 王春梅 , Jieh Xiang先生 :
探索台湾社会科学和人文学科学术表现的替代指标。 科学计量学 102 ( 1 ) : 97-112 ( 2015 ) 2014 【j30】 王玉春 , 卡罗尔·恰天长 , 理查德·宗才 , Jieh Xiang先生 :
使用带有语言模型的条件随机场从中国佛教经典文献中提取音译。 国际计算机杂志。 语言学中国。 语言过程。 19 ( 三 ) ( 2014 ) [公元48年] Jieh Xiang先生 , 陈丽华 , 恰宣中 :
通过两部雷书一瞥7世纪至10世纪中国世界观的变化。 DH(决断高度) 2014 2013 [公元29年] Shih-Pei Chen先生 , 黄玉明 , Jieh Xiang先生 , 谢昌图 , 侯龙浩 , 陈平彦(Ping Yen Chen) :
从台湾土地契约中发现土地交易关系。 点燃。 语言计算。 28 ( 2 ) : 257-270 ( 2013 ) [公元28年] 王玉春 , 吴春凯 , 理查德·宗才 , Jieh Xiang先生 :
利用语音相似性测量从中国古典佛教文献中提取转写对。 新一代。 计算。 31 ( 4 ) : 265-283 ( 2013 ) [公元47年] 恰宣中 , Jieh Xiang先生 :
雷书本体映射初探。 文化与计算 2013 : 198-199 [公元46年] 谢昌图 , Jieh Xiang先生 :
《红楼梦》作者归属问题的文本挖掘研究。 DH(决断高度) 2013 : 441-443 2012 [公元27年] Jieh Xiang先生 , Shih-Pei Chen先生 , 侯龙浩 , 谢昌图 :
从清代宫廷文献中发现关系。 国际人类杂志。 艺术计算。 6 ( 1-2 ) : 22-41 ( 2012 ) [公元45年] 穆楚云(Muh-Chyun Tang) , 王春梅 , 陈匡华 , Jieh Xiang先生 :
探索台湾社会科学和人文学科学术表现评估的替代网络文献计量学。 ASIST公司 2012 : 1 [公元44年] 陈若成 , 李佳融 , Chiung-Min Tsai先生 , Jieh Xiang先生 :
静态索引修剪中的信息保存。 CIKM公司 2012 : 2487-2490 [公元43年] 彼得·博尔 , Jieh Xiang先生 , 格蕾丝·方 :
中国历史和文学的地形数据库、文本挖掘、GIS和系统互操作性。 DH(决断高度) 2012 : 43-51 [公元42年] Jieh Xiang先生 , 郑伟刚 , 艾伦·宋 :
中文录音机索引中的信息发现。 DH(决断高度) 2012 : 224-227 [公元41年] 陈若成 , Chiung-Min Tsai先生 , Jieh Xiang先生 :
一种用于无监督分词的正则化压缩方法。 SIGMORPHON公司 2012 : 26-34 2011 [公元40年] Shih-Pei Chen先生 , 黄玉明 , 侯龙浩 , 陈平彦(Ping Yen Chen) , Jieh Xiang先生 :
从台湾土地契约中发现土地交易关系。 DH(决断高度) 2011 : 106-110 [公元39年] Shih-Pei Chen先生 , 侯龙浩 , 谢昌图 , Jieh Xiang先生 :
清代朝廷文献中引文关系的发现。 DH(决断高度) 2011 : 291-295 [公元38年] Jieh Xiang先生 , Shu-Fen H.Lin先生 :
为静态材料注入新生命。 HICSS公司 2011 : 1-5 2010 [公元37年] 陈若成 , Chiung-Min Tsai先生 , Jieh Xiang先生 :
重新审视相关性模型:具有多个文档表示。 空气调节系统 2010 : 37-48 [公元36年] 侯龙浩 , Jieh Xiang先生 :
大学图书馆环境中社交网络的有效性。 KMIS公司 2010 : 307-310
2000 – 2009
2009 [公元26年] 陈匡华 , Jieh Xiang先生 :
机构知识库的独特方法:国立台湾大学的实践。 电子。 伦敦银行同业拆借利率。 27 ( 2 ) : 204-221 ( 2009 ) 2007 [公元35年] Szu-Pei Chen先生 , Jieh Xiang先生 , 谢昌图 , 吴美嘉(Micha Wu) :
关于建立一个完整的历史文献数字图书馆。 ICADL公司 2007 : 49-60 2006 [公元25年] 理查德·宗才 , Shih-Hung Wu先生 , 周文驰 , 林玉春 , 丁河 , Jieh Xiang先生 , 宋定懿 , 徐文莲 :
生物医学命名实体识别评价中的各种标准。 BMC生物信息。 7 : 92 ( 2006 ) [公元24年] Tzong-Han Tsai先生 , 周文驰 , Shih-Hung Wu先生 , 宋定懿 , Jieh Xiang先生 , 徐文莲 :
将语言知识集成到条件随机域框架中,以识别生物医学命名实体。 专家系统。 申请。 30 ( 1 ) : 117-128 ( 2006 ) [公元34年] 蔡清民(Chiung-min Tsai) , Jieh Xiang先生 , 陈雪华 :
实施数字档案社区机构知识库:国立台湾大学的经验。 都柏林核心会议 2006 [公元33年] 纳丘姆·德肖维茨 , Jieh Xiang先生 , 关世煌 , 达尔·凯斯 :
基于交集的可满足性的布尔环。 LPAR公司 2006 : 482-496 2005 [公元23年] 洪政欣 , 马丁·多尔 , Jieh Xiang先生 :
编辑。 国际期刊数字。 伦敦银行同业拆借利率。 5 ( 三 ) : 151-152 ( 2005 ) [公元22年] 洪政欣 , 陈白桦 , 盛浩鸿 , Jieh Xiang先生 :
迈向一个集成的数字博物馆系统——济南体验。 国际期刊数字。 伦敦银行同业拆借利率。 5 ( 三 ) : 231-251 ( 2005 ) [公元32年] 侯龙浩 , Jieh Xiang先生 :
用于集成Web公共访问目录的可配置元搜索。 ICADL公司 2005 : 317-322 2004 [公元21年] Jieh Xiang先生 , D.Frank Hsu , Yuh-Pyng Shieh先生 :
关于完全映射计数问题的困难。 谨慎。 数学。 277 ( 1-3 ) : 87-100 ( 2004 ) [公元31年] 纳丘姆·德肖维茨 , Jieh Xiang先生 , 关世煌 , 达尔·凯斯 :
布尔环可满足性。 坐 2004 [公元30年] 陈碧昌 , Jieh Xiang先生 :
模糊知识检索的逻辑框架。 Web智能 2004 : 524-528 2003 [公元29年] Jieh Xiang先生 , 刘文军 , 陈碧昌 , 谢昌图 :
多维交互式细粒度图像检索。 国际货币兑换协会 2003 : 297-300 2002 [公元20年] 乔伊斯·朝臣(Joyce Chao-chen chen) , 陈雪华 , 陈匡华 , Jieh Xiang先生 :
台湾数字博物馆倡议的元数据设计。 在线信息版本。 26 ( 5 ) : 295-306 ( 2002 ) 2001 [公元28年] 洪政欣 , 陈白勋 , Jieh Xiang先生 :
基于XSL的多演示数字博物馆展览内容管理。 ECDL公司 2001 : 378-389 [公元27年] 洪政欣 , 陈白勋 , Jieh Xiang先生 , 徐天宇 :
数字博物馆展览的内容管理。 JCDL公司 2001 : 450 2000 [公元19年] 谢昌图 , Jieh Xiang先生 :
智能信息检索代理的体系结构和类别知识。 Decis公司。 支持系统。 28 ( 三 ) : 255-268 ( 2000 ) [公元26年] 洪政欣 , Heng-Yow Chen先生 , Jieh Xiang先生 :
台湾蝴蝶数字博物馆。 ACM下载 2000 : 260-261
1990 – 1999
1999 [公元25年] 谢昌图 , 迈克尔·L·吕 , Jieh Xiang先生 :
网站浏览和导航的代理技术。 HICSS公司 1999 1998 [公元18年] 玛丽亚·保拉·博纳西纳 , Jieh Xiang先生 :
论定理证明中的搜索建模——走向策略分析理论。 Inf.计算。 147 ( 2 ) : 171-208 ( 1998 ) [j17] 玛丽亚·保拉·博纳西纳 , Jieh Xiang先生 :
关于引理和收缩的语义解析以及缓存的形式化处理。 新一代。 计算。 16 ( 2 ) : 163-200 ( 1998 ) [公元24年] 谢昌图 , Jieh Xiang先生 :
智能信息检索代理的体系结构和类别知识。 HICSS(4) 1998 : 405-414 【c23】 Jieh Xiang先生 , 谢昌图 :
个性化Web检索:检索Web信息的三个代理。 主要的 1998 : 118-132 [e2] Jieh Xiang先生 , 大森Atsushi Ohori :
《计算科学进展——1998年亚洲》,第四届亚洲计算科学会议,菲律宾马尼拉,1998年12月8日至10日,会议记录。 计算机科学课堂讲稿 1538, 施普林格 1998 ,国际标准图书编号 3-540-65388-0 [目录] 1997 [公元22年] 李洁生 , Jieh Xiang先生 , Po-Hao Tsang先生 :
Internet上的通用病毒检测代理。 HICSS(4) 1997 : 210-210 1996 [公元16年] Jieh Xiang先生 , 安妮塔·瓦西莱斯卡 :
代数逻辑中代数证明的自动化。 芬丹。 信息学 28 ( 1-2 ) : 129-140 ( 1996 ) [公元15年] 玛丽亚·保拉·博纳西纳 , Jieh Xiang先生 :
自动定理证明的范畴论处理。 《信息科学杂志》。 工程师。 12 ( 1 ) : 101-125 ( 1996 ) [公元14年] 张汉涛 , 玛丽亚·保拉·博纳西纳 , Jieh Xiang先生 :
PSATO:分布式命题证明器及其在拟群问题中的应用。 J.塞姆。 计算。 21 ( 4 ) : 543-560 ( 1996 ) [c21] Jieh Xiang先生 , 关世煌 :
布尔环范式的一些基本性质。 可满足性问题:理论与应用 1996 : 587-602 [公元20年] 玛丽亚·保拉·博纳西纳 , Jieh Xiang先生 :
基于柠檬化和收缩的语义解析。 价格 1996 : 372-386 1995 [j13] 玛丽亚·保拉·博纳西纳 , Jieh Xiang先生 :
分布式演绎的子句扩散方法。 芬丹。 信息学 24 ( 1/2 ) : 177-207 ( 1995 ) [公元12年] 洪晨(音) , Jieh Xiang先生 :
递归域:它们的统一及其在逻辑编程中的应用。 Inf.计算。 122 ( 1 ) : 45-69 ( 1995 ) [公元11年] 玛丽亚·保拉·博纳西纳 , Jieh Xiang先生 :
克劳斯扩散的分布式演绎:分布式收缩和宝瓶座证明。 J.塞姆。 计算。 19 ( 1-3 ) : 245-267 ( 1995 ) [公元10年] 玛丽亚·保拉·博纳西纳 , Jieh Xiang先生 :
建立作为半决定程序的完成程序基础。 西奥。 计算。 科学。 146 ( 1&2 ) : 199-242 ( 1995 ) [电子1] Jieh Xiang先生 :
重写技术与应用,第六届国际会议,RTA-95,德国凯泽斯劳滕,1995年4月5-7日,会议记录。 计算机科学课堂讲稿 914, 施普林格 1995 ,国际标准图书编号 3-540-59200-8 [目录] 1994 [公元9年] 玛丽亚·保拉·博纳西纳 , Jieh Xiang先生 :
关于分布导数中的包含。 J.汽车。 原因。 12 ( 2 ) : 225-240 ( 1994 ) [j8] 玛丽亚·保拉·博纳西纳 , Jieh Xiang先生 :
演绎策略的平行化:一项分析研究。 J.汽车。 原因。 13 ( 1 ) : 1-33 ( 1994 ) 1993 [第19条] 玛丽亚·保拉·博纳西纳 , Jieh Xiang先生 :
克劳斯扩散的分布式演绎:水瓶座证明者。 迪斯科舞厅 1993 : 272-287 [第18条] 玛丽亚·保拉·博纳西纳 , Jieh Xiang先生 :
分布式自动演绎中的公平性。 STACS公司 1993 : 141-152 1992 [j7] Jieh Xiang先生 , 赫莱内·基什内尔 , 皮埃尔·莱斯坎 , 米夏·鲁西诺维奇 :
自动定理证明的术语重写方法。 J.日志。 程序。 14 ( 1&2 ) : 71-99 ( 1992 ) [j6] 玛丽亚·保拉·博纳西纳 , Jieh Xiang先生 :
重写程序:语义和与Prolog的关系。 J.日志。 程序。 14 ( 1&2 ) : 155-180 ( 1992 ) 1991 [j5] Jieh Xiang先生 , 米夏·鲁西诺维奇 :
证明定理证明策略的反驳完备性:超有限语义树方法。 美国临床医学杂志 38 ( 三 ) : 559-587 ( 1991 ) [第17条] 洪晨(音) , Jieh Xiang先生 :
递归域逻辑程序设计。 ICALP公司 1991 : 20-34 [第16条] 玛丽亚·保拉·博纳西纳 , Jieh Xiang先生 :
论完备性定理证明策略的公平性。 RTA公司 1991 : 348-360 1990 【j4】 湿婆阿南塔拉曼 , Jieh Xiang先生 :
交替环中牟方恒等式的自动证明。 J.汽车。 原因。 6 ( 1 ) : 79-109 ( 1990 ) [第15条] Jieh Xiang先生 , Jean-Pierre Jouannaud女士 :
基于重写的定理证明教程。 CADE公司 1990 : 684 [第14条] 洪晨(音) , Jieh Xiang先生 , 华中港 :
关于无限项序列的有限表示。 CTRS公司 1990 : 100-114 [第13条] 玛丽亚·保拉·博纳西纳 , Jieh Xiang先生 :
作为半决定程序的完成程序。 CTRS公司 1990 : 206-232 [c12] 玛丽亚·保拉·博纳西纳 , Jieh Xiang先生 :
基于分布式简化的定理证明系统。 Dagstuhl推理系统并行化研讨会 1990 : 370 [第11条] 玛丽亚·保拉·博纳西纳 , Jieh Xiang先生 :
重写程序的操作语义和表示语义。 NACLP公司 1990 : 449-464
1980 – 1989
1989 [第10条] 湿婆阿南塔拉曼 , Jieh Xiang先生 , 贾勒·姆扎利 :
SbReve2:完成(AC-)不合格的学期重写实验室。 RTA公司 1989 : 533-537 1987 [j3] Jieh Xiang先生 :
一阶等式定理证明的重写方法。 J.塞姆。 计算。 三 ( 1/2 ) : 133-151 ( 1987 ) [注2] Jieh Xiang先生 , 曼达扬·K·斯利瓦斯 :
用Prolog自动证明归纳定理。 西奥。 计算。 科学。 54 : 3-28 ( 1987 ) 【c9】 Jieh Xiang先生 , 米夏·鲁西诺维奇 :
等式理论中的词汇问题。 ICALP公司 1987 : 54-71 【c8】 Jieh Xiang先生 , 米夏·鲁西诺维奇 , 科萨凯 :
取消法律的完整推断规则。 国际JCAI 1987 : 990-992 1986 【c7】 Jieh Xiang先生 , 米夏·鲁西诺维奇 :
定理证明中建立反驳完备性的一种新方法。 CADE公司 1986 : 141-152 【c6】 利奥·巴赫迈尔 , 纳丘姆·德肖维茨 , Jieh Xiang先生 :
等式证明的顺序。 低收入国家 1986 : 346-357 1985 [j1] Jieh Xiang先生 :
用术语重写系统证明反驳定理。 Artif公司。 智力。 25 ( 三 ) : 255-300 ( 1985 ) 【c5】 Jieh Xiang先生 , 曼达扬·K·斯利瓦斯 :
基于PROLOG的归纳定理证明。 FSTTCS公司 1985 : 129-149 【c4】 Jieh Xiang先生 :
项重写定理证明中的两个结果。 RTA公司 1985 : 301-324 【c3】 Jieh Xiang先生 , 曼达扬·K·斯利瓦斯 :
用于开发和推理数据类型的PROLOG环境。 TAPSOFT,第2卷 1985 : 276-293 1983 【b1】 Jieh Xiang先生 :
自动定理证明和程序生成主题。 美国伊利诺伊大学香槟分校, 1983 【c2】 Jieh Xiang先生 , 纳丘姆·德肖维茨 :
子句和非子句定理证明的重写方法。 ICALP公司 1983 : 331-346 【c1】 纳丘姆·德肖维茨 , Jieh Xiang先生 , N.阿兰·约瑟夫森 , 大卫·A·普莱斯特 :
关联交换重写。 国际JCAI 1983 : 940-944