dblp.uni-trier.dewww.uni-trier.de

Takashi Horiyama

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
21EEYouichi Hanatani, Takashi Horiyama, Kazuo Iwama, Suguru Tamaki: New Graph Calculi for Planar Non-3-Colorable Graphs. IEICE Transactions 91-A(9): 2301-2307 (2008)
2006
20EETakashi Horiyama, Kazuo Iwama, Jun Kawahara: Finite-State Online Algorithms and Their Automated Competitive Analysis. ISAAC 2006: 71-80
19EEYuichi Asahiro, Takashi Horiyama, Kazuhisa Makino, Hirotaka Ono, Toshinori Sakuma, Masafumi Yamashita: How to collect balls moving in the Euclidean plane. Discrete Applied Mathematics 154(16): 2247-2262 (2006)
18EEYouichi Hanatani, Takashi Horiyama, Kazuo Iwama: Density condensation of Boolean formulas. Discrete Applied Mathematics 154(16): 2263-2270 (2006)
17EENobuhiro Doi, Takashi Horiyama, Masaki Nakanishi, Shinji Kimura: Bit-Length Optimization Method for High-Level Synthesis Based on Non-linear Programming Technique. IEICE Transactions 89-A(12): 3427-3434 (2006)
2004
16EENobuhiro Doi, Takashi Horiyama, Masaki Nakanishi, Shinji Kimura: Minimization of fractional wordlength on fixed-point conversion for high-level synthesis. ASP-DAC 2004: 80-85
15EETakashi Horiyama, Toshihide Ibaraki: Reasoning with ordered binary decision diagrams. Discrete Applied Mathematics 142(1-3): 151-163 (2004)
14EEYuichi Asahiro, Takashi Horiyama, Kazuhisa Makino, Hirotaka Ono, Toshinori Sakuma, Masafumi Yamashita: How to Collect Balls Moving in the Euclidean Plane. Electr. Notes Theor. Comput. Sci. 91: 229-245 (2004)
2003
13EEYouichi Hanatani, Takashi Horiyama, Kazuo Iwama: Density Condensation of Boolean Formulas. SAT 2003: 69-77
12 Endre Boros, Takashi Horiyama, Toshihide Ibaraki, Kazuhisa Makino, Mutsunori Yagiura: Finding Essential Attributes from Binary Data. Ann. Math. Artif. Intell. 39(3): 223-257 (2003)
11EETakashi Horiyama, Toshihide Ibaraki: Translation among CNFs, characteristic models and ordered binary decision diagrams. Inf. Process. Lett. 85(4): 191-198 (2003)
2002
10EEShinji Kimura, Takashi Horiyama, Masaki Nakanishi, Hirotsugu Kajihara: Folding of logic functions and its application to look up table compaction. ICCAD 2002: 694-697
9EETakashi Horiyama, Toshihide Ibaraki: Ordered binary decision diagrams as knowledge-bases. Artif. Intell. 136(2): 189-213 (2002)
2001
8EEKazuhiro Nakamura, Qiang Zhu, Shinji Maruoka, Takashi Horiyama, Shinji Kimura, Katsumasa Watanabe: A real-time 64-monosyllable recognition LSI with learning mechanism. ASP-DAC 2001: 31-32
7EEKazuhiro Nakamura, Qiang Zhu, Shinji Maruoka, Takashi Horiyama, Shinji Kimura, Katsumasa Watanabe: Speech recognition chip for monosyllables. ASP-DAC 2001: 396-399
6EETakashi Horiyama, Toshihide Ibaraki: Translation among CNFs, Characteristic Models and Ordered Binary Decision Diagrams. ISAAC 2001: 231-243
2000
5EEEndre Boros, Takashi Horiyama, Toshihide Ibaraki, Kazuhisa Makino, Mutsunori Yagiura: Finding Essential Attributes in Binary Data. IDEAL 2000: 133-138
4EETakashi Horiyama, Toshihide Ibaraki: Reasoning with Ordered Binary Decision Diagrams. ISAAC 2000: 120-131
1999
3EETakashi Horiyama, Toshihide Ibaraki: Ordered Binary Decision Diagrams as Knowledge-Bases. ISAAC 1999: 83-92
2EENaofumi Takagi, Takashi Horiyama: A High-Speed Reduced-Size Adder Under Left-to-Right Input Arrival. IEEE Trans. Computers 48(1): 76-80 (1999)
1997
1 Takashi Horiyama, Shuzo Yajima: Exponential Lower Bounds on the Size of OBDDs Representing Integer Divistion. ISAAC 1997: 163-172

Coauthor Index

1Yuichi Asahiro [14] [19]
2Endre Boros [5] [12]
3Nobuhiro Doi [16] [17]
4Youichi Hanatani [13] [18] [21]
5Toshihide Ibaraki [3] [4] [5] [6] [9] [11] [12] [15]
6Kazuo Iwama [13] [18] [20] [21]
7Hirotsugu Kajihara [10]
8Jun Kawahara [20]
9Shinji Kimura [7] [8] [10] [16] [17]
10Kazuhisa Makino [5] [12] [14] [19]
11Shinji Maruoka [7] [8]
12Kazuhiro Nakamura [7] [8]
13Masaki Nakanishi [10] [16] [17]
14Hirotaka Ono [14] [19]
15Toshinori Sakuma [14] [19]
16Naofumi Takagi [2]
17Suguru Tamaki [21]
18Katsumasa Watanabe [7] [8]
19Mutsunori Yagiura [5] [12]
20Shuzo Yajima [1]
21Masafumi Yamashita [14] [19]
22Qiang Zhu [7] [8]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)