D-11-139 射影変換における座標計算の高速化手法 : 誤差の評価(D-11.画像工学D)
スポンサーリンク
概要
- 論文の詳細を見る
- 社団法人電子情報通信学会の論文
- 2004-03-08
著者
-
岡野 浩三
岡山大学大学院自然科学研究科
-
佐藤 洋一郎
静大農
-
佐藤 洋一郎
岡山県立大学情報工学部情報システム工学科
-
尾崎 亮
岡山理科大学工学部
-
佐藤 洋一郎
岡山県立大学情報工学部
-
佐藤 洋一郎
総合地球環境学研究所
-
岡本 卓爾
岡山理科大学工学部電子工学科
-
杉山 裕二
岡山大学工学部通信ネットワーク工学科
-
岡本 卓爾
岡山大 工
-
岡本 卓爾
岡山大学大学院自然科学研究科
-
岡本 卓爾
岡山理科大学工学部
-
杉山 裕二
岡山大学工学部
-
岡本 卓爾
岡山大学
-
岡本 卓爾
岡山大 大学院自然科学研究科
-
佐藤 洋一郎
岡山県立大学 情報工学部 情報システム工学科
関連論文
- Stochastic Timed Petri Net でモデル化した大規模論理回路の性能評価ツール
- リングセグメント型Globally Asynchronous Locally Synchronous Systemの構成法(ネットワークオンチップ,システムオンシリコンを支える設計技術)
- インドシナにおける稲遺伝資源の収集 -17年間のまとめ-
- イネ遺伝資源の特性評価と利用4.ミャンマー由来の野生イネ
- 確率的モデル検査ツールを用いた実時間ネットワークシステムの検証手法の提案およびネットワークシミュレータNS-2との比較
- 外部入力値のみを保持できる整数変数をもつFSMに対する記号モデル検査法(ソフトウェア工学)
- 在庫管理プログラムの設計に対するJML記述とESC/Java2を用いた検証の事例報告(研究速報)
- ラオス北部のイネ・モチ遺伝子の多型
- ラオス中部のモチイネ品種におけるSSR多型
- SSRマーカーに基づく九州産ヤマザクラの遺伝的多様性について
- サクラ属における葉緑体DNAの解析 : 1. 葉緑体3領域における変異
- 拡張時間オートマトン群による実時間システムの記述および検証
- 時間システムを対象とした到達可能性解析の高速化手法の提案
- 時間抽象を行う洗練手法を用いた確率時間システムの到達可能性解析
- イネ在来系統'赤毛'から生じた新規変異体の遺伝解析
- OCLのJMLへの変換ツールの実装と評価
- OCLのJMLへの変換ツールの実装について
- 実時間システムを対象としたCEGARによる抽象洗練の並列化手法
- Javaに対するループインバリアントを含むDaikon生成アサーションの妥当性評価(研究速報)
- 上位設計におけるシステムの振る舞い検証技術(システム設計のための形式手法の基礎と応用)
- B-001 Javaに対するDaikonを用いたインバリアント自動生成のための汎用基盤ツール(ソフトウェア,一般論文)
- 時間制約を保証するUML/OCLを用いた分散実時間アプリケーション開発手法(ソフトウェア,フォーマルアプローチ論文)
- UML/OCLを用いた分散実時間アプリケーション開発手法の提案
- UML/OCLを用いた分散実時間アプリケーション開発手法の提案
- D-3-6 分散実時間アプリケーションのUML/OCL記述から時間オートマトンネットワークを用いた動作仕様記述への変換手法の提案(D-3. ソフトウェアサイエンス, 情報・システム1)
- 分散環境実時間アプリケーション開発支援のためのTimeliness QoS一貫性検証系および時間制御コード生成系の実装
- 関数型言語ML向け形式的検証支援システムの試作
- 線形制約式を用いた時間QoS一貫性の検証法 (計算機科学基礎理論の新展開)
- 関数型言語MLによるプレスブルガー文真偽判定ルーチンの開発と検証支援システムへの応用
- D-3-8 分散環境における実時間アプリケーション動作仕様記述からのJavaコード自動導出手法の提案(D-3. ソフトウェアサイエンス)
- マルチメディアシステムにおけるTimeliness QoS一貫性検証と時間制御コード導出
- ペトリネットで記述された簡易ブラウザ型の組込みJavaプログラム動作仕様に対する実行方式の提案
- ワークフロー記述向きの時間付きカラーペトリネット
- 葉緑体rpl16-rpl14領域の塩基配列によるサクラ属サクラ亜属の遺伝的特徴づけ
- サクラ亜属におけるPS-ID領域の多型
- PeerCastにおける経路の動的変更機能の実装(次世代ネットワーク,SIP・プレゼンス,一般)
- API Hookを用いたWindowsプログラムのモビリティ向上ソフトウェアの作成
- API Hookを用いたWindowsプログラムのモビリティ向上ソフトウェアの作成
- 電子的なホワイトボードのセキュア化に関する研究(信号処理,符号化,知的マルチメディアシステム,一般)
- 電子的なホワイトボードのセキュア化に関する研究(信号処理,符号化,知的マルチメディアシステム,一般)
- 電子的なホワイトボードのセキュア化に関する研究(信号処理,符号化,知的マルチメディアシステム,一般)
- 動画像圧縮技術を応用した透視変換の高効率化に関する研究(信号処理, 符号化とそれらを用いた知的マルチメディアシステム, 一般)
- 動画像圧縮技術を応用した透視変換の高効率化に関する研究(信号処理, 符号化とそれらを用いた知的マルチメディアシステム, 一般)
- 動画像圧縮技術を応用した透視変換の高効率化に関する研究(信号処理, 符号化とそれらを用いた知的マルチメディアシステム, 一般)
- 最適化手法によるパノラマ画像合成法の提案(画像システム,知的マルチメディア処理システム及び一般)
- 非同期式パイプライン制御回路の論理合成法(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会)
- 非同期式パイプライン制御回路の論理合成法(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 非同期式パイプライン制御回路の論理合成法(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 非同期式パイプライン制御回路の論理合成法(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 日本産ヒエ属にみられるマイクロサテライトおよびISSR領域における多型
- RAPD法による日本列島のクスノキ巨樹の遺伝的多様性
- 中国・城頭山遺跡から出土したイネ種子のwaxy座の解析
- 登呂遺跡から出土したイネ籾殻の形態的遺伝的変異
- 出土炭化米のDNA分析からにたイネと稲作の起源
- 日中韓の水稲品種のマイクロサテライト多型
- ウズベキスタン共和国,ダルヴェルジン・テペから出土した植物遺体
- DNA多型によるウルシの系統分化
- DNAマーカによる栽培ヒエと野生ヒエの判別
- 並列データパス付き小型DSPを利用したVGA動画像の射影変換 : 高速化のための二つの提案(コンピュータグラフィックス)
- 並列データパス付き小型DSPを利用したVGA動画像の射影変換 : 高速化のための2つの提案(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術及び一般)
- 並列データパス付き小型DSPを利用したVGA動画像の射影変換 : 高速化のための2つの提案(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術及び一般)
- 並列データパス付き小型DSPを利用したVGA動画像の射影変換 : 高速化のための2つの提案(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術及び一般)
- 射影変換における座標計算の高速化手法(画像・映像処理)
- D-11-139 射影変換における座標計算の高速化手法 : 誤差の評価(D-11.画像工学D)
- 描画時合成方式と表示時合成方式の併用によるスムーズ操作が可能なマルチウィンドウシステム(計算機システム)
- 地球環境問題と育種の貢献 : 第114回秋季シンポジウム「東南アジアにおけるイネ育種の現場と地球環境変動下における今後のイネ育種課題」によせて
- ブータン国にみられたイネ細胞質多型の地理的勾配
- 依存性グラフを利用した非同期式パイプライン合成のための制御回路の構成法(コンピュータ構成要素)
- 制御フローグラフを用いた非同期式パイプライン合成(コンピュータ構成要素)
- 制御フローグラフを用いた非同期式パイプライン合成(プロセッサアーキテクチャ,SWoPP2006)
- 非同期式プロセッサのパイプライン化アルゴリズム : 条件分岐のない場合(プロセス・デバイス・回路シミュレーション及び一般)
- 非同期式プロセッサのパイプライン化アルゴリズム : 条件分岐のない場合(プロセス・デバイス・回路シミュレーション及び一般)
- SQUIDの二つのしきい値を利用した超伝導論理回路の構成法(計算機構成要素)
- PS-ID領域の塩基配列に基づくクリ属4種の分類
- 本誌〔食の科学〕11月号掲載「食品化学余話"クリは栽培されていたか?"」に答える 食の安全とフードシステムの改革
- 考古学とDNA分析 (特集 21世紀の日本考古学) -- (日本考古学の新しいうねり)
- 無題
- SSR多型に基づく古代イネの分類
- 第2集 北の縄文・南の縄文 (縄文農耕を捉え直す)
- 人類はどんな穀物酒を飲んできたか(バイオミディア2003)
- 人類はどんな穀物酒を飲んできたか
- DNAマーカを用いたカシの分類(IV)3つの葉緑体DNA領域によるブナ科植物の識別および近縁関係
- マイクロサテライトによるカシ(Quercus)の分類
- 時間ペトリネットでモデル化された非同期システムに対するモデル検査ツールUPPAALの適用
- LTSAを用いたシーケンス図の詳細化関係の検証
- 複数反例抽出を用いたCEGARによる時間オートマトンの抽象洗練手法
- 集計時の負荷を軽減した重み付き電子投票プロトコル
- OCLからJMLへの変換ツールにおける対応クラスの拡張と教務システムに対する適用実験
- モデル検査器とDaikonを用いた表明動的生成改善手法のシステム開発実プロジェクト教材への適用と評価
- モデル検査器とDaikonを用いた表明動的生成改善手法のシステム開発実プロジェクト教材への適用と評価
- タブーサーチを用いた臨床実習スケジューリングの自動化
- AS-1-2 GALSシステムを対象としたペトリネットシミュレーションにおけるアービタのモデル化(AS-1.モデリングとシミュレーションの最新動向,シンポジウムセッション)
- ペトリネットシミュレーションの高速化を指向した接続行列の一生成法(グラフ,ペトリネット,ニューラルネット,及び一般)
- ペトリネットシミュレーションの高速化を指向した接続行列の一生成法(グラフ,ペトリネット,ニューラルネット,及び一般)
- 日本のイネの育種過程における遺伝的多様性の推移
- 制約記述言語OCLとJMLのモデル駆動開発技法に基づいた双方向の変換手法の提案
- SMTソルバーとPDG作成ツールを用いたJavaのテストケース自動導出手法の提案
- PDGとSMTソルバを利用した表明自動導出手法の提案と評価(ソフトウェア工学,ソフトウェア基礎・応用論文)
- 契約記述の変更傾向の開発履歴情報を用いた調査
- 契約記述の変更傾向の開発履歴情報を用いた調査