動作等価性によるプログラム形の能力比較について
スポンサーリンク
概要
著者
関連論文
- ソフトウェア科学会第3回大会
- ある種の2分探索木のコストの期待値について
- カウントフィ-ルドを持つ自己組織的2分探索木
- 固有値・固有ベクトル割当に基づく電力系統の安定化制御系の設計
- パネル討論会 : 理輪は実践を導けるか,実践は理論を生かせるか? : 第1回プログラミング : 言語・基礎・実践 研究会報告
- 自然知能と人工知能
- 色符号化スリット光を用いた人間の顔の3次元形状計測
- 重ね合わせ的手法による手書き文字の識別に関する基礎的検討
- 母音間の相対関係モデルに基づく不特定話者母音認識
- 弛緩法における修正作用素の検討
- 構造情報を含む手書き漢字認識のための特徴量 (画像処理特集) -- (文字認識,図面読取り)
- 一様構造しきい素子回路網による特徴抽出
- 網膜神経節細胞の非線形時空間モデル
- 網膜神経節細胞応答特性の非線形解析
- 重み行列を有する連想記録の最適係数値について(技術談話室)
- 3次相関連想記憶の想起特性(技術談話室)
- ビル火災における煙伝搬の有限要素法による数値解析
- 構造安定な離散時間線形システムのクラス
- セル構造配列による3値論理関数の合成ならびにセル識別法
- 離散時間線形システムの構造安定性
- 非定常ランダム外界における学習オ-トマン
- 一般化された線形システムとしての線形空間オ-トマトンの構造安定性
- 3値論理関数の構成に関する一提案(技術談話室)
- 動作等価性によるプログラム形の能力比較について
- 3値論理関数の論理設計法
- グラフの埋め込みに必要な面積と交差数の兼ね合いについて
- 巡回シフトの面積時間複雑度について
- 循環型シフト回路の埋め込み面積について (形式言語理論とオートマトン理論)
- 直並列グラフの最小木を求めるのに必要な比較の回数について
- 記憶量とアクセス時間を考慮してデ-タ圧縮するための近似アルゴリズム
- フロ-グラフの深さ問題について
- LR文法族の非交さ性
- ファイルの最適分割
- セル構造オ-トマトンの並列写像の新しい特性化--強(弱)全射と強(弱)単射
- 可約なフロ-グラフの被覆道を求める多項式時間のアルゴリズム
- ISOにおける形式記述技法の標準化動向 (通信システムの形式記述技法の標準化)
- 代数型言語によるプロトコルの形式仕様記述 (電子計算機相互運用デ-タベ-スシステム)
- 一般化された3値しきい値関数
- 知識を活用する漢字認識システム