home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / research / japan / 290 next >
Encoding:
Internet Message Format  |  1992-11-16  |  4.6 KB
  1. Path: sparky!uunet!think.com!ames!ncar!noao!arizona!rick
  2. From: japancs@cs.arizona.edu (Japan CS Project)
  3. Newsgroups: comp.research.japan
  4. Subject: Journal of Information Processing, Vol 14, No. 2 (1991)
  5. Message-ID: <26565@optima.cs.arizona.edu>
  6. Date: 16 Nov 92 21:15:48 GMT
  7. Sender: rick@cs.arizona.edu
  8. Lines: 110
  9. Approved: rick@cs.arizona.edu
  10.  
  11.  
  12. ------------------------------------------------------------------------
  13. Journal of Information Processing, Vol 14, No. 2 (1991)
  14.  
  15.             published by
  16.  
  17. Information Processing Society of Japan  (in English)
  18. ------------------------------------------------------------------------
  19.  
  20. [Collection and dissemination of this information supported in part by
  21.  ONR Grant N0001492J1737.]
  22.  
  23.  
  24. Research Contributions
  25.  
  26. 121     Orthomin (k) Method for Linear Least Squares Problem
  27.      by Zhang Shao Liang(1) and Y. Oyanagi(2)
  28.            (1)  Institute of Computational Fluid Dynamics, Hara-machi 
  29.              2-1-4, Meguro, Tokyo 152, Japan
  30.            (2)  Department of Information Science, University of Tokyo,
  31.              Hongo, Tokyo 113, Japan
  32.  
  33. 126     Design Verification of Sequential Control Circuits Based on
  34.      Theorem-Proving Method
  35.      by N. Yamada(1), Y. Kobayashi(1), Y. Ueda(2), S. Matsuda(3),
  36.           S. Muto(3) and J. Yoshizawa(3)
  37.            (1)  Energy Research Laboratory, Hitachi, Ltd. 1168
  38.              Moriyama-cho, Hitachi, Ibaraki 316, Japan
  39.            (2)  Systems Engineering Division, Hitachi, Ltd. 6, Kanda-
  40.              surugadai 4 chome, Chiyoda-ku, Tokyo 101, Japan
  41.            (3)  Computer & Communication Research Center, The Tokyo 
  42.              Electric Power Co. 1-3 Uchisaiwai, 1 chome, Chiyoda-ku,
  43.              Tokyo 100, Japan
  44.  
  45. 134     Intelligent Visual Interaction with Image Database Systems-
  46.      Toward the Multimedia Personal Interface-
  47.      by T. Kato(1), T. Kurita(2) and H. Shimogaki(3)
  48.           (1)  Interactive Interface Systems Section, Intelligent Systems
  49.             Division, Electrotechnical Laboratory, 1-1-4, Umezono,
  50.             Tsukuba City, Ibaraki 305, Japan
  51.           (2)  Mathematical Infomatics Section, Information Science 
  52.             Division, Electrotechnical Laboratory, 1-14, Umezono,
  53.             Tsukuba City, Ibaraki 305, Japan
  54.           (3)  Kyodo Printing, Co.
  55.  
  56. 144     A Fast and Simple Method for Curve Drawing-A New Approach
  57.      Using Logarithmic Number Systems
  58.      by T. Kurokawa(1) and T. Mizukoshi(2)
  59.            (1)  Department of Industrial Engineering, Aichi Institute of 
  60.              Technology, 1247 Yachigusa, Yagusa-cho, Toyota 470-03, Jap
  61.            (2)  Oki Technosystems Laboratory, 3-8-10 Uchiyama-cho,
  62.              Chigusa-ku, Nagoya, 464, Japan
  63.  
  64. 153     Structuring and Derivation in Algebraic    Specification/Programming
  65.         Language Systems
  66.      by K. Futatsugi
  67.            Electrotechnical Laboratory (ETL), 1-1-4 Umezona, Tsukuba
  68.            Science City, Ibaraki 305, Japan
  69.  
  70. 164     Completeness of Logical Functions Realized by Asynchronous
  71.         Sequential Circuits
  72.      by H. Sato(1), A. Nozaki(2) and Grant Pogosyan(3)
  73.            (1)  Department of Information and Computer Sciences,
  74.              Faculty of Engineering, Saitama University.
  75.            (2)  Division of Natural Science, International Christian
  76.              University
  77.  
  78. 172     Third-Order Semi-lmplicit Runge-Kutta Methods for Time-
  79.        Dependent Index-One Differential-Algebraic Equations
  80.      by T. Koto
  81.           International Institute for Advanced Study of Social
  82.       Information Science, Fujitsu Ltd.
  83.  
  84. 178     Reliability Assessment Measures Based on Software Reliability     Growth Model with Normalized Method
  85.      by J. Hishitani, S. Yamada and S. Osaki
  86.           Faculty of Engineering, Hiroshima University, Higashi- 
  87.           Hiroshima-shi, 724, Japan.
  88.  
  89. 184     Message Driven Groupware Design Based on an Office
  90.         Procedure Model, OM-1
  91.       by H. Ishii and M. Ohkubo 
  92.            NTT Human Interface Laboratories.
  93.  
  94. 192     Precise Formulation and Applicability of a Software Reliability
  95.         Growth Model Based on Hyper-Geometric Distribution
  96.       by Raymond Jacoby(1) and Y. Tohma(2)
  97.            (1)  TOSHIBA Corp., Systems & Software Engineering Laboratory,
  98.              Saiwai-ku, Kawasaki-shi,  210, Japan
  99.            (2)  Department of Computer Science, Tokyo Institute of
  100.              Technology, Meguro-ku, Ookayama, 2-12-1, Tokyo 152, Japan
  101.  
  102. Short Note
  103.  
  104. 204     An Addendum to the Previous Paper "Runge-Kutta Type
  105.         Seventh-order Limiting Formula (1989)"
  106.      by H. Ono and H. Toda
  107.            Faculty of Engineering, Chiba University
  108.  
  109. 208     Abstracts from "Transactions of Information Processing
  110.         Society of Japan"
  111.  
  112. 219     Contents of JOHO SHORI
  113.  
  114. 223     Profiles of Authors
  115.  
  116. Information for Authors
  117.  
  118. Questionnaire
  119.  
  120.  
  121.