検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
| 書誌情報 | ファイル |
|---|---|
| DAG の高さを4以下に制限したタスクスケジューリングの近似アルゴリズムについて(計算機科学の理論とその応用) 清水, 豪樹; 大山口, 通夫; 山田, 俊行; 柳本, 貴之; 小松, 健悟 (2007-05) 数理解析研究所講究録, 1554: 210-216 |  |
| ボトムアップ手法を用いた系統樹構築の近似アルゴリズム(計算機科学の理論とその応用) 前村, 一哉; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2007-05) 数理解析研究所講究録, 1554: 238-242 | |
| 定数項の大きな線形しきい値関数に対する高速なオンライン学習(計算機科学の理論とその応用) 石橋, 浩介; 畑埜, 晃平; 竹田, 正幸 (2007-05) 数理解析研究所講究録, 1554: 217-224 | |
| 単純型付き等式系に基づく定理自動証明に関する一考察(計算機科学の理論とその応用) 岡村, 洋; 大山口, 通夫; 山田, 俊行 (2007-05) 数理解析研究所講究録, 1554: 178-185 | |
| 価値関数によるソフトリアルタイムシステムのスケジューラ自動合成手法(計算機科学の理論とその応用) 加納, 卓; 山根, 智 (2007-05) 数理解析研究所講究録, 1554: 186-193 | |
| 信用交渉における公開木戦略の計算量(計算機科学の理論とその応用) 山本, 有輝; 高田, 喜朗; 関, 浩之 (2007-05) 数理解析研究所講究録, 1554: 276-283 | |
| $K$- 開発閉包な左線形項書換えシステムの合流性(計算機科学の理論とその応用) 岩見, 宗弘 (2007-05) 数理解析研究所講究録, 1554: 258-263 | |
| Alternating CFG の拡張について(計算機科学の理論とその応用) 守屋, 悦朗; Otto, Friedrich; Messerschmidt, Hartmut (2007-05) 数理解析研究所講究録, 1554: 9-15 | |
| Neighborhood Function for CA(Theory of Computer Science and Its Applications) Nishio, Hidenosuke; Worsch, Thomas (2007-05) 数理解析研究所講究録, 1554: 16-23 | |
| センサーネットワークにおける省電力高信頼なデータ伝送(計算機科学の理論とその応用) 佐薙, 光樹; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2007-05) 数理解析研究所講究録, 1554: 264-268 | |