|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
一覧: タイトル
検索結果: 782-802 / 919.
発行日 | タイトル |
著者 |
20-Dec-2000 | ソートと述語の二つの階層をもつ論理のホーン節計算の完全性 | 兼岩, 憲; 東条, 敏; KANEIWA, Ken; TOJO, Satoshi |
1-Jan-2007 | ターボ等化の基礎,及び情報理論的考察 | 松本, 正; 衣斐, 信介; MATSUMOTO, Tadashi; IBI, Shinsuke |
15-May-2002 | ディジタル・ハーフトーニング:アルゴリズム工学の視点 | 浅野, 哲夫 |
20-Jan-2000 | ディジタル直線検出問題の計算量に関するアルゴリズム論的考察 | 浅野, 哲夫; 河村, 泰之; ASANO, Tetsuo; KAWAMURA, Yasuyuki |
1-Mar-2006 | バーチャルリアリティに重要な体感に基づく心理生理的評価の一提案 | 石川, 智治; 宮原, 誠; Ishikawa, Tomoharu; Miyahara, Makoto |
20-May-1999 | パラメトリックな眼鏡フレームモデルを用いた顔画像内の 眼鏡フレーム領域の抽出と除去 | 齋藤, 康之; 剣持, 雪子; 小谷, 一孔; SAITO, Yasuyuki; KENMOCHI, Yukiko; KOTANI, Kazunori |
19-Feb-2018 | パラメータ最適化のためのスマートコミュニティシミュレーション基盤の設計と実装 | 牧野, 義樹; ジャヴイッド, サハル; リム, 勇仁; 丹, 康雄 |
19-Feb-2018 | ホームネットワークにおけるHTIPに基づくネットワークトポロジ検出システム | 藤巻, 伶緒; リム, 勇仁; 丹, 康雄; Fujimaki, Reo; Lim, Yuto; Tan, Yasuo |
20-Apr-1999 | マイクロホン対を用いたスペクトルサブトラクションによる雑音除去法 | 水町, 光徳; 赤木, 正人; MIZUMACHI, Mitsunori; AKAGI, Masato |
Jun-2003 | マルチエージェント環境での人工ピジンの生成 | 中村, 誠; 東条, 敏 |
15-Oct-2003 | モデル検査技術を利用したプログラム解析器の生成ツール | 山岡, 裕司; 胡, 振江; 武市, 正人; 小川, 瑞史; YAMAOKA, Yuji; HU, Zhenjiang; TAKEICHI, Masato; OGAWA, Mizuhito |
22-Mar-2005 | モバイルエージェント・セキュリティに関する一考察 | 森, 正行; 双紙, 正和; 宮地, 充子; MORI, Masayuki; SOHSI, Masakazu; MIYAJI, Atsuko |
23-Feb-2018 | リズムゲームの上達を支援するコンテンツ自動生成法 | Liang, Yubin; 池田, 心; Liang, Yubin; Ikeda, Kokolo |
25-Jan-2017 | ロボット群の適応的な自己組織化及びその収束性 | 神ノ尾, 淳; 李, 根浩; 丁, 洛榮; Shinnoh, Atsushi; Lee, Geunho; Chong, NakYoung |
6-Mar-2020 | 上海ゲームにおける面白いインスタンス生成 | 森長, 剛志; 池田, 心; Morinaga, Tsuyoshi; Ikeda, Kokolo |
1-Jun-2004 | 下丘細胞の時間応答特性に関する計算モデルの提案 | 牧, 勝弘; 赤木, 正人; 廣田, 薫; Maki, Katuhiro; Akagi, Masato; Hirota, Kaoru |
1-Mar-2019 | 不完全情報ゲーム『ガイスター』における2種の詰め問題の提案と考察 | 石井, 岳史; 川上, 直人; 橋本, 剛; 池田, 心; Ishii, Takefumi; Kawakami, Naoto; Hashimoto, Tsuyoshi; Ikeda, Kokolo |
15-Jan-2002 | 不確定性を持つ問題を解くためのAND/OR木探索 : 衝立詰将棋を題材として | 作田, 誠; 飯田, 弘之; SAKUTA, MAKOTO; IIDA, HIROYUKI |
1-Dec-2003 | 不連続再収斂順序回路の遅延故障に対するテスト生成法 | 岩垣, 剛; 大竹, 哲史; 藤原, 秀雄; IWAGAKI, Tsuyoshi; OHTAKE, Satoshi; FUJIWARA, Hideo |
2005 | 人工市場アプローチによる介入エージェントを用いた為替介入効果の分析 | 松井, 宏樹; 東条, 敏; Matsui, Hiroki; Tojo, Satoshi |
19-Jul-2002 | 代理入札方式を備えたイングリッシュオークションプロトコル | 塩月, 徹; 宮地, 充子; SHIOTSUKI, Toru; MIYAJI, Atsuko |
|