Find Research outputs

Search results

• Conference contribution

  Improving software model checking on program backbone within distributed system

  Yong, J., Koyanagi, K., Tsuchiya, T., Yamada, T. & Sawano, H., 2014 Oct 21, 2014 IEEE International Conference on Information and Automation, ICIA 2014. Institute of Electrical and Electronics Engineers Inc., p. 35-40 6 p. 6932622. (2014 IEEE International Conference on Information and Automation, ICIA 2014).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Improving speech recognition of two simultaneous speech signals by integrating ICA BSS and automatic missing feature mask generation

  Takeda, R., Yamamoto, S. N. I., Komatoni, K., Ogata, T. & Okuno, H. G., 2006 Jan 1, INTERSPEECH 2006 and 9th International Conference on Spoken Language Processing, INTERSPEECH 2006 - ICSLP. International Speech Communication Association, p. 2302-2305 4 p. (INTERSPEECH 2006 and 9th International Conference on Spoken Language Processing, INTERSPEECH 2006 - ICSLP; vol. 5).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  1 Citation (Scopus)

• Improving SVM based multi-label classification by using label relationship

  Fu, D., Zhou, B. & Furuzuki, T., 2015 Sep 28, Proceedings of the International Joint Conference on Neural Networks. Institute of Electrical and Electronics Engineers Inc., Vol. 2015-September. 7280497

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  7 Citations (Scopus)

• Improving Syntactical Clone Detection Methods through the Use of an Intermediate Representation

  Caldeira, P. M., Sakamoto, K., Washizaki, H., Fukazawa, Y. & Shimada, T., 2020 Feb, IWSC 2020 - Proceedings of the 2020 IEEE 14th International Workshop on Software Clones. Sajnani, H. & Ragkhitwetsagul, C. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 8-14 7 p. 9047637. (IWSC 2020 - Proceedings of the 2020 IEEE 14th International Workshop on Software Clones).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  7 Citations (Scopus)

• Improving Text Classification Using Knowledge in Labels

  Zhang, C. & Yamana, H., 2021 Mar 5, 2021 IEEE 6th International Conference on Big Data Analytics, ICBDA 2021. Institute of Electrical and Electronics Engineers Inc., p. 193-197 5 p. 9403092. (2021 IEEE 6th International Conference on Big Data Analytics, ICBDA 2021).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  3 Citations (Scopus)

• Improving the classification of security patterns

  Washizaki, H., Fernandez, E. B., Maruyama, K., Kubo, A. & Yoshioka, N., 2009 Dec 1, Proceedings - 20th International Workshop on Database and Expert Systems Applications, DEXA2009. p. 165-170 6 p. 5337198. (Proceedings - International Workshop on Database and Expert Systems Applications, DEXA).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  23 Citations (Scopus)

• Improving the distribution of N-grams in phrase tables obtained by the sampling-based method

  Luo, J., Lardilleux, A. & Lepage, Y., 2014, Human Language Technology Challenges for Computer Science and Linguistics - 5th Language and Technology Conference, LTC 2011, Revised Selected Papers. Springer Verlag, p. 419-431 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8387 LNAI).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Improving the human-robot interaction through emotive movements A special case: Walking

  Destephe, M., Maruyama, T., Zecca, M., Hashimoto, K. & Takanishi, A., 2013 Apr 8, HRI 2013 - Proceedings of the 8th ACM/IEEE International Conference on Human-Robot Interaction. p. 115-116 2 p. 6483528. (ACM/IEEE International Conference on Human-Robot Interaction).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  8 Citations (Scopus)

• Improving the performance of SIFT using bilateral filter and its application to generic object recognition

  Yamazaki, T., Fujikawa, T. & Katto, J., 2012 Oct 23, 2012 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2012 - Proceedings. p. 945-948 4 p. 6288041. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  6 Citations (Scopus)

• Improving the precision and efficiency of log-based IP packet traceback

  Hilgenstieler, E., Duarte, E. P., Mansfield-Keeni, G. & Shiratori, N., 2007, GLOBECOM - IEEE Global Telecommunications Conference. p. 1823-1827 5 p. 4411261

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  5 Citations (Scopus)

