Collection home page

0906 アルゴリズムと計算量理論   36
(http://hdl.handle.net/2433/59336)

Browse
List Of Items (Sorted by table of contents in Ascending order): 21 to 36 of 36
BibliographyContents
Extension of Synthesis Algorithm of Recursive Processes to $\mu$-calculus
  Kimura, Shigetomo, Togashi, Atsushi, Shiratori, Norio (1995-04)
  数理解析研究所講究録, 906: 146-153
file type icon
MSCからのプロセス合成(アルゴリズムと計算量理論)
  臼井, 伸幸, 木村, 成伴, 富樫, 敦, 白鳥, 則郎 (1995-04)
  数理解析研究所講究録, 906: 154-161
file type icon
生態ピラミッドの概念を取り入れた遺伝的アルゴリズムの提案(アルゴリズムと計算量理論)
  上土井, 陽子, 岸本, 善久, 若林, 真一 (1995-04)
  数理解析研究所講究録, 906: 162-169
file type icon
Demonstrating Programs against Adversaries
  SAKURAI, Kouichi, IWAMA, Kazuo (1995-04)
  数理解析研究所講究録, 906: 170-177
file type icon
ブール処理のパズルへの応用(アルゴリズムと計算量理論)
  仙波, 一郎 (1995-04)
  数理解析研究所講究録, 906: 178-185
file type icon
3分決定グラフを用いた積項集合表現(アルゴリズムと計算量理論)
  Yasuoka, Koichi (1995-04)
  数理解析研究所講究録, 906: 186-195
file type icon
Expressive Power of Binary Decision Diagrams Representing Sum-of-product Form
  NITTA, Koyo, TAKENAGA, Yasuhiko, YAJIMA, Shuzo (1995-04)
  数理解析研究所講究録, 906: 196-203
file type icon
On Breadth First Construction of OBDDs Representing Maximal Independent Sets
  HAYASE, Kazuyoshi (1995-04)
  数理解析研究所講究録, 906: 204-211
file type icon
Negative Results for Learing Minor Closed Graph Classes
  Domingo, Carlos, Shawe-Taylor, John (1995-04)
  数理解析研究所講究録, 906: 212-219
file type icon
正データからのSimple Regular言語の多項式時間帰納推論(アルゴリズムと計算量理論)
  佐藤, 清朗, 佐藤, 優子 (1995-04)
  数理解析研究所講究録, 906: 220-227
file type icon
完全データからのSimple Regular言語族の多項式時間反駁推論について(アルゴリズムと計算量理論)
  渡辺, 紀仁, 佐藤, 優子 (1995-04)
  数理解析研究所講究録, 906: 228-235
file type icon
Proper learning algorithm for functions of $k$ terms under smooth distributions
  Sakai, Yoshifumi, Takimoto, Eiji, Maruoka, Akira (1995-04)
  数理解析研究所講究録, 906: 236-243
file type icon
情報を意図的に改変する可能性のある通信路における安全な通信プロトコルのLFKNプロトコルによる改良について(アルゴリズムと計算量理論)
  坂本, 直志 (1995-04)
  数理解析研究所講究録, 906: 244-248
file type icon
Reliable Broadcasting in Product Networks
  Feng, Bao, Igarashi, Yoshihide, Ohring, Sabine R. (1995-04)
  数理解析研究所講究録, 906: 249-256
file type icon
リングの方向付け問題を有限状態数で解く自己安定アルゴリズム(アルゴリズムと計算量理論)
  梅本, 成俊, 角川, 裕次, 山下, 雅史 (1995-04)
  数理解析研究所講究録, 906: 257-263
file type icon
自動翻訳における新しい木構造の導入 : 左右木について(アルゴリズムと計算量理論)
  黒川, 浩一, 笠井, 琢美 (1995-04)
  数理解析研究所講究録, 906: 264-271
file type icon
List Of Items (Sorted by table of contents in Ascending order): 21 to 36 of 36