A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Author Index Volume 142 (1995) ( The issue number is given in front of the page numbers) Aasa, A., Precedences in specifications and implementations of programming languages (1) 3 26 Alpuente, M., M. ... Levi, Incremental constraint satisfaction for equational logic programming (1) 27-57 Asperti, A. and C. Laneve, Paths, computations and labels in the 2-calculus (2) 277-297 Baader, F. and K.U. ...doi:10.1016/0304-3975(95)80020-4 fatcat:ywmnivma4zevjl5rz6jzf2g644
NAISH, L. (1983b): Automating Control for Logic Programs, Techni- cal Report 83/6 (Revised September 1984), Department of Computer Science, University of Melbourne; also J. of Logic Programming (to appear ... Logic Programming Workshop, Portugal. Biographical Note. Rodney Topor is a lecturer in computer science at the University of Melbourne. ...
Science of Computer Programming ... (1) 3p 45 (1) 47-73 (1) (2-3) 2055229 (2-3) 291-311 (223) 175-177 (2-3) 231-261 (1) (2-3) 291~31: (2-3) 263-289 ( ( The issue number is given in front of the page numbers) Andreoli, J.-M., F. ...doi:10.1016/s0167-6423(98)00010-0 fatcat:ftydlqi24va5rkoxsunvpoqrga
The computer program ANSYS is used and simulates the construction process of a roller compacted concrete (RCC) dam. Thermally induced stresses are computed for the 60 m high RCC Tannur Dam in Jordan. ... Crichton et al. (1999) presented a thermal- structural analysis using the ANSYS computer program to assess the effect of heat of hydration in RCC structural stresses. ...
The topics to be included in this issue will cover a wide spectrum in Computer and Information Sciences, including ... During the three quarters of this year, we received 177 submissions, of which 11 were accepted, 46 are under review, and 112 were rejected. ... The last two papers present two different tools for estimating human age automatically: one through analysis of facial images using Artificial Neural Networks and Gene Expression Programing, and the other ...doi:10.1016/j.jksuci.2015.10.003 fatcat:pzzzxav565dsvmarldth2odpnu
Martini 176 (l-2) (1997) 159-173 Massol, A., Minimality of the system of seven equations for the category of finite sets (, M.W. and D.A. Schmidt, Foreword 177 (1) (1997) 1 Mitas, J. and K. ... Ngo 171 (l-2) (1997) 147-177 Hammer, P.L., see 0. ...doi:10.1016/s0304-3975(97)83812-1 fatcat:wdajupkozzd67lsmvimbl4yuny
Rappoport, Computing Voronoi skeletons of a 3-D polyhedron by space subdivision (3) 87 -120 M.S., S. Nakano and T. ... Nishizeki, Rectangular drawings of plane graphs without designated corners (3) 121 -138 0925-7721/2002 Published by Elsevier Science B.V. PII: S 0925-7721(01 )00 0 67 -0 ...doi:10.1016/s0925-7721(01)00067-0 fatcat:4tpr7at3hfbtlidlqtpxtwwani
Kortelainen, On the system of word equations x 2 ) in a free monoid 225 (1}2) (1999) 149}161 Master index volumes 221}230 / Theoretical Computer Science 230 (2000) 293}298 ... ., The &&smallest'' ring of polynomial invariants of a permutation group which has no "nite SAGBI bases w.r.t. any admissible order (Note) 225 (1}2) (1999) 177}184 Gollmann, D., Dual bases and bit-serial ...doi:10.1016/s0304-3975(99)00307-2 fatcat:a2ji3kajxbdndk65pjhu5xswvq
REACTION KINETICS PROGRAM: Describes a FORTRAN-IV computer program, SIXBIT, written as a general reaction-handling tool said to be useful for ionospheric research and perhaps for some laboratory investigations ... This volume comprises the proceedings of the May, 1970, Power Instrumentation Symposium held in Kansas City, Mo. 106 pages. ...
Zeugmann, Foreword (2) 175}177 Zeugmann, T., see R. Wiehagen (2) 175}177 ... Sattar, Polynomial-time learnability of logic programs with local variables from entailment (2) 179}198 Leonardi, S. and A. Marchetti-Spaccamela, Preface (1) 1 Marchetti-Spaccamela, A., see S. ...doi:10.1016/s0304-3975(01)00334-6 fatcat:ny7ygfffozcbjgrb6cwj4pyhk4
The use of large scale com- puter for manufacturing control, 177. CHARNES, A. AND Cooper, W. W. ... The greenhouses of science for management, 365. GREENHUT, MELVIN L. Discussion: mathe- matics, realism and management sciences, 314. Heimer, O.ar. ...
In Automata, Languages and Programming, 2nd Colloquium, volume 14 of Lecture Notes in Computer Science, pages 255-269, Saarbriicken. Springer-Verlag, Berlin. Lyon, Gordon. 1974. ... In Proceedings of the 15th International Conference on Computational Linguistics, volume 2, pages 426-432, Nantes, August. Shieber, Stuart M., Yves Schabes, and Fernando C. N. Pereira. 1995. ...
In Proceedings, International Conference on Computational Linguistics, Volume 1, 34-39. ... “Cyc: Toward programs with common sense.” Communications of the ACM 33(8):30-49. McCord, M. C. (1990). “Slot grammar: A system for simpler construction of practical natural language grammars.” ...
One of the more widely cited applications of stochastic programming is in the area of portfolio optimization. Several papers in this volume are devoted to this topic. ... This volume is a selection of papers representing the range presented at the conference. ... Gouda and Szantai, deal with numerical methods for computing probabilities of the Dirichlet distribution; and Deák presents computations dealing with approximations of large-scale stochastic programs using ...doi:10.1007/s10479-010-0725-y fatcat:vddquct46bfqheqtf23cdickb4
A program for aligning sentences in parallel corpora. In Proceedings of the 29th Annual Meeting of the Association for Computational Linguistics, pages 177-184, Berkeley, June. ... Computational Linguistics Volume 28, Number 4 summary alignment task described in section 3.1. ...
« Previous Showing results 1 — 15 out of 55,181 results