コレクションホームページ

1426 計算機科学基礎理論とその応用   44
(http://hdl.handle.net/2433/47114)

ブラウズ
文献一覧(目次の昇順ソート): 1 - 20 / 44
書誌情報ファイル
表紙・目次
   (2005-04)
  数理解析研究所講究録, 1426
file type icon
Improved Deterministic Approximation Algorithms for Max TSP (Theoretical Computer Science and its Applications)
  Chen, Zhi-Zhong; Okamoto, Yuusuke; Wang, Lusheng (2005-04)
  数理解析研究所講究録, 1426: 1-6
file type icon
An Improved Randomized Approximation Algorithm for Max TSP (Theoretical Computer Science and its Applications)
  Chen, Zhi-Zhong; Wang, Lusheng (2005-04)
  数理解析研究所講究録, 1426: 7-12
file type icon
Hajos Calculus on Planar Graphs (Theoretical Computer Science and its Applications)
  Hanatani, Yoichi; Horiyama, Takashi; Iwama, Kazuo (2005-04)
  数理解析研究所講究録, 1426: 13-19
file type icon
A Hierarchy of Tree Edit Distance Measures (Theoretical Computer Science and its Applications)
  Kuboyama, Tetsuji; Shin, Kilho; Miyahara, Tetsuhiro (2005-04)
  数理解析研究所講究録, 1426: 20-25
file type icon
構文解析木の類似度の判定アルゴリズム (計算機科学基礎理論とその応用)
  椎名, 広光; 秋友, 克俊 (2005-04)
  数理解析研究所講究録, 1426: 26-31
file type icon
$O(n^3)$で認識される文脈自由木言語のサブクラスについて (計算機科学基礎理論とその応用)
  Kawaharada, Ikuo; Fujiyoshi, Akio (2005-04)
  数理解析研究所講究録, 1426: 32-38
file type icon
配列を扱う非線形先頭再帰プログラムからの再帰除去 (計算機科学基礎理論とその応用)
  高須, 洋平; 酒井, 正彦; 西田, 直樹; 草刈, 圭一朗; 坂部, 俊樹 (2005-04)
  数理解析研究所講究録, 1426: 39-44
file type icon
正規パターン言語の和と共通部分の帰納学習 (計算機科学基礎理論とその応用)
  植村, 仁 (2005-04)
  数理解析研究所講究録, 1426: 45-50
file type icon
ランキング関数のオンライン学習について (計算機科学基礎理論とその応用)
  中村, 篤祥 (2005-04)
  数理解析研究所講究録, 1426: 51-56
file type icon
A Model and Methods for Moderately-Hard Functions : Extended Abstract (Theoretical Computer Science and its Applications)
  Onodera, Takao; Tanaka, Keisuke (2005-04)
  数理解析研究所講究録, 1426: 57-63
file type icon
The Sampling Twice Technique for the RSA-based Cryptosystems with Anonymity : Extended Abstract (Theoretical Computer Science and its Applications)
  Hayashi, Ryotaro; Tanaka, Keisuke (2005-04)
  数理解析研究所講究録, 1426: 64-70
file type icon
On NK-Community Problem (Theoretical Computer Science and its Applications)
  Nakamura, Atsuyoshi; Shigezumi, Takeya; Yamamoto, Masaki (2005-04)
  数理解析研究所講究録, 1426: 71-77
file type icon
モバイルエージェント実行計画問題について (計算機科学基礎理論とその応用)
  佐々木, 淳; 宮田, 敬三; 櫟, 粛之; 増山, 繁 (2005-04)
  数理解析研究所講究録, 1426: 78-83
file type icon
進化的ネットワークにおける探索アルゴリズムの提案 (計算機科学基礎理論とその応用)
  緒方, 司; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2005-04)
  数理解析研究所講究録, 1426: 84-90
file type icon
部分IDの一意性を考慮したID集合生成に関する問題 (計算機科学基礎理論とその応用)
  牧山, 幸史; 納富, 貞嘉; 安浦, 寛人 (2005-04)
  数理解析研究所講究録, 1426: 91-95
file type icon
An Energy Complexity Measure for Threshold Circuits that is Motivated by Biological Data on Cortical Computations (Theoretical Computer Science and its Applications)
  Uchizawa, Kei (2005-04)
  数理解析研究所講究録, 1426: 96-100
file type icon
The Reachability and Related Decision Problems for Semi-Constructor TRSs (Theoretical Computer Science and its Applications)
  Mitsuhashi, Ichiro; Oyamaguchi, Michio; Yamada, Toshiyuki (2005-04)
  数理解析研究所講究録, 1426: 101-105
file type icon
項到達可能性の判定における成長TRSに対する手法と正規化規則による手法の関係 (計算機科学基礎理論とその応用)
  村田, 龍彦; 酒井, 正彦; 西田, 直樹; 草刈, 圭一朗; 坂部, 俊樹 (2005-04)
  数理解析研究所講究録, 1426: 106-112
file type icon
変換と部分評価に基づく非左辺正規なメタ項の停止性証明 (計算機科学基礎理論とその応用)
  蛸島, 洋明; 酒井, 正彦; 坂部, 俊樹; 西田, 直樹; 草刈, 圭一朗 (2005-04)
  数理解析研究所講究録, 1426: 113-118
file type icon
文献一覧(目次の昇順ソート): 1 - 20 / 44