黒瀬 伸二 | ルネサステクノロジ（株）
スポンサーリンク
概要
論文 | ランダム
- 時間オートマトンによる実時間システムの形式的検証 (ミニ特集 安心・安全システム構築のための形式検証技術)
- セルオートマトン理論の再構築とNatural Computingへの応用
- セルオートマトンによるシェルピンスキーガスケット上のランダムウォーク
- セルオートマトンによる火災時の避難行動のシミュレーション(熱工学,内燃機関,動力など)
- JPEG画像に対する2次元パターンマッチングアルゴリズム(一般セッション1,移動カメラ画像処理におけるパターン認識とメディア理解)