Conference Prsentations (Oral, Poster) -
-
演奏習得支援システムのための効率的な演奏現在位置解析アルゴリズム
エンタテイメントコンピューティング2003
-
MRSA検査データからの単調DNF式被覆の抽出
第50回人工知能基礎論研究会
-
MRSAとMSSAを類別する決定木の構築
第50回人工知能基礎論研究会
-
順序節の包摂と一般化について
第50回人工知能基礎論研究会
-
医療データベースからの相関規則抽出
電気関係学会九州支部連合大会
-
類推を用いた帰納法による証明の自動化
第55回電気関係学会九州支部連合大会
-
データベースからの単調DNF式被覆の抽出
第55回電気関係学会九州支部連合大会
-
順序節とその性質について
第55回電気関係学会九州支部連合大会
-
セル空間を用いた演奏と楽譜のマッチング
第55回電気関係学会九州支部連合大会
-
薬剤耐性データベースのXML化と相関規則の抽出
第55回電気関係学会九州支部連合大会
-
マルチエージェント推論を用いた問題解決
冬のLAシンポジウム
-
仮説変更と例外を許した実数値関数の帰納推論
冬のLAシンポジウム
-
二階項の一般化アルゴリズムについて
冬のLAシンポジウム
-
類推に基づくLK証明システムの開発
電子情報通信学会コンピュテーション研究会
-
医療データベースからの薬剤耐性パターンの抽出
電気関係学会九州支部連合大会
-
射影可能性に基づく述語スキーママッチング
電気関係学会九州支部連合大会
-
確定節の変数共有一般化について
電気関係学会九州支部連合大会
-
自動追従型楽譜表示システムに関する研究
電気関係学会九州支部連合大会
-
マルチエージェント推論方式に関する研究
電気関係学会九州支部連合大会
-
Pre-checking を用いた効率的二階述語マッチングアルゴリズム
「計算理論とアルゴリズムの新展開」研究集会