プロダクションシステムにおける動的特性のベリフィケーション
スポンサーリンク
概要
- 論文の詳細を見る
- 2001-01-01
著者
-
木村 春彦
金沢大学工学部
-
伊之井 清孝
金沢大学工学部電気・情報工学科
-
南保 英孝
金沢大学工学部電気・情報工学科
-
南保 英孝
金沢大学大学院 自然科学研究科
-
前川 貴宏
金沢大学工学部電気・情報工学科
関連論文
- 癒し型ペットロボットの飼い主判別手法の改善
- 環境の変化によって生じる複雑な形をした雪の結晶の類似パターン生成
- CCDカメラ画像に基づいた自動車の車庫入れの自動化(高度交通システム(ITS))
- 打鍵間時間を基にした認証システムのリズム打鍵による改善(ネットワークセキュリティ)(コラボレーションアートとネットワークエンターテイメント)
- 仮説推論に対する3種の近似解法
- 述語論理知識を扱う全解探索仮説推論の高速化
- 癒し型ペットロボットの飼い主判別機構の実現
- セルオートマトンを用いた雪の結晶の類似パターン生成
- 仮説推論における累積実行時間の削減方法の提案
- 推論パスネットワークによる仮説合成時の無矛盾性チェックの改善案
- 最小スケルトン検索アルゴリズム
- 個人の嗜好に基づいた画像検索
- 情報空間におけるセキュリティとセンシング
- KICK-SHOTGANとKICK-HOPEの実行比較
- プロダクションシステムのためのベリフィケーションシステムの構築
- 各種直積インスタンシエーション表現法の効用比較
- プロダクションシステムの直接条件照合アルゴリズムの改善案
- 推論パスネットワークによる仮説合成時の包摂処理の改善案
- 推論パスネットワークによる仮説推論の高速包摂処理
- 推論パスネットワークによる仮説推論における矛盾処理の効率改善
- 超音波センサを用いた顧客振舞い認知システムの開発 : IT活用による小売業売場生産性向上を目指した購買行動計測の基礎実験(日常生活行動コンピューティング)
- 相関ルールを用いた組織内における文書校正支援
- プロダクションシステムの直積インスタンシエーション表現の拡張
- プロダクションシステムの高コストルール対処法に関する一考察
- プロダクションシステムの直接条件照合アルゴリズム
- プロダクションシステムの高速条件照合アルゴリズム
- プロダクションシステムの高速イントラコンディションテストに関する一考察
- プロダクションシステムの高速推論を実現するワーキングメモリーのデータ構造
- 超音波センサを用いた浴槽内での異常検知システムの改善
- 6-101 データマイニングによる授業アンケート分析(口頭発表論文,(13)教育評価・自己点検・評価システム-I)
- D-9-10 エリアスキャナを用いた通行人の性別識別システム(D-9.オフィスインフォメーションシステム,一般講演)
- エージェントモデルを用いたATMの設置台数決定法
- エージェントモデルを用いた狭域商圏業種の最適店舗数の推定
- D-12-57 眼球画像からの特徴抽出を用いた人材選抜支援システムに関する検討(D-12.パターン認識・メディア理解A)
- 商標図形の外枠の知覚実験
- 白黒反転商標の類似検索における前処理
- 商標図形の外枠の認識に関する検討
- 熟練技能者の模倣情報伝達による試行錯誤型タスク支援
- 植物環境情報の顔表現を用いたコミュニケーションシステムの試み (特集 環境・福祉と設備管理)
- 観光学分野英文資料の計量言語学的解析(ロボットを用いたプログラミング教育/一般)
- 経営学分野英文資料の計量言語学的特徴(インターネット関連技術の教育応用/一般)
- 仮説推論の反復に対する高速化
- ペットロボットを用いた感情認識システム(人工知能, 認知科学)
- 癒し型ペットロボットの飼い主判別に関する一考察 : ゼロデータの導入
- 癒し型ペットロボットの飼い主判別手法(人工知能,認知科学)
- 癒し型ロボットの飼い主判別手法
- マルチエージェントを用いた停止回数削減のための交通信号制御
- 強化学習型マルチエージェントによる交通信号制御
- 自律的な負荷分散方式の評価
- ノード間交渉に基づく負荷分散方式の提案と評価
- 条件照合アルゴリズムの動的双方向切換えを導入した高速プロダクションシステム
- 推論パスネットワークによる仮説推論の高速矛盾処理
- 命題論理の仮説推論に対する問題分割法の実行時間予測
- プロダクションシステムの高コストルール対処法 : 属性値管理
- MGTPによる仮説推論の改善案
- プロダクションシステムにおけるジョイン演算の順序に関する一考察
- 強化学習型マルチエージェントによる交通信号制御
- 放送型野球中継映像における打席シーンの分割に必要なスコアテロップ内の情報領域の抽出と意味推定
- A-13-5 センター試験の英語の計量言語学的解析(A-13. 思考と言語, 基礎・境界)
- 兼六園における外国人観光客の動向と言語景観調査
- 多状態実時間両方向探索
- スピーチの計量的解析結果によるアメリカ大統領選予測(一般講演J,数理2(応用))
- 酸化スズガスセンサを用いた観葉植物の室内空気汚染浄化指数の測定
- 条件照合アルゴリズムの動的切り替えによるプロダクションシステムの高速化
- 高次αメモリを導入した直接条件照合アルゴリズム
- ケプストラム処理による室内ガス発生事象信号の復元
- テキストマイニングと強化学習を用いた電子メール自動分配(データマイニング)
- 文字への加工を利用したハードコピーへの情報ハイディングの一提案(セキュリティ基盤技術)(「インタラクション:理論,技術,応用,評価」)
- 模擬育種法を用いた顔の同定支援システムの改善
- 官公庁向け文書決裁業務支援システムの開発と運用評価
- 模擬育種法を用いた顔の同定支援システムに関する研究
- アクティブデータベースを用いた対話型インターフェースについての研究
- マルチガスセンサとプロダクションシステムを用いた室内空気汚染ガスの検知システム
- マルチエージェントシステムを用いたエレベータ群管理システム
- エレベータ群管理システムに対する一考察
- 癒し設備実現のための感情認識システム (特集 福祉と設備管理)
- 述語論理知識を扱う全解探索仮説推論の高速化
- 遺伝的アルゴリズムを用いたガスセンサ観測信号からの人間の活動検知
- 球体散乱音場の位相特性
- 環境の変化によって生じる複雑な形をした雪の結晶の類似パターン生成
- 超音波センサを用いた浴槽内での異常検知システムの開発
- 通信量を考慮したタスクスケジューリング法の提案と評価
- アメリカ大統領候補のスピーチの計量的比較(協調学習・CSCL/一般)
- 推論パスネットワークによる仮説合成時の無矛盾性チェックの改善案
- 相関ルールを用いた英文情報の分野判別
- 新しい室内空気汚染検知システムの開発
- プロダクションシステムを用いた家庭内災害の同定
- ジョイン演算の最適順序と高コストルール対処法によるプロダクションシステムの高速化 (人工知能分野における博士論文)
- プロダクションシステムの直積インスタンシエーション表現 : 効果測定
- 平成22年度[日本設備管理学会]秋季研究発表大会報告--地方より発信する設備管理
- プロダクションシステムにおける動的特性のベリフィケーション
- プロダクションシステムにおける動的特性のベリフィケーション
- プロダクションシステムにおける2個以下の変数をもつ条件要素の高速条件照合
- プロダクションシステムの高コストルール対処法に関する一考察 : 直接条件照合の改善案
- プロダクションシステムのためのジョイン演算の適切な順序に関する一考察
- プロダクションシステムの高コストルール対処法 : 効果測定
- プロダクションシステムの高コストルール用条件照合アルゴリズム : 効果測定
- プロダクションシステムの高コストルール対処法
- マルチプロセッサシステムにおける通信時間を考慮したタスク割当て法
- プロダクションシステムの新しい条件照合アルゴリズムの提案