Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 21-30 / 43.

前
1
2
3
4
5
次

検索結果:

書誌情報	ファイル
A Linear-Time Algorithm for 7-coloring 1-planar Graphs (Evolutionary Advancement in Fundamental Theories of Computer Science) Chen, Zhi-Zhong; Kouno, Mitsuharu (2004-05) 数理解析研究所講究録, 1375: 35-41
Persistence of Termination for Overlay Term Rewriting Systems (Evolutionary Advancement in Fundamental Theories of Computer Science) Iwami, Munehiro (2004-05) 数理解析研究所講究録, 1375: 240-246
表紙・目次 (2004-05) 数理解析研究所講究録, 1375
最大マッチングを利用したタスクスケジューリングアルゴリズムの近似度の改善について (計算機科学基礎理論の新展開) 加藤, 雅之; 大山口, 通夫; 太田, 義勝; 新美, 信之助; 山本, 浩平 (2004-05) 数理解析研究所講究録, 1375: 61-67
線形制約式を用いた時間QoS一貫性の検証法 (計算機科学基礎理論の新展開) 岡野, 浩三; 森, 一夫; 谷口, 健一 (2004-05) 数理解析研究所講究録, 1375: 151-157
積項の長さに制限を付けた論理関数のOrdered Tree-Shellability (計算機科学基礎理論の新展開) 東海林, 貴司; 武永, 康彦 (2004-05) 数理解析研究所講究録, 1375: 130-136
Approximating Vertex Cover on Dense Graphs (Evolutionary Advancement in Fundamental Theories of Computer Science) Imamura, Tomokazu; Iwama, Kazuo (2004-05) 数理解析研究所講究録, 1375: 49-60
大規模木構造データからの頻出無順序木パターン発見アルゴリズム (計算機科学基礎理論の新展開) 浅井, 達哉; 房延, 慎二; 有村, 博紀; 宇野, 毅明; 中野, 眞一 (2004-05) 数理解析研究所講究録, 1375: 113-119
左辺が一致するオーバレイ性を持つ左線形TRSの正規化戦略 (計算機科学基礎理論の新展開) 水野, 健一; 草刈, 圭一朗; 酒井, 正彦; 坂部, 俊樹 (2004-05) 数理解析研究所講究録, 1375: 247-252
置換グラフ上における最小節点ランキング全域木問題を解くアルゴリズム (計算機科学基礎理論の新展開) 中山, 慎一; 増山, 繁 (2004-05) 数理解析研究所講究録, 1375: 267-273