Digital Archives and Automated Reasoning Lab

People

Faculty

項潔,　 Jieh Hsiang

自動推理
程式語言邏輯
人工智慧
數位圖書館與博物館

Top

Post Doctor

杜協昌,　Hsieh-Chang Tu

Top

PhDs

陳詩沛,　She-Pei Chen
何浩洋,　Hau-Yan Ho
洪筱盈,　Hsiao-Ying Hung
陳瑞呈,　Ruey-Cheng Chen

PhDs 2003

劉文俊,　Win-Jean Liu

(2003)。特定領域影像擷取之模型，實作，及實驗。國立臺灣大學資訊工程學研究所博士論文，台北市。
(2003). Model, Implementation, and Experiments for Fine-Grained Image Retrieval. National Taiwan University, Taipei, Taiwan.

Top

PhDs 2002

陳鍾誠,　Chung-Chen Chen

(2002)。基於欄位填充機制的XML文件檢索方法 - (以蝴蝶與蛋白質的檢索為案例)。國立臺灣大學資訊工程學研究所博士論文，台北市。
(2002). XML Retrieval - A Slot Filling Approach. National Taiwan University, Taipei, Taiwan.

Top

PhDs 2001

謝育平,　Yuh-Pyng Shieh

(2001)。窮舉法的分割技巧及其在列舉組合學上之應用。國立臺灣大學資訊工程學研究所博士論文，台北市。
(2001). Partition Strategies for #P-Complete Problems with Applications to Enumerative Combinatorics. National Taiwan University, Taipei, Taiwan.

Top

PhDs 2000

林耀仁,　Yaw-Jen Li

(2000)。以個人資料庫架構整合網際網路上之遠端資料庫系統。國立臺灣大學資訊工程學研究所博士論文，台北市。
(2000). The Personal Database Framework for Integrating Remote Database Systems on the Internet. National Taiwan University, Taipei, Taiwan.

潘家煜,　Jia-yu Pan

Top

PhDs 1999

黃光璿,　Kuang-shuan Huang

(1999)。窮舉法的化約技巧及其在組合學上之應用。國立臺灣大學資訊工程學研究所博士論文，台北市。
(1999). Search Reduction Techniques and Applications to Problems in Combinatorics. National Taiwan University, Taipei, Taiwan.

杜協昌,　Hsieh-chang Tu

(1999)。互動式網際網路檢索，模型，度量及實驗。國立臺灣大學資訊工程學研究所博士論文，台北市。
(1999). Interactive Web IR: Focalization Model, Effectiveness Measures, and Experiments. National Taiwan University, Taipei, Taiwan.

Top

Masters

蕭屹灵
藍永倫
陳譽仁
張鈞韜
朱國延
盧家慶
廖儁凡
陳思靜
李承恩

Master 2006

曾開昱,　Kai-Yu Tseng
陳榮佐,　Rong-Zuo Chen
張尚斌,　Son-Bin Chang
莊萬慶,　One-Ching Chuang
吳宗和,　Zon-Ho Wu
王文廷,　Wen-Ting Wang

Top

Master 2004

蔡雨利,　Yu-Li Tsai

(2004)。以鏈結為基礎的網站行為研究。國立臺灣大學資訊工程學研究所碩士論文，台北市。
(2004). Link-based Web Site Analysis. National Taiwan University, Taipei, Taiwan.

林聖凱,　Shan-Kei Lin

(2004)。研究資源典藏系統。國立臺灣大學資訊工程學研究所碩士論文，台北市。
(2004). A Study on Institutional Repositories. National Taiwan University, Taipei, Taiwan.

吳政泓,　Chen-Hon Wu

(2004)。可攜式文字集之研究與應用。國立臺灣大學資訊工程學研究所碩士論文，台北市。
(2004). The Portable Word Set Approach to the Missing Character Problem in Chinese. National Taiwan University, Taipei, Taiwan.

蔡長恩,　Chan-Un Tsai

(2004)。可攜式網站之研究與實作。國立臺灣大學資訊工程學研究所碩士論文，台北市。
(2004). The Study and Implementation of a Portable WebSite System. National Taiwan University, Taipei, Taiwan.

何浩洋,　Hau-Yan Ho

(2004)。臺灣圖書館館藏目錄聯合檢索系統。國立臺灣大學資訊工程學研究所碩士論文，台北市。
(2004). Meta Cat - A Meta Search System for Taiwanese Libraries. National Taiwan University, Taipei, Taiwan.

