姓名貝若爾
英文姓名 Daniel James Buehrer
基本資料 Basic Information
美國維斯康新州
地址 62107 嘉義縣民雄鄉中正大學資訊工程研究所
電話 (05)2720411(33103)
到所日期
物件導向技術 Object-Oriented Technology
人工智慧 Artificial Intelligence:
自動理論證明 Automatic Theorem Proving,
籠統邏輯 Vague Logic
教課程 Courses Taught
人工智慧 Artificial Intelligence
程式語言Programming Languages
編輯器設計 Compiler Design
專家系統 Expert Systems
物件導向資料庫系統 Object-Oriented Database Systems
物件導向技術 Object-Oriented Technology
作業系統 Operating Systems
計算方法設計與分析 Design and Analysis of Algorithms
高等人工智慧 Advanced Artificial Intelligence
高等自動理論證名專題 Advanced Topics in Automatic Theorem Proving
計算方法分析專題 Topics on Computer Algorithm Analysis
高等編輯器技術 Advanced Compiler Technology
學會 Memberships
Senior Member of IEEE Computer Society
Member of Association for Computing Machinery since 1972.
Member of
ROCLING .
指導學生 Student Theses
While at
指導學生 論文名稱 完成日期
l Tsao Der-Quay 曹德貴 Extensions and Optimizations of a PACSAL Compiler PASCAL 編譯器的擴張和最佳化 May, 1981
l Chang Jen-Sen 張俊盛 An LALR(1) Translator Generator LALR(1) 編譯程式產生器 May,1981
l Chen Kai-Hu 陳開祜 A Unification Algorithm with Top-Down Matching 由上而下相配合的單一化演算法 May, 1982
l
Yao Pai-Tao 姚培道
l Lin Shih-San 林士山 C-Based Simulation: A General-Purpose Simulation Language Based on Programming Language C 一個建立在程式語言 C 上的通用過程描述式模擬語言 May,1983
l Kuo Kien-Chiang 郭建強 A Theorem-Proving Approach to Protocol Analysis 一個用定理證明做通信協定分析的女 May, 1983
l Lu Da-Gung 陸大綱 The Design and Implementation of a Prolog Interpreter Prolog 翻譯器之設計與製作 May, 1984
l Sheu Der-Yi 許德懿 Parallel Unification Algorithm可平行處理之統一化方法 May, 1984
l Lu Lee-Chung 魯立忠 The Mapping Form Data Dependence Graphs of Loops to Parallel Architectures 資料相關圖至平行計算結構之映射 May, 1984
l Lwo Hung-Da 駱宏達 A Prolog Expert System Shell Prolog 專家系統核心程式 May, 1985
l Wu Tien-Tsong 吳添聰 A Plausibility Inference System 合理的推論系統May, 1985
l Chen Yeong-Jyi 陳永吉 Using Prolog to Specify Joseki Moves of Go 使用 Prolog 闡釋圍棋定石 May, 1986
l
Lin Jenn-Shen 林振盛
A Portable Implementation of a Prolog Interpreter 可攜性的
Prolog編譯器May, 1986
While at National Chung Cheng University:
l 指導學生 論文名稱 完成日
l Gao Wen-Long 高文龍 Vague Sets 含糊集合 Jan., 1992
l Tu Yi-Cheng 涂一誠 Query Processing and Optimization for Object-Oriented Database Systems物件導向資料庫的查詢處理與最佳化 May, 1992
l Lin Fu-Ren 林福仁 Design and Simulation of Some Special-Purpose Architectures for Unification 設計與模擬一些執行一致化功能的硬體結構 May, 1992
l Hong Ching-Yih 洪清義 Integrating Object-Oriented Features into Prolog 整合物件導向的物徵到 Prolog May, 1992
l Lu Chun-Shien 呂俊賢 Shape-Recognition Scheme Based on a Real-Valued Coordinate Representation of Boundaries 一個基於邊界實數座標表示法的圖形識別法 May, 1992
l Wu Tien-You 吳天佑 Vague Logic for Knowledge Representation and Evidential Reasoning on an Inheritance Network 以含糊邏輯做知識表示和證據推論在一個繼承的網路上 May, 1992
l Jyan Hong-Wei 簡宏偉 A Distributed Prolog Execution Model 分散式 Prolog 執行模式May, 1992
l Hwu Ming-Jinn 胡明進 An Improved Scheme for Effective Execution of Nested Loops with Irregular Dependence Constraints 一個有效執行有不規則相依限制的巢狀迴路的改良方法May, 1993
l Fan Yang-Wen 范揚文 SL-Trees： An Indexing Structure for Object-Oriented Databases SL-樹：一個物件導向資料庫上的索引結構 May, 1993
l Chou Sheng-Horng 周勝洪 An Approximate Truth Maintenance System 一個近似的真值保持系統 May, 1993
l Jou Yong-Feng 周永豐 A Distributed Prolog-Based Object-Oriented Environment 一個植基於 Prolog 的物件導向環境 May, 1993
l Hu Ching-Yuan 胡錦淵 An Object-Oriented Database Query Model with the Closure Property 一個具有封閉性的物件導向式資料庫查詢模型 May, 1993
l Kwo Wen-Hwang 郭文煌 A Homogeneous Set-Based Object-Oriented Model 一個植基於同質集合的物件導向模型 May, 1994
l Ling Shr-Ming 凌世明 A New Processing Technique for Chinese O.C.R. Stroke Retrieval 一種新的中文影像辨識之筆劃抽取前置處理技術 May, 1994
l Liu Yu-Chi 劉有志 An Algorithm for Text/Image Segmentation 圖文分離演算法 May, 1994
l Wong Chi-Hsin翁{21424f}炘Some Modifications to the Curvature Substroke Extraction Method, 對曲率筆劃抽取法的一些改進方式/翁{21424f}炘撰, June, 1995.
l Lee Hwa-Shin 李華欣A New Modified Hough Transform Method with MergeContraction, 利用合併演算法的一種新改良赫夫轉換法/李華欣撰 May 1995
l Fan Chen-Huang范振煌 A Fuzzy Graph Matching Algorithm for Chinese O.C.R. 一個應用中文光學文字識別的模糊圖形配對演算法/范振煌撰 May 1995
l Ye Ming-Hsien 葉明憲A Parallel Prolog Implementation Using the Blackboard Structure植基黑板結構之平行Prolog系統/葉明憲撰, May, 1995.
l Lee Wei, 李煒, Using Fuzzy Logic for Offline Recognition of Chinese Handwritten Characters, 使用模糊邏輯在手寫中文字的辨識/李煒撰, May 1996
l Liu Yi-Huang, 劉奕煌, A User Interface for an ODMG-93 Compliant Database, 一個應用遵從 ODMG-93 資料庫的使用者介面/劉奕煌撰. May 1996
l Hong Ting-Ywe, 洪庭岳, An Implementation of a Subset of an ODMG-93 Database,物件資料庫管理組織標準之子集的實作/洪庭岳撰. May 1996.
l Lee Chen-Fa, 李陳發, Using Muliple Fuzzy Features for Off-line Chinese Handwritten Character Recognition, 使用多重模糊特徵離線手寫中文字的辨識/李陳發撰 May 1997.
l Hou Kai-Liang, 侯凱喨, A Java-Based User Interface for a Class Algebra Database, 一個應用{214268}類別代數資料庫的Java使用者介面,May 1997.
l Chiao Mong-Ling, 喬夢麟 A User-Friendly Class Algebra Database System Using Query Tree Selection, 一個使用查詢樹撿選的親和物件導向資料庫系統/喬夢麟撰. June, 1998.
l Tsai Jr-Ren 蔡智仁Using RMI to Implement Remote Controller/Viewer Applets for Java Applications利用RMI來實作JAVA應用程式的遠端控制/觀察Applets/蔡智仁撰 June, 1998.
l Lee Chee-Hwa李綺華 Class Algebra for Ontology Reasoning用本質推論的類別代數/李綺華撰 June, 1999.
l Lee Jing-Ming李景民 A Java Object-Oriented Database ServerJava物件導向資料庫伺服器/李景民撰. June, 1999.
l Tsai Chang-Ning蔡彰寧An Object-Oriented Database User Interface一個物件導向資料庫之使用者介面/蔡彰寧撰 July, 1999.
l Chao Gwo-Cheng趙國成 Using RMI to Implement a Remote AWT Package for Java Applications利用RMI來實作Java應用程式的遠端AWT程式庫/趙國成撰, July, 1999.
l Shyu Cheng-Hsin 徐正炘 Making Java Applications Run Remotely, 遠端執行Java應用程式, July 2000.
l Kuo Jen-Kai 郭任鎧A Remote Interface for a Class Algebra Distributed Database, 以類別代數為基礎的分散式資料庫的遠端介面 , July 2000.
l Chen Hung-Chia 陳宏嘉An Implementation of a Secure Method Invoker in a Distributed OODB, 一個以分散式物件導向資料庫為基礎的函式呼叫安全模型, July 2000.
l Chen Chung-Ting, 陳俊廷An Implementation of a Server for a Distributed Class Algebra Database System, 一個以類別代數為基礎的分散式伺服端資料庫系統實作, July 2000.
l Lo Tse-Win, 羅澤文An Implementation of a Class Algebra Database Server, 類別代數式資料庫伺服端實作, June 2001.
l Hsieh Chin-Ming, 謝志明A Client Interface for a Class Algebra Database, 類別代數式資料庫客戶端介面, June 2001.
l Chang Chia-Wei, 張家維SIVE : An Implementation of a Simple Interactive VoiceXML Editor, 互動式VoiceXML編輯器, June 2001.
l Lee Jia-Yih 李佳益SVB : An Implementation of a Simple VoiceXML Browser, 精簡的VoiceXML瀏覽器實作, June 2001.
l Wang Shun-Li李佳益An Implementation of a Computer-Managed Learning Environment Based on Student Thinking Styles, May 2002.
l Chen Chung-Chun 陳宗俊A Simple VoiceXML Component for Computer Assisted Instruction, 精簡的電腦輔助教學系統 VoiceXML 外掛軟體, July 2002.
l Chen Shi-Ywan陳世源 An Object-Oriented Java Database Client Interface, Java 物件導向資料庫客戶端介面, July 2002.
l Yeh Chin-Kuan 葉 金 寬An Object-Oriented Java Database Server, Java 物件導向資料庫伺服端, July 2002.
l Chiu Wen-Yu 邱文裕A Web-based Tool for Teaching Logic Simplification, July 2002.
l
l
l Wang Tzu-Yang, An Implementation of a Cadabia Database User Interface, July 2003.
l Chen Shuo-Shang, An Implementation of a Cadabia Database Middle Layer, July 2003.
l Chen Yung-Cheng, Implementing OWL in SQL, July 2003.
l Pan Yi-Pong, Reinforcement Learning Based on Rule Machine, July 2004.
l Chen Ching-Hua, A Semantic Web Editor, July 2004.
l Huang Sheng-Yuan, A Semantic Web Intermediate Layer, July 2004.
l Chang Chiao-Chih, A Semantic Web XML Backend, July 2004.
l Lee Kun-You, A Semantic Web SQL Backend, July 2004.
l Wu Tzai-Hung, A Database Front End for the World Wide Web, July 2005.
l Chang Shuen-Chiao, A Database Middle Layer for the World-Wide Web, July 2005.
l Tseng Huang-Jye, Database XML/SQL Backends for the World Wide Web, July 2005.
l Lin Yu-Cheng, A Fuzzy Classifier on Fuzzy Parially-Ordered Sets, July 2005
l
l
l Li You-Sham, Transaction Management for the Cadabia Database, July 2006.
l He Yi-Tao, An Ajax4jsf-based Web User Interface for Cadabia, September 2007.
l Tung Yi-Feng, Class Algebra on Partial Orders, September 2007.
l Chang Wei-Chun, Query Processing Cadabia, July 2008.
l Chen YannXiong, Test Modules for Cadabia, July 2008.
l Shen Chao-Yuan, A Web-Based User Interface for Cadabia, July 2008.
l Yang Ching-Yueh, The RBAC Authorization Manager for the Cadabia System, July 2008.