91-3 プログラム変換を用いた, 論理プログラムにおける否定の処理手法

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人情報処理学会の論文
• 1991-02-15

著者

• 堤 富士雄

  (財)電力中央研究所

• 堤 富士雄

  財団法人電力中央研究所

関連論文

• Lampert,C.H., Blaschko,M.B. and Hofmann,T., Beyond sliding windows: Object localization by efficient subwindow search(写真の中から猫をすばやく見つける方法), Proc. IEEE Computer Vision and Pattern Recognition (CVPR), 2008, pp.1-8, 2008
• 自走式点検装置で撮影した架空地線映像からの異常検出手法
• UIST2006参加報告
• 厨房内で擾乱を起こす調理者行動の大分類
• 画像検索と機械学習を組み合わせたビデオ映像認識システム
• 巡視点検ビデオを迅速にデータベース化
• 巡視・点検映像のリアルタイムデータベース化手法(その3)模様の特徴を用いた映像認識手法の高速・高精度化
• 保守訓練支援用バーチャルリアリティシステムの簡易実現
• 知的情報検索の応用(「AI技術の産業応用」〔第5回〕)
• 演繹データベースにおける計画型問題の制約緩和解法
• お節介の発明(編集委員今年の抱負2009:経糸から横糸まで)
• 河川上を流れる葉の画像処理による自動カウント手法
• UIST2006参加報告
• 電力・エネルギー関連分野における最近の計測システム(第18回)画像処理技術を応用した監視・計測
• 送電線点検のための空撮映像を使った架空地線の異常検出
• 架空地線空撮映像を用いた電線異常検出システム
• 架空地線空撮映像を用いた電線異常検出システム
• 快適性計測を目指した身体活動計測システムの開発
• 文献紹介 Grossman, T., Kong, N. and Balakrishnan, R. : Modeling pointing at targets of arbitrary shapes, Proc. ACM CHI Conference on Human Factors in Computing Systems (CHI 2007), pp. 463-472 (2007)
• UIST2006参加報告
• 地球の軌道を変えたかった園児(編集委員2007年の抱負)
• MOBILE HCI 03参加報告
• 設備点検ビデオのオンサイトデータベース化手法
• 巡視点検ビデオを迅速にデータベース化
• キーワードを2次元平面に配置する文書検索システム (インタラクティブソフトウェア)
• SearchSpace : 2次元空間へのキーワード配置を用いる全文検索システムのインタフェースと検索エンジン
• 91-3 プログラム変換を用いた, 論理プログラムにおける否定の処理手法
• 巡視点検ビデオを迅速にデータベース化
• 節電ボリューム

もっと見る 閉じる

スポンサーリンク