矩形同士の埋め込み型重ね合わせについての定性空間推論
スポンサーリンク
概要
- 論文の詳細を見る
表示したい部分(WHITE)と隠したい部分(BLACK)を持ち,サイズや辺の縦横比が可変な矩形同士の重ね合わせについて述べる.複数枚の矩形のBLACKをすべて隠し,かつWHITEはすべて表示する重ね合わせ方が存在するか否かの判定条件と,条件を満たす場合に重ね合わせの結果として得られる図形の推論方法を示す.重ね合わせ方は二通り考えられ,本発表では埋め込み型について考察する.また,この二通りの方法を使って構築した矩形の重ね合わせ推論システムも示す.
- 一般社団法人電子情報通信学会の論文
- 2012-03-08
著者
-
高橋 和子
関西学院大学
-
高橋 和子
三菱電機株式会社中央研究所
-
高橋 和子
順天堂大学医学部病理学第二講座
-
高橋 和子
三菱電機株式会社先端技術総合研究所:(現)atr音声翻訳通信研究所
-
高橋 和子
関西学院大学理工学研究科
-
小西 貴子
関西学院大学理工学研究科
関連論文
- 知識変更を伴う議論システム
- 青壮年層の地域住民が高齢者に期待する役割
- 鉄道信号システムの連動装置の形式的検証向けモデル化と検証環境構築(ソフトウェア基礎, プログラム理論)
- 調査・研究 閉じこもり傾向にある女性高齢者のHealth-Related QOLおよび活動能力に関する研究
- 宮城県大和町における高齢者の転倒予防に関する研究(第1報)つまずきと転倒の実態およびその関連要因
- 車車間通信を用いた車線変更と脇道にともなう交通流の円滑化を図るモデルの提案と実装
- 帰納的アプローチに基づく理想的電子現金方式のモデル化および証明支援系Isabelle/HOLによる安全性の証明
- 電子現金の分割利用可能性の形式化と帰納的証明
- 車車間通信を用いた車線変更と脇道にともなう交通流の円滑化を図るモデルの提案と実装
- 生活習慣病予防における健康行動とソーシャルサポートの関連
- 東北地方の在宅高齢者における地域・家庭での役割の実態と関連要因の検討
- 高齢者夫婦世帯で在宅療養している要介護高齢者の介護者の精神的健康状態の良好群と低群における介護状態の比較
- 高齢者夫婦世帯における介護者のインフォーマルサポートの実態と精神的健康の関連
- 都市部と農村部における高齢者の地域ケアシステムに関するニーズとその傾向
- 在宅療養高齢者の介護者と訪問看護婦の介護の必要性に関する判断の比較と要介護者のADL状況との関連について
- Symmetry Reductionを使ったAISの確率付きモデル検査
- 定性空間推論の新しい枠組DLCSとその上での操作
- 帰納法に基づく定理証明器によるシストリックアレイの検証
- 帰納法に基づく定理証明器によるシストリックアレイの検証
- NQTHMを用いたシストリックアレイの検証
- SLEマウスにおける脾臓リンパ濾胞胚中心の免疫組織化学的特徴
- AND/OR両並列性をいかしたプラン生成について
- ANDOR並列論理型言語ANDOR-IIの並列論理型言語への変換
- 矩形領域に基づく定性空間推論の提案と実装
- 凹凸情報と接触パターンに基づく定性空間表現
- 定理証明器による電子現金プロトコルの検証
- 信念改竄によるばれない嘘の生成
- 輻輳問題を考慮したモバイルエージェントによるアドホックネットワークルーティング(モバイル・アドホックネットワーク(1))
- 定性空間表現の二次元平面への埋め込みについて
- 定性空間表現の二次元平面への埋め込みについて
- ボードゲームBAOにおける周期的動作の解析
- ボードゲームBAOにおける周期的動作の解析(数理モデル一般)
- ボードゲームBAOのCCSによる記述と解析
- 性質の伝播に関する定性空間推論
- モバイルエージェントを用いた動的ネットワークルーチングシステムの拡張
- 空間に埋め込まれた意味情報の記述
- マルチエージェントの連鎖的交渉を用いたスケジュール作成と調整(スケジューリング,「Webインテリジェンス」及び一般)
- マルチエージェントの連鎖的交渉を用いたスケジュール作成と調整(スケジューリング,「Webインテリジェンス」及び一般)
- 動的議論システムの意味論的考察
- 「情報処理学会論文誌 : プログラミング」の編集について
- 空間情報の抽象化について
- 「情報処理学会論文誌 : プログラミング」の編集について
- 矩形同士の埋め込み型重ね合わせについての定性空間推論
- 定理証明器によって証明されたCプログラムのマージャ