|
JAIST Repository >
i. 北陸先端科学技術大学院大学(JAIST) >
i20. 学位論文 >
一覧: タイトル
検索結果: 2160-2180 / 2524.
発行日 | タイトル |
著者 |
Mar-2014 | 計算幾何学に基づいた地紋除去アルゴリズム | 柴田, 雅広; しばた, まさひろ |
Mar-2012 | 計算幾何学問題に対するメモリ制約付きアルゴリズム | 小長谷, 松雄; こながや, まつお |
Mar-2011 | 計算幾何学的手法を用いた基本図形の認識 | 平識, 善弘; ひらしき, よしひろ |
Mar-2002 | 計算量理論における確率的検査可能証明に関する研究 | 井上, 敦朗; いのうえ, あつろう |
Mar-2009 | 設計モデル上でのメモリ量見積もりに関する研究 | 山下, 幸之輔; やました, こうのすけ |
Sep-2021 | 証明スコア法による形式検証の調査研究及び新規事例 [課題研究報告書] | 浅江, 尚輝; あさえ, なおき |
Mar-2002 | 証明可能な意思付多重署名方式に関する研究 | 河内, 恵; かわうち, けい |
Mar-2005 | 証明数・反証明数を用いた罰回避政策形成アルゴリズムの高速化に関する研究 | 登, 崇志; のぼり, たかし |
Mar-2002 | 証明論的手法を用いた部分構造論理間の埋め込みに関する研究 | 松田, 真由美; まつだ, まゆみ |
Mar-2011 | 証明譜を用いたバケット同期法の形式検証 | 永浦, 尊信; ながうら, たかのぶ |
Mar-2003 | 評価語から構成される主観評価構造:PQSvideoとの対応の検討 -PQSvideoの改善を目指して- | 道免, 剛; どうめん, たけし |
Mar-2016 | 評判情報分析のための製品属性異表記辞書の自動構築 | 劉, 朝いく; りゅう, ちょういく |
Mar-2013 | 詰め将棋問題の自動生成アルゴリズムに関する研究 [課題研究報告書] | 石飛, 太一; いしとび, たいち |
Mar-2025 | 話し合いを促進する小学生のペアプログラミング学習支援システム | 真嘉比, 浩乃; まかび, ひろの |
Mar-1999 | 話し言葉による対話を処理するための談話管理部のモデル化の研究 | 田口, 博史; たぐち, ひろし |
Mar-2003 | 話し言葉を生成するための方略に関する研究 | 村岡, 公一; むらおか, こういち |
Mar-2008 | 話題の分離に注目した音声ブレインストーミング支援 | 菊谷, 和義; きくや, かずよし |
Mar-2010 | 語クラスターとランキングモデルを用いる 情報更新タスクの扱いに関する研究 | PHAM, QUANG NHAT MINH; ファム, クァン ニャット ミン |
Mar-1998 | 語彙にもとづくクラスライブラリの構成法について | 佐藤, 徹也; さとう, てつや |
Mar-2009 | 語義の上位概念を利用した英単語の語義曖昧性解消 | 深田, 治; ふかた, いさお |
Mar-2024 | 語義の箱埋め込み学習とその応用 | 小田, 康平; おだ, こうへい |
|