廖漢騰,　Han-Tang Liaw

(2004)。以日誌為基礎的照片管理系統。國立臺灣大學資訊工程學研究所碩士論文，台北市。
(2004). Blog-Based Photo Management System. National Taiwan University, Taipei, Taiwan.

Top

Master 2003

劉秉涵,　Bin-Han Liu

(2003)。特定領域下的半自動化影像特徵建構。國立臺灣大學資訊工程學研究所碩士論文，台北市。
(2003). Semi-automatic Feature Selection for Fine-Grained Image Retrieval. National Taiwan University, Taipei, Taiwan.

陳詩沛,　She-Pei Chen

(2003)。全球資訊網上的語意搜尋，語意抽取，推理，與投射架構。國立臺灣大學資訊工程學研究所碩士論文，台北市。
(2003). Semantic Search on the World Wide Web: The Semantic Extraction, Reasoning, and Projection Framework. National Taiwan University, Taipei, Taiwan.

陳瑞呈,　Ruey-Cheng Chen

(2003)。環境感知內容改編模型：基於XSLT的反覆式網頁內容改編方法。國立臺灣大學資訊工程學研究所碩士論文，台北市。
(2003). Context-aware Content Adaptation Model: An iterative XSLT-based Approach for Web Content Adaptation. National Taiwan University, Taipei, Taiwan.

沈韋穎,　Wei-Yin Sheng

(2003)。即時人臉偵測系統。國立臺灣大學資訊工程學研究所碩士論文，台北市。
(2003). A Real-time Face Detection System. National Taiwan University, Taipei, Taiwan.

陳耀將,　Yau-Jiang Chen

Top

Masters 2002

賴勝華,　Shan-Hwa Lai

(2002)。蝴蝶影像顏色檢索。國立臺灣大學資訊工程學研究所碩士論文，台北市。
(2002). Color Retrieval of Butterfly Images. National Taiwan University, Taipei, Taiwan.

洪智瑋,　Glory Hon

(2002)。蝴蝶影像花紋檢索。國立臺灣大學資訊工程學研究所碩士論文，台北市。
(2002). Texture Retrieval of Butterfly Images. National Taiwan University, Taipei, Taiwan.

陳宏杰,　Hung-Chieh Chen

(2002)。(XML-Based)文化資料庫的設計與實作。國立臺灣大學資訊工程學研究所碩士論文，台北市。
(2002). Design and Implementation of a Cultural Database System. National Taiwan University, Taipei, Taiwan.

黃子癸,　Tzu-Kuei Huang

(2002)。以 MPEG-7 為基礎之蝴蝶影像形狀檢索。國立臺灣大學資訊工程學研究所碩士論文，台北市。
(2002). MEPG-7 Based Butterfly Image Retrieval on Shape. National Taiwan University, Taipei, Taiwan.

Top

Masters 2001

徐代昕

(2001)。數位典藏互通性架構之建置。國立臺灣大學資訊工程學研究所碩士論文，台北市。
(2001)An Interoperability Framework For Digital Archives. National Taiwan University, Taipei, Taiwan.

Top

Masters 2000

陳必衷,　Bee-Chung Chen

(2000)。蝴蝶影像內容檢索。國立臺灣大學資訊工程學研究所碩士論文，台北市。
(2000). Content-Based Image Retrieval of Butterflies. National Taiwan University, Taipei, Taiwan.

余禎祥

(2000)。蝴蝶數位博物館之教案系統設計與實作。國立臺灣大學資訊工程學研究所碩士論文，台北市。
(2000). Butterpree - Preparing Course Material from a Digital Museum of Butterflies. National Taiwan University, Taipei, Taiwan.

Top

Masters 1999

蕭若立,　Jo-Li Hsiao

(1999)。助理型論文檢索系統之設計。國立臺灣大學資訊工程學研究所碩士論文，台北市。
(1999). The Design of a Web Paper Retrieval System. National Taiwan University, Taipei, Taiwan.

楊逸群,　Yi-Chun Yang

(1999)。助理型論文檢索系統之資料庫設計。國立臺灣大學資訊工程學研究所碩士論文，台北市。
(1999). Database Technology for BibTeX Agent, A Paper Retrieval System. National Taiwan University, Taipei, Taiwan.

Top

Masters 1998

廖書賢,　Shu-shien Liao

(1998)。網際網路搜尋的個人化研究。國立臺灣大學資訊工程學研究所碩士論文，台北市。
(1998). Personal Category Profiles for WWW Information Retrieval. National Taiwan University, Taipei, Taiwan.