• Improving the production efficiency and well-formedness of automatically-generated multiple-choice cloze vocabulary questions

  Rose, R. L., 2020, LREC 2020 - 12th International Conference on Language Resources and Evaluation, Conference Proceedings. Calzolari, N., Bechet, F., Blache, P., Choukri, K., Cieri, C., Declerck, T., Goggi, S., Isahara, H., Maegaard, B., Mariani, J., Mazo, H., Moreno, A., Odijk, J. & Piperidis, S. (eds.). European Language Resources Association (ELRA), p. 7094-7101 8 p. (LREC 2020 - 12th International Conference on Language Resources and Evaluation, Conference Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Improving the robustness to recognition errors in speech input question answering

  Tsutsui, H., Manabe, T., Fukui, M., Sakai, T., Fujii, H. & Urata, K., 2006, Information Retrieval Technology - Third Asia Information Retrieval Symposium, AIRS 2006, Proceedings. Springer Verlag, p. 297-312 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4182 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  1 Citation (Scopus)

• Improving the usability and effectiveness of online learning: How can avatars help?

  Wang, H., Chignell, M. & Ishizuka, M., 2005, Proceedings of the Human Factors and Ergonomics Society. p. 769-773 5 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  7 Citations (Scopus)

• Improving writer's workshop by introducing checklist and perspectives

  Xia, T., Yoder, J., Wirfs-Brock, R. & Washizaki, H., 2015 Jul 8, Proceedings of the 20th European Conference on Pattern Languages of Programs, EuroPLoP 2015. Association for Computing Machinery, Vol. 08-12-July-2015. a29

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  1 Citation (Scopus)

• IMPULSE: A design framework for multi-agent systems based on model transformation

  Nakagawa, H., Yoshioka, N., Ohsuga, A. & Honiden, S., 2011 Jun 23, 26th Annual ACM Symposium on Applied Computing, SAC 2011. p. 1411-1418 8 p. (Proceedings of the ACM Symposium on Applied Computing).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  3 Citations (Scopus)

• Impurity removal from carbon saturated liquid iron using lead solvent

  Yamaguchi, K. & Takeda, Y., 2003 Oct 16, Yazawa International Symposium: Metallurgical and Materials Processing: Principles and Techologies; Materials Processing Fundamentals and New Technologies. Kongoli, F., Itagaki, K., Yamauchi, C., Sohn, H. Y., Kongoli, F., Itagaki, K., Yamauchi, C. & Sohn, H. Y. (eds.). p. 485-492 8 p. (Yazawa International Symposium: Metallurgical and Materials Processing: Principles and Techologies; Materials Processing Fundamentals and New Technologies; vol. 1).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  1 Citation (Scopus)

• In-air Knotting of Rope using Dual-Arm Robot based on Deep Learning

  Suzuki, K., Kanamura, M., Suga, Y., Mori, H. & Ogata, T., 2021, IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2021. Institute of Electrical and Electronics Engineers Inc., p. 6724-6731 8 p. (IEEE International Conference on Intelligent Robots and Systems).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  4 Citations (Scopus)

• Inappropriate Usage Examples in Web API Documentations

  Hosono, M., Tokumoto, S., Monpratarnchai, S., Washizaki, H., Honda, K., Nagumo, H., Sonoda, H., Fukazawa, Y., Munakata, K., Nakagawa, T. & Nemoto, Y., 2019 Sep, Proceedings - 2019 IEEE International Conference on Software Maintenance and Evolution, ICSME 2019. Institute of Electrical and Electronics Engineers Inc., p. 343-347 5 p. 8919166. (Proceedings - 2019 IEEE International Conference on Software Maintenance and Evolution, ICSME 2019).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  1 Citation (Scopus)

• InAs/GaAs Quantum Dot Intermixing by Dry Etching and Ion Implantation

  Hiraishi, Y., Shirai, T., Kwoen, J., Matushima, Y., Ishikawa, H., Arakawa, Y. & Utaka, K., 2019 May, 2019 Compound Semiconductor Week, CSW 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8819072. (2019 Compound Semiconductor Week, CSW 2019 - Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• In-bundle void measurement of a BWR fuel assembly by an x-ray CT scanner: Assessment of BWR design void correlation and development of new void correlation

  Inoue, A., Kurosu, T., Yagi, M., Morooka, S., Hoshide, A., Ishizuka, T. & Yoshimura, K., 1993, Proceedings of the 2nd ASME-JSME Nuclear Engineering Joint Conference. New York, NY, United States: Publ by ASME, p. 39-45 7 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  19 Citations (Scopus)

• Incentive-Compatibility in a distributed autonomous currency system

  Saito, K., Morino, E. & Murai, J., 2006, Agents and Peer-to-Peer Computing - 4th International Workshop, AP2PC 2005, Revised Papers. p. 44-57 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4118 LNAI).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  2 Citations (Scopus)

• Inception classification and object detection based joint-cnn for indoor scene classification

  Tian, Y., Zhang, W., Zhang, Q. & Lu, G., 2018, Proceedings of the International MultiConference of Engineers and Computer Scientists 2018, IMECS 2018. Ao, S. I., Douglas, C., Feng, D. D., Korsunsky, K. & Castillo, O. (eds.). Newswood Limited, p. 334-338 5 p. (Lecture Notes in Engineering and Computer Science; vol. 2233).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  1 Citation (Scopus)

• Inclusive photon energy spectra at zero degree of the LHC 7 TeV proton-proton collisions by the LHCf experiment

  Mitsuka, G., Adriani, O., Bonechi, L., Bongi, M., Castellini, G., D'alessandro, R., Fukatsu, K., Haguenauer, M., Itow, Y., Kasahara, K., Kawade, K., Mase, T., Masuda, K., Menjo, H., Muraki, Y., Noda, K., Papini, P., Perrot, A. L., Ricciarini, S., Sako, T., & 8 othersShimizu, Y., Suzuki, K., Suzuki, T., Taki, K., Tamura, T., Torii, S., Tricomi, A. & Turner, W. C., 2011, Proceedings of the 32nd International Cosmic Ray Conference, ICRC 2011. Institute of High Energy Physics, Vol. 5. p. 63-66 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  2 Citations (Scopus)

• Incorporating affectivity into preference elicitation for personalizesd recommendation via spreading activation

  Li, X. & Murata, T., 2011 May 31, ICCRD2011 - 2011 3rd International Conference on Computer Research and Development. p. 268-273 6 p. 5763910. (ICCRD2011 - 2011 3rd International Conference on Computer Research and Development; vol. 4).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  1 Citation (Scopus)

• Incorporating agreements on service options into BPEL-based services

  Ishikawa, F., Yoshioka, N. & Honiden, S., 2005 Dec 1, Proceedings - International Conference on Computational Intelligence for Modelling, Control and Automation, CIMCA 2005 and International Conference on Intelligent Agents, Web Technologies and Internet. p. 796-803 8 p. 1631362. (Proceedings - International Conference on Computational Intelligence for Modelling, Control and Automation, CIMCA 2005 and International Conference on Intelligent Agents, Web Technologies and Internet; vol. 1).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  3 Citations (Scopus)

• Incorporating database systems into a secure software development methodology

  Fernandez, E. B., Jurjens, J., Yoshioka, N. & Washizaki, H., 2008 Dec 26, Proceedings - DEXA 2008, 19th International Conference on Database and Expert Systems Applications. p. 310-314 5 p. 4624734. (Proceedings - International Workshop on Database and Expert Systems Applications, DEXA).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  4 Citations (Scopus)

• Incorporating fictionality into the real space: A case of enhanced TCG

  Takahashi, M., Irie, K., Sakamoto, M. & Nakajima, T., 2015 Sep 7, UbiComp and ISWC 2015 - Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and the Proceedings of the 2015 ACM International Symposium on Wearable Computers. Association for Computing Machinery, Inc, p. 37-40 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  6 Citations (Scopus)

• Incorporating fictionality into the real world with transmedia storytelling

  Sakamoto, M. & Nakajima, T., 2015 Jan 1, Design, User Experience, and Usability: Design Discourse - 4th International Conference, DUXU 2015 Held as Part of HCI International 2015, Proceedings. Marcus, A. (ed.). Springer Verlag, p. 654-665 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9186).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  7 Citations (Scopus)

