年 Year |
TR Number |
発行 Publication |
著者 Authors |
題名 Title |
言語 Language |
2018 |
TR2018001 |
2018.4 |
Masashi Tsuchida, Fukuhito Ooshita, Michiko Inoue |
Gathering of Mobile Agents in Asynchronous Byzantine Environments with Authenticated Whiteboards |
eng |
2016 |
TR2016001 |
2016.12 |
Masashi Tsuchida, Fukuhito Ooshita, Michiko Inoue |
Byzantine gathering in networks with authenticated whiteboards |
eng |
2014 |
TR2014002 |
2014.12 |
Khana Chindamaikul, Toshinori Takai, Daniel Port, Hajimu Iida |
Automatic Approach to Prepare Information for Constructing an Assurance Case |
eng |
TR2014001 |
2014.10 |
麻田優真, 井上美智子 |
A Silent Self-Stabilizing Algorithm for 1-Maximal Matching in Anonymous Networks |
eng |
2013 |
TR2013001 |
2013.1 |
齊藤康廣, 門田暁人, 松本健一 |
ソフトウェア委託開発プロジェクトの超上流工程における非機能要件評価に関する研究 |
jpn |
2012 |
TR2012002 |
2012.11 |
Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki, Toru Fujiwara |
Determinacy and Subsumption for Single-valued Bottom-up Tree Transducers |
eng |
TR2012001 |
2012.6 |
高井利憲 |
構成管理ツールおよびその運用手順に関するリスク分析とアシュアランスケースの記述事例 |
jpn |
2011 |
TR201103 |
2011.11 |
Yasutaka Kamei, Bram Adams |
Proceedings of the International Workshop on Empirical Software Engineering in Practice 2011 (IWESEP 2011) |
eng |
TR201102 |
2011.5 |
松村知子, 吉田誠, 井手直子, 森崎修司, 戸田航史, 松本健一 |
ソフトウェア開発の要求品質の向上のためのユーザ・ベンダ間のコミュニケーションの計測方法と計測例 |
jpn |
TR201101 |
2011.2 |
森崎修司, 門田暁人, 松本健一 |
ソフトウェアエンジニアリングリポジトリを対象とした 例外ルール抽出 |
jpn |
2010 |
TR2010005 |
2010.12 |
Akinori Ihara and Takashi Ishio |
Proceedings of the International Workshop on Empirical Software Engineering in Practice 2010 (IWESEP 2010) |
eng |
TR2010004 |
2010.8 |
Chia Yee Ooi and Hideo Fujiwara |
Enhanced Functional Fault Model for Micro Operation Faults |
eng |
TR2010003 |
2010.4 |
Ryo Yoshinaka, Yuichi Kaji and Hiroyuki Seki |
Chomsky-Schutzenberger-Type Characterization of Multiple Context-Free Languages |
eng |
TR2010002 |
2010.4 |
Yoshiaki Takata and Hiroyuki Seki |
Automatic Generation of History-Based Access Control from Information Flow Specification |
eng |
TR2010001 |
2010.1 |
Masateru Tsunoda, Tomoko Matsumura, Hajimu Iida, Kozo Kubo, Shinji Kusumoto, Katsuro Inoue and Ken-ichi Matsumoto |
Standardizing the Software Tag in Japan for Transparency of Development |
eng |
2009 |
TR2009007 |
2009.12 |
山内寛己, 門田暁人, 松本健一 |
実行系列差分攻撃によるプログラムの耐タンパー性評価 |
jpn |
TR2009006 |
2009.11 |
松村知子, 松本健一 |
ユーザとベンダ間の協調による要求品質確保のための定量化事例 |
jpn |
TR2009005 |
2009.10 |
松村知子, 大平雅雄, 森崎修司, 松本健一 |
オフショア開発におけるユーザ・ ベンダ間コミュニケーション情報の分析による仕様伝達の評価 |
jpn |
TR2009004 |
2009.9 |
Hiroshi Iwata, Satoshi Ohtake and Hideo Fujiwara |
An Approach to RTL False Path Mapping Using Uniqueness of Paths |
eng |
TR2009003 |
2009.7 |
Hideharu Okuma, Kazuo Hara, Masashi Shimbo, and Yuji Matsumoto |
Bypassed Alignment Graph for Learning Coordination in Japanese Sentences: Supplementary Material |
eng |
TR2009002 |
2009.2 |
Izuru Kume and Etsuya Shibayama |
A Trace Analysis Approach to Comprehend Features in Object-Oriented Effect Systems |
eng |
TR2009001 |
2009.1 |
Tsuyoshi Suzuki, Michiko Inoue and Hideo Fujiwara |
Efficient Mutual Exclusion Algorithm for High System Congestion |
eng |
2008 |
TR2008008 |
2008.11 |
高田純, 伏田享平, 川口真司, 飯田元 |
定量的管理計画の立案を支援するシステムの開発 |
jpn |
TR2008007 |
2008.7 |
Yoshiaki Takata and Hiroyuki Seki |
Comparison of the Expressive Power of Language-basedAccess Control Models |
eng |
TR2008006 |
2008.5 |
Shuji Morisaki |
Risk-based inspection |
eng |
TR2008005 |
2008.3 |
Takanobu Yamashina, Hidetake Uwano, Kyohei Fushida, Yasutaka Kamei, Masataka Nagura, Shinji Kawaguchi and Hajimu Iida |
SHINOBI: A real-time code clone detection tool for software maintenance |
eng |
TR2008004 |
2008.3 |
松村知子, 勝又敏次, 森崎修司, 玉田春昭, 角田雅照, 門田暁人, 松本健一 |
構成管理情報の定量的計測による異常モジュール検知手法の提案 |
jpn |
TR2008003 |
2008.2 |
松村知子, 松本健一 |
ソフトウェア品質への影響計測のためのテスト工程での手戻り作業量の特徴分析 |
jpn |
TR2008002 |
2008.2 |
松村知子, 門田暁人 |
ソフトウェア開発プロジェクト管理支援のための構成管理・障害管理データの活用 |
jpn |
TR2008001 |
2008.1 |
Kenji Sugiyama and Yuichi Kaji |
A minimum weight test procedure for a certain subclass of array LDPC codes |
eng |
2007 |
TR2007015 |
2007.12 |
神崎雄一郎, 門田暁人, 中村匡秀, 松本健一 |
高級言語によって偽装内容を指定できる拡張プログラムカムフラージュ法 |
jpn |
TR2007014 |
2007.11 |
黒崎章, 玉田春昭, 森崎修司, 角田雅照, 松本健一 |
WBSデータを用いた工数予実差と終了日予実差の関連分析 |
jpn |
TR2007013 |
2007.9 |
Tetsuro Morimura, Eiji Uchibe, Junichiro Yoshimoto, and Kenji Doya |
Policy gradient reinforcement learning with log stationary distribution gradients |
eng |
TR2007012 |
2007.6 |
Yuki Yoshikawa, Satoshi Ohtake and Hideo Fujiwara |
Over-testing reduction for delay faults through false path exclusion using RTL information |
eng |
TR2007011 |
2007.5 |
Haruaki Tamada, Keiji Okamoto, Masahide Nakamura, Akito Monden and Ken-ichi Matsumoto |
Design and evaluation of dynamic software birthmarks based on API calls |
eng |
TR2007010 |
2007.5 |
鈴木新, 杉本謙二 |
誤差因子を用いたMTシステムにおける単位空間擬似データ作成法と評価実験 |
jpn |
TR2007009 |
2007.5 |
Izuru Kume, Naoya Nitta and Yasuhiro Takemura |
An experiment to explore practical training for object-oriented design novices |
eng |
TR2007008 |
2007.4 |
鈴木新, 杉本謙二 |
マハラノビス距離による制御対象の熱容量推定手法 |
jpn |
TR2007007 |
2007.3 |
松村知子, 森崎修司, 玉田春昭, 大杉直樹, 門田暁人, 松本健一 |
設計書の再利用を考慮したレビュー効率の比較方法の提案と事例紹介 |
jpn |
TR2007006 |
2007.3 |
松村知子, 森崎修司, 玉田春昭, 大杉直樹, 門田暁人, 松本健一 |
プロセス改善を目的とするODCを用いた欠陥修正工数分析 |
jpn |
TR2007005 |
2007.3 |
松村知子, 森崎修司, 玉田春昭, 大杉直樹, 門田暁人, 松本健一 |
GQMモデルに基づく設計工程完成度計測手法の提案 |
jpn |
TR2007004 |
2007.3 |
Mitsuru Tomono, Masaki Nakanishi, Shigeru Yamashita, and Yasuhiko Nakashima |
A placement and routing algorithm for a reconfigurable 1-bit processor array |
eng |
TR2007003 |
2007.2 |
森崎修司, 松村知子, 玉田春昭, 大杉直樹, 門田暁人, 松本健一 |
相関ルール分析を用いた障害対応データの特徴分析 |
jpn |
TR2007002 |
2007.2 |
玉田春昭, 松村知子, 森崎修司, 松本健一 |
プロジェクト遅延リスク検出を目的とするソフトウェア開発プロセス可視化ツールProStar |
jpn |
TR2007001 |
2007.2 |
松村知子, 勝又敏次, 森崎修司, 玉田春昭, 大杉直樹, 門田暁人, 楠本真二, 松本健一 |
自動データ収集・可視化ツールを用いたリアルタイムフィードバックシステムの構築と試行 |
jpn |
2006 |
TR2006008 |
2006.11 |
Shuji Morisaki, Akito Monden, Haruaki Tamada,Tomoko Matsumura, and Ken-ichi Matsumoto |
An extension of association rule mining for software engineering data repositories |
eng |
TR2006007 |
2006.9 |
Hiroyuki Seki and Yuki Kato |
On the generative power of multiple context-free grammars and macro grammars |
eng |
TR2006006 |
2006.9 |
Tomokazu Yoneda, Masahiro Imanishi and Hideo Fujiwara |
An SoC test scheduling algorithm using reconfigurable union wrappers |
eng |
TR2006005 |
2006.8 |
Michiko Inoue, Masato Nakazato, Shinya Yokoyama, Kazuko Kambe and Hideo Fujiwara |
Efficient and effective test program generation for software-based self-test of pipelined processors |
eng |
TR2006004 |
2006.7 |
Chia Yee Ooi and Hideo Fujiwara |
Classification of sequential circuits based on acyclic test generation complexity |
eng |
TR2006003 |
2006.5 |
Chia Yee Ooi and Hideo Fujiwara |
A new class of sequential circuits with acyclic test generation complexity |
eng |
TR2006002 |
2006.3 |
Yuki Kato and Hiroyuki Seki |
Stochastic multiple context-free grammar for RNA pseudoknot modeling |
eng |
TR2006001 |
2006.2 |
Yuki Yoshikawa, Satoshi Ohtake and Hideo Fujiwara |
An approach to reduce over-testing of path delay faults in data paths using RT-level information |
eng |
2005 |
TR2005009 |
2005.11 |
Hajime Fujita and Shin Ishii |
Model-based reinforcement learning for partially observable games with sampling-based state estimation |
eng |
TR2005008 |
2005.11 |
Junichiro Hirayama, Junichiro Yoshimoto and Shin Ishii |
Balancing plasticity and stability of on-line learning based on hierarchical Bayesian adaptation of forgetting factors |
eng |
TR2005007 |
2005.11 |
Takeshi Mori, Yutaka Nakamura and Shin Ishii |
Off-Policy Natural Actor-Critic |
eng |
TR2005006 |
2005.10 |
Yoshiaki Takata, Jun Noda, Mie Takahashi, Hisashi Mouri, Itaru Hosomi, Daigo Taguchi and Hiroyuki Seki |
A presence-aware trust management system |
eng |
TR2005005 |
2005.8 |
Yuki Yoshikawa, Satoshi Ohtake, Michiko Inoue and Hideo Fujiwara |
Design for testability based on single-port-change delay testing for data paths |
eng |
TR2005004 |
2005.6 |
Tomokazu Yoneda, Kimihiko Masuda and Hideo Fujiwara |
Power-constrained test scheduling for multi-clock domain SoCs |
eng |
TR2005003 |
2005.5 |
Chia Yee Ooi, Thomas Clouqueur and Hideo Fujiwara |
Test generation complexity for stuck-at and path delay faults based on tau[k] - notation |
eng |
TR2005002 |
2005.3 |
Takahiro Ueoka, Tatsuyuki Kawamura, Yasuyuki Kono and Masatsugu Kidode |
View angle evaluation of a first-person video to support an object-finding task |
eng |
TR2005001 |
2005.1 |
吉川祐樹, 大竹哲史, 井上美智子, 藤原秀雄 |
単一端子変化遅延テストに基づくデータパスのテスト容易化設計 |
jpn |
2004 |
TR2004009 |
2004.12 |
Tsuyoshi Iwagaki, Satoshi Ohtake and Hideo Fujiwara |
Acceleration of transition test generation for acyclic sewuential circuits utilizing constrained combinational stuck-at test generation |
eng |
TR2004008 |
2004.10 |
Takahiko Ito, Masashi Shimbo, Taku Kudo and Yuji Matsumoto |
Link analysis with Kernels |
eng |
TR2004007 |
2004.10 |
高田喜朗, 中村岳志, 関浩之 |
XML文書に対するアクセシビリティ・ガイドライン適合性検証 |
jpn |
TR2004006 |
2004.9 |
Virendra Singh, Michiko Inoue, Kewal K. Saluja, and Hideo Fujiwara |
Software-based delay fault self-testing of pipelined processor cores |
eng |
TR2004005 |
2004.9 |
Takuji Tachibana and Shoji Kasahara |
Oprimal lightpath establishment policy for service defferentiation in WDM networks with full-range wavelength conversion |
eng |
TR2004004 |
2004.9 |
Takuji Tachibana and Shoji Kasahara |
Burst-cluster transmission : service differentiation mechanism for immediate reservation in oprical burst switching networks |
eng |
TR2004003 |
2004.9 |
Takuji Tachibana and Shoji Kasahara |
Performance analysis of timer-based burst assembly with slotted scheduling for optical burst switching networks |
eng |
TR2004002 |
2004.6 |
Chia Yee Ooi and Hideo Fujiwara |
Some tau-equivalent classes of sequential circuits |
eng |
TR2004001 |
2004.1 |
Chia Yee Ooi and Hideo Fujiwara |
Classification of sequential circuits based on combinational test generation complexity |
eng |
2003 |
TR2003017 |
2003.12 |
Tatsuyuki Kawamura, Chin-Chan Lin, Yasuyuki Kono and Masatsugu Kidode |
Rating human relations for recommendation of an augmented video memory using human profile data and meeting logs |
eng |
TR2003016 |
2003.12 |
Takahiro Ueoka, Tatsuyuki Kawamura, Yasuyuki Kono and Masatsugu Kidode |
Functional evaluation of a wearable object remenbrance support system |
eng |
TR2003015 |
2003.12 |
Tatsuyuki Kawamura, Takahiro Ueoka, Yutaka Kiuchi, Yasuyuki Kono and Masatsugu Kidode |
Image similarity measurement by an integrated probabilistic histogram |
eng |
TR2003014 |
2003.11 |
Haruaki Tamada, Masahide Nakamura, Akito Monden and Ken-ichi Matsumoto |
Detecting the traft of programs using birthmarks |
eng |
TR2003013 |
2003.11 |
Akito Monden, Antoine Monsifrot and Clark Thomborson |
Obfuscated instructions for software protection |
eng |
TR2003012 |
2003.11 |
Dao Dinh Kha, Masatoshi Yoshikawa and Shunsuke Uemura |
Virtual joins for XML data |
eng |
TR2003011 |
2003.10 |
Masaki Nakanishi |
One-sided error quantum pushdown automata with classical stack operations |
eng |
TR2003010 |
2003.9 |
Tsuyoshi Iwagaki, Satoshi Ohtake and Hideo Fujiwara |
A design scheme for delay fault testability of controllers using state transition information |
eng |
TR2003009 |
2003.9 |
Tsuyoshi Iwagaki, Satoshi Ohtake and Hideo Fujiwara |
Reducibility of sequential test generation to combinational test generation for several delay fault models |
eng |
TR2003008 |
2003.8 |
Toshiaki Majima |
Automatic generation of java query API capable of simulating active database |
eng |
TR2003007 |
2003.6 |
Naoya Nitta and Hiroyuki Seki |
An extension of pushdown system and its model checking method |
eng |
TR2003006 |
2003.5 |
Virendra Singh, Michiko Inoue, Kewal K. Saluja and Hideo Fujiwara |
Software-based delay fault testing of processor cores |
eng |
TR2003005 |
2003.5 |
Michiko Inoue, Kazuhiro Suzuki, Hiroyuki Okamoto and Hideo Fujiwara |
Test synthesis for strongly testable datapaths using datapath-controller functions |
eng |
TR2003004 |
2003.4 |
Natsuki Itaya and Shoji Kasahara |
Dynamic parameter adjustment for available-bandwidth estimation of TCP in wired-wireless networks |
eng |
TR2003003 |
2003.4 |
Takuji Tachibana, Tomoya Ajima and Shoji Kasahara |
Round-robin burst assembly and constant transmission scheduling for optical burst switching networks |
eng |
TR2003002 |
2003.2 |
Tomokazu Yoneda, Tetsuo Uchiyama and Hideo Fujiwara |
Area and time co-optimization for system-on-a-chip based on consecutive testability |
eng |
TR2003001 |
2003.2 |
Takuji Tachibana and Shoji Kasahara |
Performance analysis of dynamic light-path configuration for symmetric WDM ring networks |
eng |
2002 |
TR2002017 |
2002.12 |
Takahiro Ueoka, Tatshuyuki Kawamura, Norimichi Ukita, Yasuyuki Kono and Masatsugu Kidode |
Remembering the object location with a wearable vision interface |
eng |
TR2002016 |
2002.11 |
Takuji Tachibana and Shoji Kasahara |
Qos-guaranteed wavelength allocation for WDM networks with limited-range wavelength conversion |
eng |
TR2002015 |
2002.11 |
Ryu Iida and Edson T. Miyamoto |
Corpus counts fo NP sequences in Japanese |
eng |
TR2002014 |
2002.8 |
Takuji Tachibana and Shoji Kasahara |
QoS provisioning with shared wavelength allocation for limited-range wavelength conversion |
eng |
TR2002013 |
2002.7 |
Tomokazu Yoneda and Hideo Fujiwara |
Design for consecutive transparency of RTL circuits |
eng |
TR2002012 |
2002.7 |
Tatsuyuki Kawamura, Tomohiro Fukuhara, Hideaki Takeda, Yasuyuki Kono and Masatsugu Kidode |
Ubiquitous memories : wearable interface for computational augmentation of human memory based on real world objects |
eng |
TR2002011 |
2002.7 |
Erik Larsson and Hideo Fujiwara |
Optimal test time for system-on-chip designs using preemptive scheduling and reconfigurable wrappers |
eng |
TR2002010 |
2002.6 |
Dao Dinh Kha, Masatoshi Yoshikawa and Shunsuke Uemura |
Processing XML queries on structure and keyword in SKEYRUS |
eng |
TR2002009 |
2002.5 |
Yasushi Sakurai, Masatoshi Yoshikawa, Ryoji Kataoka and Shunsuke Uemura |
Similarity search for adaptive ellipsoid queries using spatial transformation |
eng |
TR2002008 |
2002.4 |
永井慎太郎, 大竹哲史, 藤原秀雄 |
レジスタ転送レベルでのデータフロー依存型回路の階層テスト容易化設計法 |
jpn |
TR2002007 |
2002.3 |
大谷浩平, 大竹哲史, 藤原秀雄 |
縮退故障のテスト生成アルゴリズムを用いたパス遅延故障に対するテスト生成法 |
jpn |
TR2002006 |
2002.3 |
梅谷真也, 井上美智子, 増澤利光, 藤原秀雄 |
非同期共有メモリシステムにおけるポイント競合度適応型繰り返し改名アルゴリズム |
jpn |
TR2002005 |
2002.2 |
Tomokazu Yoneda and Hideo Fujiwara |
An ILP formulation for consecutive testability of system-on-a-chip |
eng |
TR2002004 |
2002.2 |
神野元彰, 井上美智子, 藤原秀雄 |
ホールドレジスタを含む内部平衡構造 |
jpn |
TR2002003 |
2002.1 |
Erik Larsson and Hideo Fujiwara |
Preemptive power constrained TAM scheduling for scan-based system-on-chip |
eng |
TR2002002 |
2002.2 |
永井慎太郎, 和田弘樹, 大竹哲史, 藤原秀雄 |
固定制御可検査性に基づくRTL回路の非スキャンテスト容易化設計法 |
jpn |
TR2002001 |
2002.1 |
岩垣剛, 大竹哲史, 藤原秀雄 |
不連続再収斂順序回路のパス遅延故障に対するテスト生成法 |
jpn |
2001 |
TR2001007 |
2001.9 |
Akito Monden, Daikai Nakae, Toshihito Kamiya, Shin-ichi Sato and Ken-ichi Matsumoto |
Software quality analysis by code clones in industrial legacy software |
eng |
R2001006 |
2001.5 |
Tomokazu Yoneda, and Hideo Fujiwara |
A DFT method for core-based systems-on-a-chip based on consecutive testability |
eng |
R2001005 |
2001.3 |
Masaki Nakanishi, Takao Indoh, Kiyoharu Hamaguchi, and Toshinobu Kashiwabara |
On the power of quantum pushdown automata with a classical stack and 1.5-way quantum finite automata |
eng |
R2001004 |
2001.3 |
Emil Gizdarski and Hideo Fujiwara |
Fault set partition for efficient width compression |
eng |
R2001003 |
2001.3 |
Naoya Nitta, Satoshi Ikada, Yoshiaki Takata, and Hiroyuki Seki |
Dicidability and complexity of the security verification problem for programs with stack inspection |
eng |
R2001002 |
2001.3 |
Ken-ichi Matsumoto, Shuuji Morisaki, Akito Monden, Koji Torii |
CLAS : an approach for full use of application software |
eng |
R2001001 |
2001.3 |
森崎修司, 門田暁人, 松本健一, 井上克郎, 鳥居宏次 |
ソフトウェア利用知識の共有における機能実行履歴の提示 |
jpn |
2000 |
TR2000014 |
2000.12 |
中西正樹, 印藤隆夫, 浜口清治, 柏原敏伸 |
非決定性量子有限オートマトン |
jpn |
TR2000013 |
2000.12 |
Kokoro Nakagawa, Yoshiaki Takata, and Hiroyuki Seki |
Flexible category structure for supporting document retrieval and its evaluation |
eng |
TR2000012 |
2000.12 |
Dao Dinh Kha, Masatoshi Yoshikawa and Shunsuke Uemura |
An XML indexing structure with relative region coordinate |
eng |
TR2000011 |
2000.12 |
Yasushi Sakurai, Masatoshi Yoshikawa, Shunsuke Uemura and Haruhiko Kojima |
A-tree : an index structure for high-dimensional spaces using ralative approximation |
eng |
TR2000010 |
2000.11 |
中西正樹, 浜口清治, 柏原敏伸 |
定数幅量子ブランチングプログラムの計算能力 |
jpn |
TR2000009 |
2000.11 |
Satoshi Ohtake, Shintaro Nagai, Hiroki Wada and Hideo Fujiwara |
An Non-scan DFT Method at RTL Based on Fixed-control Testability to Achieve 100% Fault Efficiency |
eng |
TR2000008 |
2000.10 |
Naotoshi Adachi, Shoji Kasahara and Yutaka Takahashi |
Application-Level Jitter Reduction Scheme for Multimedia Communication over ATM-ABR Service |
eng |
TR2000007 |
2000.10 |
Emil Gizdarski and Hideo Fujiwara |
SPIRIT : A High Robust Combinational Test Generation Algorithm |
eng |
TR2000006 |
2000.8 |
Shoji Kasahara |
Blocking Behavior of Queueing System with Finite Buffer and Pseudo Self-similar Input |
eng |
TR2000005 |
2000.4 |
Emil Gizdarski, Hideo Fujiwara |
SPIRIT : Satisfiability Problem Implementation for Redundancy Identification and Test Generation |
eng |
TR2000004 |
2000.3 |
Michiko Inoue, Emil Gizdarski and Hideo Fujiwara |
Theorems for Separable Primary Input Faults in Internally Balanced Structures |
eng |
TR2000003 |
2000.2 |
Junichiro Yoshimoto, Shin Ishii and Masa-aki Sato |
A reinforcement learning for continuous systems |
eng |
TR2000002 |
2000.2 |
Yeon-Dae Kwon, Yasunori Ishihara, Shougo Shimizu, Minoru Ito |
Computational Complexity of Finding Highly Co-occurrent Itemsets in Market Basket Databases |
eng |
TR2000001 |
2000.1 |
Emil Gizdarski and Hideo Fujiwara |
A New Data Structure for Complete Implication Graph with Application for Static Learning |
eng |
1999 |
TR99012 |
1999.12 |
松本裕治, 北内啓, 山下達雄, 平野善隆, 松田寛, 浅原正幸 |
日本語形態素解析システム「茶筌」Version 2.0使用説明書 第2版 |
jpn |
TR99011 |
1999.9 |
Kohhei Yamada, Naotoshi Adachi, Shoji Kasahara and Yutaka Takahash |
Measurement Analysis of Cell Stream in ATM Network Integrating CATV and Internet |
eng |
TR99010 |
1999.8 |
Toshinori Takai, Yuichi Kaji and Hiroyuki Seki |
A sufficient condition for the termination of the procedure for solving an order-sorted unification problem |
eng |
TR99009 |
1999.4 |
Yuji Matsumoto, Akira Kitauchi, Tatsuo Yamashita and Yoshitaka Hirano |
Japanese Morphological Analysis System ChaSen version 2.0 Manual |
eng |
TR99008 |
1999.4 |
松本裕治, 北内啓, 山下達雄, 平野善隆 |
日本語形態素解析システム「茶筌」Version 2.0使用説明書 |
jpn |
TR99007 |
1999.4 |
Tomoo Inoue, Chiiho Sano, Takahiro Mihara and Hideo Fujiwara |
Test Generation for Acyclic Sequential Circuits with Hold Registers |
eng |
TR99006 |
1999.4 |
Tomoo Inoue, Hideo Fujiwara, Hiroyuki Michinishi, Tokumi Yokohira and Takuji Okamoto |
Universal Test Complexity of Field-Programmable Gate Arrays |
eng |
TR99005 |
1999.4 |
Naotoshi Adachi, Shoji Kasahara and Yutaka Takahashi |
Jitter Behavior of MPRG2 Stream in Self-similar Traffic of ATM Network Integrating CATV and Internet |
eng |
TR99004 |
1999.3 |
守屋宣, 井上美智子, 増澤利光, 藤原秀雄 |
共有メモリマルチプロセッサシステムにおける同期時間最適な無待機時計合わせプロトコル |
jpn |
TR99003 |
1999.2 |
Shingo Takada, Louise Scott and Andy Brooks |
Evaluating Data Flow Diagrams and Class Diagrams in Usability Laboratory Experiments (CADPRO Pilot #2) |
eng |
TR99002 |
1999.1 |
Toru Nakanishi, Toru Fujiwara, Hajime Watanabe |
Anonymous Bidding Protocols Using an Anonymous Undeniable Signature |
eng |
TR99001 |
1999.1 |
笠原正治 |
フラクタル的トラフィックの諸性質と待ち行列長分布の近似的解析法 |
jpn |
1998 |
TR98013 |
1998.11 |
Debesh Kumar Das, Satoshi Ohtake and Hideo Fujiwara |
New DFT Techniques of Non-Scan Sequential Circuits with Complete Fault Efficiency |
eng |
TR98012 |
1998.10 |
Tang Yuansheng, Tadao Kasami and Toru Fujiwara |
An Optimality Testing Algorithm for a Decoded Codeword of Binary Block Codes. |
eng |
TR98010 |
1998.10 |
Andy Brooks, Louise Scott and Shingo Takada |
Evaluating the Application of Software Metrics to Data Flow Diagrams and Class Diagrams in Usability Laboratory Experiments (CADPRO Pilot #1) |
eng |
TR98008 |
1998.7 |
Tadao Kasami and Takuya Koumoto |
Computation Complexity for Computing Sufficient Conditions on the Optimality of a Decoded Codeword |
eng |
TR98007 |
1998.6 |
Toshiyuki Morita, Yasunori Ishihara and Minoru Ito |
A Formal Approach to Detecting Security Flaws in Object-Oriented Database Schemas |
eng |
TR98006 |
1998.4 |
Kenichi Amemori and Shin Ishii |
Self-organizing Network Learning of Sub-millisecond Temporal Coded Information |
eng |
TR98005 |
1998.4 |
Tadafumi Yoshihara, Shoji Kasahara and Yutaka Takahashi |
Practical Time-scale Fitting of Self-similar Traffic with Markov-modulated Poisson Process |
eng |
TR98004 |
1998.4 |
Yasunori Ishihara, Shougo Shimizu, Hiroyuki Seki and Minoru Ito |
The Type-Consistency Problem for Queries in Object-Oriented Databases |
eng |
TR98003 |
1998.4 |
Naotoshi Adachi, Shoji Kasahara and Yutaka Takahashi |
Simulation Study on Multi-hop Jitter Behavior in Integrated ATM Network with CATV and Internet |
eng |
TR98002 |
1998.4 |
岡田正浩, 田地宏一, 高橋豊 |
巡回セールスマン問題に対するλ-optの確率的多項式性 |
jpn |
TR98001 |
1998.4 |
Hideaki Takeda and Toyoaki Nishida |
Some theoretical considerations on integration of ontlogies |
eng |
1997 |
TR97016 |
1997.8 |
Akira Imada and Keijiro Araki |
Evolution of random synaptic weights of the hopfield associative memory : how chaotic trajectories turn into fixed point attractors? |
eng |
TR97015 |
1997.8 |
Yoshio Onoe, Kazumasa Yamazawa, Haruo Takemura and Naokazu Yokoya |
Telepresence by real-time view-dependent image generation from omnidirectional video streams |
eng |
TR97014 |
1997.7 |
Satoshi Ohtake, Tomoo Inoue and Hideo Fujiwara |
Sequential test generation based on circuit pseudo-transformation |
eng |
TR97013 |
1997.6 |
清水將吾, 石原靖哲, 関浩之, 伊藤実 |
オブジェクト指向データベースにおける型検査問題の計算量 |
jpn |
TR97012 |
1997.6 |
Tang Yuansheng and Tadao Kasami |
One sufficient termination condition for some iterative soft-decision algorithms decoding binary linear block codes |
eng |
TR97011 |
1997.6 |
Keiji Amo, Yuichi Kaji and Tadao Kasami |
User authentication with the help of simple memory devices |
eng |
TR97010 |
1997.6 |
Seiwoong Oh, Daisuke Kado, Tomohiro Taira, Kazutoshi Fujikawa, Shinji Shimojo, Masatoshi Arikawa and Hideo Miyahara |
Scalable networked virtual reality system with live video |
eng |
TR97006 |
1997.2 |
Takehito Utsuro and Yuji Matsumoto |
Learning probabilistic subcategorization preference and its application to syntactic disambiguation |
eng |
1996 |
TR96013 |
1996.6 |
植村俊亮 |
ローマ字圏でない国の情報処理 |
jpn |
1995 |
TR95034 |
1995.10 |
Yoshiteru Ishida |
Machine formulation and understanding of the equations of physical laws by symmetry |
eng |
TR95033 |
1995.10 |
Yoshiteru Ishida |
Structural analysis on interval matrices by signed digraph : structural perturbation principle |
eng |
TR95032 |
1995.10 |
Yoshiteru Ishida |
Structural analysis on interval matrices by signed digraph : determinat maximization and singularity |
eng |
TR95031 |
1995.10 |
Yoshiteru Ishida |
Note on immune network and majority network |
eng |
TR95028 |
1995.10 |
Yoshiteru Ishida |
An immune network approach to sensor-network with self-organization for sensor and process faults |
eng |
TR95002 |
1995.1 |
Takehito Utsuro |
Optimizing nearest neighbor retrieval by similarity template and retrieval query generation |
eng |
1994 |
TR94027 |
1994.8 |
Naokazu Yokoya |
Dense matching of two views with large displacement |
eng |
TR94026 |
1994.7 |
Yasunori Ishihara, Hiroyuki Seki and Tadao Kasami |
Implementation of natural language specifications of communication protocols by executable specifications |
eng |
TR94019 |
1994.7 |
Hirokazu Nishitani |
Human-computer interaction in the new process technology |
eng |
TR94018 |
1994.7 |
Hirokazu Nishitani |
Computer aids for plant operation |
eng |
TR94006 |
1994.2 |
Hideaki Takeda |
Towards multi-aspect design support systems |
eng |
TR94003 |
1994.1 |
西田豊明 |
知識の共有のためのソフトウェア技術 |
jpn |
TR94001 |
1994.1 |
Naokazu Yokoya |
Surface reconstruction from stereo images preserving discontinuities |
eng |
1993 |
TR93012 |
1993.12 |
Yuichi Kaji, Hiroyuki Seki, and Tadao Kasami |
Finite state translation systems and parallel multiple context-free grammars |
eng |