呂立偉,　Li-wei Lu

(1998)。網路覽讀的使用者介面設計。國立臺灣大學資訊工程學研究所碩士論文，台北市。
(1998). The Design and Implementation of Integrated User Interface for Web Browsing. National Taiwan University, Taipei, Taiwan.

黃建山,　Chien-shan Huang

(1998)。用同構精簡策略在命題邏輯中解格子點問題。國立臺灣大學資訊工程學研究所碩士論文，台北市。
(1998). Solving Lattice Point Problems by Propositional Reasoning with Isomorphism Cutting Strategy. National Taiwan University, Taipei, Taiwan.

陳慕一,　Muyi Chen

(1998)。個人分類 Proxy 伺服器之應用。國立臺灣大學資訊工程學研究所碩士論文，台北市。
(1998). Applications of Personal Category Proxy Server. National Taiwan University, Taipei, Taiwan.

Top

Masters 1997

詹仁良,　Ren-liang Jan

(1997)。布爾環下零階邏輯定理證明的一些實驗性結果。國立臺灣大學資訊工程學研究所碩士論文，台北市。
(1997). Experimental Results on Propositional Theorem Proving with Boolean Ring. National Taiwan University, Taipei, Taiwan.

李敏宏,　Min-hong Lee

(1997)。以Java語言為基礎的個人化Proxy Server及其應用。國立臺灣大學資訊工程學研究所碩士論文，台北市。
(1997). Java-based Personal Proxy Server and its Applications. National Taiwan University, Taipei, Taiwan.

唐世安,　Shi-an Tang

(1997)。無限項集合表示法之性質分析與比較。國立臺灣大學資訊工程學研究所碩士論文，台北市。
(1997). Property Analysis and Classification of Different Recurrent Schematization Methods. National Taiwan University, Taipei, Taiwan.

潘家煜,　Jia-yu Pan

(1997)。HTML格式文件之資料擷取方法及其應用。國立臺灣大學資訊工程學研究所碩士論文，台北市。
(1997). An Information Extraction Method for HTML Documents and its Applications. National Taiwan University, Taipei, Taiwan.

臧柏皓,　Po-hao Tsang

(1997)。網際網路架構中未知病毒之偵測。國立臺灣大學資訊工程學研究所碩士論文，台北市。
(1997). Generic Virus Detection over the Internet and Detection Ratio Improvement through Learning. National Taiwan University, Taipei, Taiwan.

Top

Master 1996

陳俊傑,　Jun-Jie Chen

(1996)。ManHunt - UNIX On-line Manuals 的瀏覽與檢索工具。國立臺灣大學資訊工程學研究所碩士論文，台北市。
(1996). ManHunt - An UNIX On-line Manuals Browsing and Retrieving Tool. National Taiwan University, Taipei, Taiwan.

Top

Masters 1995

李界昇,　Jason, Jieh-Sheng Lee

(1995)。以軟體模擬法分析電腦病毒。國立臺灣大學資訊工程學研究所碩士論文，台北市。
(1995). Generic virus detection & pattern generation through software emulation. National Taiwan University, Taipei, Taiwan.

傅國長,　Kuo-chang Fu

(1995)。Skolemization之技巧。國立臺灣大學資訊工程學研究所碩士論文，台北市。

陳恆智,　Heng-chi Chen

(1995)。在布林環上的SPLITTING策略的實作。國立臺灣大學資訊工程學研究所碩士論文，台北市。
(1995). The Implementation of Splitting Strategy on Boolean Ring. National Taiwan University, Taipei, Taiwan.

錢群星,　Chun-shing Chien

(1995)。利用Otter產生一些代數問題的証明。國立臺灣大學資訊工程學研究所碩士論文，台北市。
(1995). Generating proofs of some algebraic problems by using Otter. National Taiwan University, Taipei, Taiwan.

吳仲偉,　Chung-wei Wu

Top

Undergraduates

黃于鳴,　Yu-ming Haung
黃玉虹,　Yu Huang

Top

Assistants

鐘淑微,　Shu-wei Chung
梁素瑜,　Su-yu Liang
黃康妮,　Connie, Kang-ni Huang
游意斐,　Yi-fei Yo
林幸慧,　Xing-Hui Lin

Top

Friends

方浩任,　Hao-ren Fang
林耀仁,　Yaw-jen Lin
許為元,　Wei-Yuan Hsu

Top