• Incorporating music into the study of algorithms and computer programming

  Tatsumi, T., Nakano, Y., Tajitsu, K., Okumura, H. & Harada, Y., 2009, Proceedings of the 2nd Workshop on Child, Computer and Interaction, WOCCI '09. 1640396. (Proceedings of the 2nd Workshop on Child, Computer and Interaction, WOCCI '09).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  2 Citations (Scopus)

• Incorporating Query Reformulating Behavior into Web Search Evaluation

  Chen, J., Liu, Y., Mao, J., Zhang, F., Sakai, T., Ma, W., Zhang, M. & Ma, S., 2021 Oct 26, CIKM 2021 - Proceedings of the 30th ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, p. 171-180 10 p. (International Conference on Information and Knowledge Management, Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access
  3 Citations (Scopus)

• Incorporating virtual forms into traditional things to increase their values

  Sakamoto, M., Nakajima, T. & Alexandrova, T., 2012, Human Centric Technology and Service in Smart Space, HumanCom 2012. p. 17-24 8 p. (Lecture Notes in Electrical Engineering; vol. 182 LNEE).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Increase data rate of OLED VLC system using pre-emphasis circuit and FBMC modulation

  Thai, P. Q., Rottenberg, F., Dat, P. T. & Shigeru, S., 2018, Applications of Lasers for Sensing and Free Space Communications, LSC 2018. OSA - The Optical Society, (Optics InfoBase Conference Papers; vol. Part F104-LSC 2018).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  2 Citations (Scopus)

• Increased cell functionalities with patterned co-cultures utilizing dual thermo-responsive polymer grafted surfaces

  Tsuda, Y., Kikuchi, A., Nakao, A., Yamato, M., Sakurai, Y., Umezu, M. & Okano, T., 2004, Transactions - 7th World Biomaterials Congress. p. 246 1 p. (Transactions - 7th World Biomaterials Congress).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Increased enamel matrix genes expressions in dental epithelial cell line by co-culture with mesenchymal cell line

  Matsumoto, A., Xu, L., Saito, M., Harada, H. & Taniguchi, A., 2008, 8th World Biomaterials Congress 2008. p. 2166 1 p. (8th World Biomaterials Congress 2008; vol. 4).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Increase of crosstalk noise due to imbalanced threshold voltage between NMOS and PMOS in sub-threshold logic circuits

  Fuketa, H., Takahashi, R., Takamiya, M., Nomura, M., Shinohara, H. & Sakurai, T., 2012 Nov 26, Proceedings of the IEEE 2012 Custom Integrated Circuits Conference, CICC 2012. 6330689. (Proceedings of the Custom Integrated Circuits Conference).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  1 Citation (Scopus)

• Increase on the resistivity of electrolessly deposited high B_s CoNiFeB thin films

  Yokoshima, T., Sobue, M., Segawa, T., Osaka, T., Kaneko, D. & Tanaka, A., 2002, INTERMAG Europe 2002 - IEEE International Magnetics Conference. Institute of Electrical and Electronics Engineers Inc., 1000675

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Increase the rate of utilization of Residential photovoltaic generation by EV charge-discharge control

  Osawa, M., Yoshimi, K., Yamashita, D., Yokoyama, R., Masuda, T., Kondou, H. & Hirota, T., 2012, 2012 IEEE Innovative Smart Grid Technologies - Asia, ISGT Asia 2012. 6303134

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  12 Citations (Scopus)

• Increasing Motivation for Playing Blockchain Games Using Proof-of-Achievement Algorithm

  Komiya, K. & Nakajima, T., 2019 Jan 1, HCI in Games - 1st International Conference, HCI-Games 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Proceedings. Fang, X. (ed.). Springer-Verlag, p. 125-140 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11595 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  5 Citations (Scopus)

• Increasing the darkness of darknet traffic

  Haga, Y., Saso, A., Mori, T. & Goto, S., 2015, 2015 IEEE Global Communications Conference, GLOBECOM 2015. Institute of Electrical and Electronics Engineers Inc., 7416973. (2015 IEEE Global Communications Conference, GLOBECOM 2015).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Increasing the ease of deployment in ubiquitous environments

  Matsuzaki, K. & Honiden, S., 2007 Aug 13, Proceedings - Fifth Annual IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2007. p. 581-584 4 p. 4144904. (Proceedings - Fifth Annual IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2007).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Increasing the interfacial strength in carbon fiber/polypropylene composites by growing CNTs on the fibers

  Yumitori, S., Arao, Y., Tanaka, T., Naito, K., Tanaka, K. & Katayama, T., 2013, Computational Methods and Experimental Measurements XVI. Carlomagno, G. M., Brebbia, C. A. & Hernandez, S. (eds.). WITPress, p. 275-284 10 p. (WIT Transactions on Modelling and Simulation; vol. 55).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access
  22 Citations (Scopus)

• Incremental adaptation based on a macroscopic time evolution system

  Watanabe, S. & Nakamura, A., 2007 Aug 6, 2007 IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP '07. p. IV769-IV772 4218214. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings; vol. 4).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  3 Citations (Scopus)

• Incremental bayesian audio-to-score alignment with flexible harmonic structure models

  Otsuka, T., Nakadai, K., Ogata, T. & Okuno, H. G., 2011 Dec 1, Proceedings of the 12th International Society for Music Information Retrieval Conference, ISMIR 2011. p. 525-530 6 p. (Proceedings of the 12th International Society for Music Information Retrieval Conference, ISMIR 2011).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  8 Citations (Scopus)

• Incremental design of a state machine specification for mobile and real-time systems

  Itabashi, G., Takahashi, K., Kato, Y., Suganuma, T. & Shiratori, N., 2005, Proceedings - International Conference on Advanced Information Networking and Applications, AINA. Vol. 1. p. 99-104 6 p. 1423477

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Incremental development of a passive-dynamics-based walking machine

  Trifonov, K. & Hashimoto, S., 2008, 2008 IEEE International Conference on Robotics and Biomimetics, ROBIO 2008. p. 584-589 6 p. 4913067

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Incremental methods to select test sentences for evaluating translation ability

  Akiba, Y., Sumita, E., Nakaiwa, H., Yamamoto, S. & Okuno, H. G., 2004 Jan 1, Proceedings of the 4th International Conference on Language Resources and Evaluation, LREC 2004. European Language Resources Association (ELRA), p. 2015-2018 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Incremental polyphonic audio to score alignment using beat tracking for singer robots

  Otsuka, T., Murata, K., Nakadai, K., Takahashi, T., Komatani, K., Ogata, T. & Okuno, H. G., 2009 Dec 11, 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2009. p. 2289-2296 8 p. 5354637. (2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2009).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  13 Citations (Scopus)

• Incremental prediction of sentence-final verbs: Humans versus machines

  Grissom, A. C., Orita, N. & Boyd-Graber, J., 2016, CoNLL 2016 - 20th SIGNLL Conference on Computational Natural Language Learning, Proceedings. Association for Computational Linguistics (ACL), p. 95-104 10 p. (CoNLL 2016 - 20th SIGNLL Conference on Computational Natural Language Learning, Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  4 Citations (Scopus)

• Incremental probabilistic geometry estimation for robot scene understanding

  Cahier, L. K., Ogata, T. & Okuno, H. G., 2012, 2012 IEEE International Conference on Robotics and Automation, ICRA 2012. Institute of Electrical and Electronics Engineers Inc., p. 3625-3630 6 p. 6225343. (Proceedings - IEEE International Conference on Robotics and Automation).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  2 Citations (Scopus)

• Incremental software development method based on abstract interpretation

  Yoshioka, N., Suzuki, M. & Katayama, T., 1998 Apr 16, Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998. Association for Computing Machinery, p. 126-134 9 p. (Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  4 Citations (Scopus)