%%% -*-BibTeX-*- %%% ==================================================================== %%% BibTeX-file{ %%% author = "Nelson H. F. Beebe", %%% version = "1.03", %%% date = "28 February 2002", %%% time = "10:51:28 MST", %%% filename = "intjcomputinfsci.bib", %%% address = "Center for Scientific Computing %%% University of Utah %%% Department of Mathematics, 110 LCB %%% 155 S 1400 E RM 233 %%% Salt Lake City, UT 84112-0090 %%% USA", %%% telephone = "+1 801 581 5254", %%% FAX = "+1 801 585 1640, +1 801 581 4148", %%% URL = "http://www.math.utah.edu/~beebe", %%% checksum = "30124 7882 32729 306644", %%% email = "beebe at math.utah.edu, beebe at acm.org, %%% beebe at computer.org, beebe at ieee.org %%% (Internet)", %%% codetable = "ISO/ASCII", %%% keywords = "BibTeX, bibliography, International Journal %%% of Computer and Information Sciences", %%% supported = "yes", %%% docstring = "This is an almost complete bibliography of %%% the International Journal of Computer and %%% Information Sciences (CODEN IJCIAH, %%% 0091-7036) published by Plenum Press. %%% Publication began with volume 1 in March %%% 1972, ceased with volume 14 in December 1985, %%% when the journal was renamed the %%% International Journal of Parallel %%% Programming(CODEN IJPPE5, ISSN 0885-7458). %%% The latter is covered in a companion %%% bibliography, intjparallelprogram.bib. %%% %%% At version 1.02, the year coverage looked %%% like this: %%% %%% 1972 ( 20) 1977 ( 22) 1982 ( 25) %%% 1973 ( 19) 1978 ( 14) 1983 ( 27) %%% 1974 ( 19) 1979 ( 29) 1984 ( 27) %%% 1975 ( 22) 1980 ( 25) 1985 ( 30) %%% 1976 ( 20) 1981 ( 24) %%% %%% Article: 323 %%% %%% Total entries: 323 %%% %%% Data for the bibliography has been collected %%% from the INSPEC database (1972--1985), %%% from the MathSciNet database, from the %%% bibliographies in the TeX User Group %%% collection, from bibliographies in the %%% author's personal files, and from the computer %%% science bibliography collection on %%% ftp.ira.uka.de in /pub/bibliography to which %%% many people of have contributed. The %%% snapshot of this collection was taken on %%% 5-May-1994, and it consists of 441 BibTeX %%% files, 2,672,675 lines, 205,289 entries, and %%% 6,375 <at>String{} abbreviations, occupying %%% 94.8MB of disk space. %%% %%% Numerous errors in the sources noted above %%% have been corrected. Spelling has been %%% verified with the UNIX spell and GNU ispell %%% programs using the exception dictionary %%% stored in the companion file with extension %%% .sok. %%% %%% BibTeX citation tags are uniformly chosen %%% as name:year:abbrev, where name is the %%% family name of the first author or editor, %%% year is a 4-digit number, and abbrev is a %%% 3-letter condensation of important title %%% words. Citation tags were automatically %%% generated by software developed for the %%% BibNet Project. %%% %%% In this bibliography, entries are sorted in %%% publication order, using ``bibsort -byvolume''. %%% %%% The checksum field above contains a CRC-16 %%% checksum as the first value, followed by the %%% equivalent of the standard UNIX wc (word %%% count) utility output of lines, words, and %%% characters. This is produced by Robert %%% Solovay's checksum utility.", %%% } %%% ====================================================================

%======================================================================= % Acknowledgement abbreviations:

@String{ack-nhfb= "Nelson H. F. Beebe, Center for Scientific Computing, University of Utah, Department of Mathematics, 110 LCB, 155 S 1400 E RM 233, Salt Lake City, UT 84112-0090, USA, Tel: +1 801 581 5254, FAX: +1 801 585 1640, +1 801 581 4148, e-mail: \path|beebe@math.utah.edu|, \path|beebe@acm.org|, \path|beebe@computer.org|, \path|beebe@ieee.org| (Internet), URL: \path|http://www.math.utah.edu/~beebe/|"}

%======================================================================= % Journal abbreviations:

@String{j-INT-J-COMPUT-INF-SCI= "International Journal of Computer and Information Sciences"}

%======================================================================= % Bibliography entries:

@Article{Simon:1972:APN, author = "J. C. Simon and G. Guiho", title = "On algorithms preserving neighborhood, to file and retrieve information in a memory", journal = j-INT-J-COMPUT-INF-SCI, volume = "1", number = "1", pages = "3--15", month = mar, year = "1972", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6130 (Data handling techniques)", corpsource = "Univ. Paris, France", keywords = "storage management; algorithms; file; retrieve; memory; binary search; hash coding; memory size; number of access operations; distance; neighbourhood; variation properties; approximation methods; probability properties", treatment = "P Practical", } @Article{Biss:1972:DSC, author = "K. O. Biss and R. T. Chien and F. A. Stahl", title = "A data structure for cognitive information retrieval", journal = j-INT-J-COMPUT-INF-SCI, volume = "1", number = "1", pages = "17--27", month = mar, year = "1972", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation); C7250 (Information storage and retrieval)", corpsource = "Univ. Illinois, Urbana-Champaign, IL, USA", keywords = "data structures; information retrieval; data structure; cognitive information retrieval; natural language; expressiveness; logical deduction; machine processing; question answering system; high order calculus", treatment = "P Practical", } @Article{Hunter:1972:DRC, author = "L. W. Hunter", title = "A data representation code for text processing systems", journal = j-INT-J-COMPUT-INF-SCI, volume = "1", number = "1", pages = "29--42", month = mar, year = "1972", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6130 (Data handling techniques); C7240 (Information analysis and indexing)", corpsource = "Univ. Wisconsin, Madison, WI, USA", keywords = "codes; data structures; text editing; data representation code; text processing systems; character strings; string processing; data structure", treatment = "P Practical", } @Article{Tou:1972:ARH, author = "J. T. Tou and R. C. Gonzalez", title = "Automatic recognition of handwritten characters via feature extraction and multi-level decision", journal = j-INT-J-COMPUT-INF-SCI, volume = "1", number = "1", pages = "43--65", month = mar, year = "1972", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "B6140C (Optical information, image and video signal processing); C1250 (Pattern recognition)", corpsource = "Univ. Florida, Gainesville, FL, USA", keywords = "pattern recognition; automatic recognition of handwritten characters; feature extraction; alphanumeric; stylized forms; multilevel decision", treatment = "T Theoretical or Mathematical; X Experimental", } @Article{Terrenoire:1972:EAI, author = "M. Terrenoire and M. Simonet", title = "An evaluation of {ALGOL} 68 for interrogation process algorithms", journal = j-INT-J-COMPUT-INF-SCI, volume = "1", number = "1", pages = "67--73", month = mar, year = "1972", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C7310 (Mathematics computing)", corpsource = "Faculte Sci. Lyon, Villeurbanne, France", keywords = "ALGOL; random processes; subroutines; evaluation; ALGOL 68; interrogation process algorithms; random process; pseudoquestionnaires", treatment = "P Practical", } @Article{Ibaraki:1972:IEP, author = "T. Ibaraki and T. K. Liu and C. R. Baugh and S. Muroga", title = "An implicit enumeration program for zero-one integer programming", journal = j-INT-J-COMPUT-INF-SCI, volume = "1", number = "1", pages = "75--92", month = mar, year = "1972", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "B0260 (Optimisation techniques); C1180 (Optimisation techniques)", keywords = "integer programming; implicit enumeration program; column vector; computer program; ILLIP; zero one integer programming; pseudo underlining", } @Article{Katzan:1972:AAR, author = "H. {Katzan, Jr.}", title = "An {APL} approach to the representation and manipulation of data structures", journal = j-INT-J-COMPUT-INF-SCI, volume = "1", number = "2", pages = "93--113", month = jun, year = "1972", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation); C6140D (High level languages)", corpsource = "Pratt Inst., Brooklyn, NY, USA", keywords = "data structures; procedure oriented languages; APL; representation; manipulation; data structures; strings; sets; stacks; queues; tables; linked lists; sort trees", treatment = "T Theoretical or Mathematical", } @Article{Inselberg:1972:TLS, author = "A. D. Inselberg and E. B. Altman", title = "{2-SLIDS}: a two-stage linked storage structure with link-dependent data capabilities", journal = j-INT-J-COMPUT-INF-SCI, volume = "1", number = "2", pages = "115--133", month = jun, year = "1972", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation)", corpsource = "IBM Res. Lab., San Jose, CA, USA", keywords = "data structures; 2 stage; linked storage structure; data definition flexibility; physical compactness", treatment = "P Practical", } @Article{Fu:1972:SGL, author = "K. S. Fu and T. Huang", title = "Stochastic grammars and languages", journal = j-INT-J-COMPUT-INF-SCI, volume = "1", number = "2", pages = "135--170", month = jun, year = "1972", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic)", corpsource = "Purdue Univ., Lafayette, IN, USA", keywords = "automata theory; formal languages; grammars; stochastic grammars; formal languages; weighted grammars; fuzzy grammars; stochastic automata; indexed grammars; stochastic nested stack automata", treatment = "T Theoretical or Mathematical", } @Article{Bohm:1972:CAT, author = "C. Bohm and M. Dezani", title = "A {CUCH-machine}: the automatic treatment of bound variables", journal = j-INT-J-COMPUT-INF-SCI, volume = "1", number = "2", pages = "171--191", month = jun, year = "1972", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4220 (Automata theory)", corpsource = "Univ. Torino, Italy", keywords = "automata theory; CUCH; automatic treatment; bound variables; machine; memory structures", treatment = "T Theoretical or Mathematical", } @Article{Wells:1972:UDS, author = "M. B. Wells and J. B. Morris", title = "The unified data structure capability in {Madcap} {VI}", journal = j-INT-J-COMPUT-INF-SCI, volume = "1", number = "3", pages = "193--208", month = sep, year = "1972", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation)", corpsource = "Univ. California, Los Alamos, NM, USA", keywords = "data structures; programming languages; unified data structure capability; Madcap VI; programming language; selector", treatment = "P Practical", } @Article{Wile:1972:IBE, author = "D. S. Wile and C. M. Geschke", title = "An implementation base for efficient data structuring", journal = j-INT-J-COMPUT-INF-SCI, volume = "1", number = "3", pages = "209--224", month = sep, year = "1972", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation)", corpsource = "Carnegie-Mellon Univ., Pittsburgh, PA, USA", keywords = "data structures; implementation base; efficient data structuring; specification; data allocation; binding of names", } @Article{Wilkes:1972:ATD, author = "M. V. Wilkes", title = "Associative tabular data structures", journal = j-INT-J-COMPUT-INF-SCI, volume = "1", number = "3", pages = "225--233", month = sep, year = "1972", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C5220 (Computer architecture); C6120 (File organisation)", corpsource = "Univ. Cambridge, UK", keywords = "data structures; microprogramming; associative tabular data structures; core memory; associative links; microprogramming support; associative search operations", treatment = "T Theoretical or Mathematical", } @Article{Busam:1972:DSP, author = "V. A. Busam", title = "A dictionary structure for a {PL/1} compiler", journal = j-INT-J-COMPUT-INF-SCI, volume = "1", number = "3", pages = "235--253", month = sep, year = "1972", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation); C6140D (High level languages); C6150C (Compilers, interpreters and other processors)", corpsource = "Memorex Corp., Santa Clara, CA, USA", keywords = "data structures; PL/1; program compilers; dictionary structure; PL/1 compiler; format; dictionary; symbol table", } @Article{Maruyama:1972:PDI, author = "K. Maruyama", title = "A procedure to determine intersections between polyhedral objects", journal = j-INT-J-COMPUT-INF-SCI, volume = "1", number = "3", pages = "255--266", month = sep, year = "1972", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "B6140C (Optical information, image and video signal processing); C1250 (Pattern recognition)", corpsource = "Univ. Illinois, Urbana-Champaign, IL, USA", keywords = "pattern recognition; procedure; intersections; polyhedral objects; analysis; parity mode", treatment = "T Theoretical or Mathematical", } @Article{Mishelevich:1972:CSA, author = "D. J. Mishelevich", title = "Computer-based semantic analyzers", journal = j-INT-J-COMPUT-INF-SCI, volume = "1", number = "3", pages = "267--286", month = sep, year = "1972", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C7820 (Humanities computing)", corpsource = "Univ. Texas Southwestern Medical School, Dallas, TX, USA", keywords = "computer aided analysis; language translation and linguistics; computer; semantic analyzers; machine translation; question and answer systems; content analysis; bibliographic retrieval; medical information retrieval systems", treatment = "G General Review", } @Article{vanDam:1972:SII, author = "A. {van Dam}", title = "Some implementation issues relating to data structures for interactive graphics", journal = j-INT-J-COMPUT-INF-SCI, volume = "1", number = "4", pages = "287--314", month = dec, year = "1972", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation)", corpsource = "Brown Univ., Providence, RI, USA", keywords = "computer graphics; data structures; programming languages; utility programs; implementation; data structures; interactive graphics; storage structures; specification languages", treatment = "G General Review", } @Article{Wilkes:1972:ALA, author = "M. V. Wilkes and W. D. Manville", title = "The associative language {AL-1}", journal = j-INT-J-COMPUT-INF-SCI, volume = "1", number = "4", pages = "315--327", month = dec, year = "1972", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation); C6140D (High level languages); C6150E (General utility programs)", corpsource = "Univ. Cambridge, UK", keywords = "data structures; microprogramming; procedure oriented languages; table lookup; utility programs; associative language; AL-1; table searching; microprogramming; associative tabular data structure manipulation; low level language", treatment = "P Practical", } @Article{Lipovski:1972:DSC, author = "G. J. Lipovski", title = "Data structures in content-addressed cellular memories", journal = j-INT-J-COMPUT-INF-SCI, volume = "1", number = "4", pages = "329--353", month = dec, year = "1972", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation)", corpsource = "Univ. Florida, Gainesville, FL, USA", keywords = "associative storage; content-addressable storage; data structures; table lookup; data structure; associative memory; context addressed cellular memories; data base searching; OR rail; EXCLUSIVE-OR rail", treatment = "P Practical", } @Article{Hughes:1972:DUA, author = "C. E. Hughes", title = "Degrees of unsolvability associated with {Markov} algorithms", journal = j-INT-J-COMPUT-INF-SCI, volume = "1", number = "4", pages = "355--365", month = dec, year = "1972", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4240 (Programming and algorithm theory)", corpsource = "Pennsylvania State Univ., University Park, PA, USA", keywords = "algorithm theory; Markov processes; degrees of unsolvability; Markov algorithms; general halting; confluence problems; immortality problem; word problems", } @Article{Walk:1973:MSP, author = "K. Walk", title = "Modeling of storage properties of higher-level languages", journal = j-INT-J-COMPUT-INF-SCI, volume = "2", number = "1", pages = "1--24", month = mar, year = "1973", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation); C6140D (High level languages)", corpsource = "IBM Lab., Vienna, Austria", keywords = "data structures; modelling; programming languages; model; storage properties; data structures; high level languages", treatment = "T Theoretical or Mathematical", } @Article{Zalcstein:1973:SLS, author = "Y. Zalcstein", title = "On the semigroups of linear sequential machines", journal = j-INT-J-COMPUT-INF-SCI, volume = "2", number = "1", pages = "25--28", month = mar, year = "1973", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4230D (Sequential switching theory)", corpsource = "Univ. Copenhagen, Denmark", keywords = "sequential machines; semigroups; linear sequential machines; characterization; nonsingular", treatment = "T Theoretical or Mathematical", } @Article{Ivakhnenko:1973:PCS, author = "A. G. Ivakhnenko", title = "Problems of complex system modeling and applied mathematical statistics", journal = j-INT-J-COMPUT-INF-SCI, volume = "2", number = "1", pages = "49--60", month = mar, year = "1973", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C1220 (Simulation, modelling and identification)", corpsource = "Inst. Cybernetics, Acad. Sci., Kiev, Ukrainian SSR, USSR", keywords = "data handling; modelling; statistics; applied mathematical statistics; complex systems; group method of data handling; mathematical model", treatment = "T Theoretical or Mathematical", } @Article{Diday:1973:DCM, author = "E. Diday", title = "The dynamic clusters method in nonhierarchical clustering", journal = j-INT-J-COMPUT-INF-SCI, volume = "2", number = "1", pages = "61--88", month = mar, year = "1973", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "B0250 (Combinatorial mathematics); C1160 (Combinatorial mathematics)", corpsource = "Inst. Recherche and Informatique, Rocquencourt, France", keywords = "set theory; dynamic clusters method; nonhierarchical clustering; finite set; algorithm; samplings", treatment = "T Theoretical or Mathematical", } @Article{Brunnstein:1973:SRI, author = "K. Brunnstein and J. W. Schmidt", title = "Structuring and retrieving information in computer-based learning", journal = j-INT-J-COMPUT-INF-SCI, volume = "2", number = "2", pages = "89--101", month = jun, year = "1973", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C7250 (Information storage and retrieval); C7810C (Computer-aided instruction)", corpsource = "Hamburg Univ., West Germany", keywords = "computer aided instruction; information retrieval; structuring; retrieving; information; learning; CAI; learner controlled instruction", } @Article{Babu:1973:APD, author = "C. Chitti Babu", title = "On the application of probabilistic distance measures for the extraction of features from imperfectly labeled patterns", journal = j-INT-J-COMPUT-INF-SCI, volume = "2", number = "2", pages = "103--114", month = jun, year = "1973", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "B6140C (Optical information, image and video signal processing); C1250 (Pattern recognition)", corpsource = "Univ. California, Irvine, CA, USA", keywords = "pattern recognition; probabilistic distance measures; extraction of features; Bhattacharyya distance; divergence; equivocation; Kalmogrov variational distance; Matusita distance; imperfectly identified patterns; pattern recognition", treatment = "T Theoretical or Mathematical", } @Article{Rickman:1973:SIO, author = "J. Rickman and W. E. Walden", title = "Structures for an interactive on-line thesaurus", journal = j-INT-J-COMPUT-INF-SCI, volume = "2", number = "2", pages = "115--127", month = jun, year = "1973", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation); C7240 (Information analysis and indexing)", corpsource = "Pennsylvania State Univ., University Park, PA, USA", keywords = "data structures; thesauri; interactive; thesaurus; data structure; plant pathology; hashing function; partial spellings; file blocking; sequential searches; file structure; display formats; user command language; online", treatment = "P Practical", } @Article{Book:1973:SCG, author = "R. V. Book", title = "On the structure of context-sensitive grammars", journal = j-INT-J-COMPUT-INF-SCI, volume = "2", number = "2", pages = "129--139", month = jun, year = "1973", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic)", corpsource = "Harvard Univ., Cambridge, MA, USA", keywords = "context-sensitive grammars; structure; rules; constraints; weak generative capacity; context sensitive grammars", treatment = "T Theoretical or Mathematical", } @Article{Payne:1973:PSL, author = "W. H. Payne", title = "Partial sorting: a large vector technique and its application", journal = j-INT-J-COMPUT-INF-SCI, volume = "2", number = "2", pages = "141--156", month = jun, year = "1973", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4240 (Programming and algorithm theory); C6130 (Data handling techniques)", corpsource = "Univ. Illinois, Urbana, Champaign, IL, USA", keywords = "programming theory; sorting; partial sorting; large vector technique; application; algorithm; confidence intervals; ranks; rejection procedure", treatment = "T Theoretical or Mathematical", } @Article{Bohm:1973:NCA, author = "C. Bohm and M. Dezani", title = "Notes on {`A {CUCH-machine}: the automatic treatment of bound variables'}", journal = j-INT-J-COMPUT-INF-SCI, volume = "2", number = "2", pages = "157--160", month = jun, year = "1973", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4220 (Automata theory)", corpsource = "Univ. Torino, Italy", keywords = "automata theory; CUCH; machine; automatic treatment; bound variables", treatment = "T Theoretical or Mathematical", } @Article{Findler:1973:PTR, author = "N. V. Findler and D. Chen", title = "On the problems of time, retrieval of temporal relations, causality, and coexistence", journal = j-INT-J-COMPUT-INF-SCI, volume = "2", number = "3", pages = "161--185", month = sep, year = "1973", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C1230 (Artificial intelligence); C6130 (Data handling techniques)", corpsource = "State Univ., New York, Buffalo, Amherst, MA, USA", keywords = "artificial intelligence; data handling; time; retrieval of temporal relations; causality; coexistence; intelligent; deductive inferences; logical inconsistencies; question answering programs", treatment = "P Practical; X Experimental", } @Article{Burke:1973:BFA, author = "J. M. Burke and J. T. Rickman", title = "Bitmaps and filters for attribute-oriented searches", journal = j-INT-J-COMPUT-INF-SCI, volume = "2", number = "3", pages = "187--200", month = sep, year = "1973", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation)", corpsource = "Pennsylvania State Univ., University Park, PA, USA", keywords = "data structures; file organisation; bitmaps; filters; inverted file structures; attribute searches; search lengths; blocking", treatment = "P Practical", } @Article{Spier:1973:MIP, author = "M. J. Spier", title = "A model implementation for protective domains", journal = j-INT-J-COMPUT-INF-SCI, volume = "2", number = "3", pages = "201--229", month = sep, year = "1973", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4290 (Other computer theory); C6130 (Data handling techniques); C6150J (Operating systems)", corpsource = "Digital Equipment Corp., Maynard, MA, USA", keywords = "multi-access systems; security of data; protective domains; hardware/software mechanism; protection; controlled access; sharable information structures; storage", treatment = "T Theoretical or Mathematical", } @Article{Jain:1973:EWF, author = "V. K. Jain", title = "{ECG} waveform feature extraction and its application to automated prognosis", journal = j-INT-J-COMPUT-INF-SCI, volume = "2", number = "3", pages = "231--247", month = sep, year = "1973", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C7330 (Biology and medical computing)", corpsource = "Univ. South Florida, Tampa, FL, USA", keywords = "data compression; data reduction and analysis; electrocardiography; pattern recognition; waveform analysis; ECG; waveform feature extraction; automated prognosis; information compression", treatment = "A Application; T Theoretical or Mathematical", } @Article{Rose:1973:TDF, author = "L. L. Rose and M. H. Gotterer", title = "A theory of dynamic file management in a multilevel store", journal = j-INT-J-COMPUT-INF-SCI, volume = "2", number = "4", pages = "249--256", month = dec, year = "1973", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation)", corpsource = "Pennsylvania State Univ., University Park, PA, USA", keywords = "file organisation; optimisation; storage management; dynamic file management; multilevel store; throughput time; job run time; file movement time; file configuration choice time", treatment = "T Theoretical or Mathematical", } @Article{Osteen:1973:CAB, author = "R. E. Osteen and J. T. Tou", title = "A clique-detection algorithm based on neighborhoods in graphs", journal = j-INT-J-COMPUT-INF-SCI, volume = "2", number = "4", pages = "257--268", month = dec, year = "1973", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "B6140C (Optical information, image and video signal processing); C1250 (Pattern recognition)", corpsource = "Univ. Florida, Gainesville, FL, USA", keywords = "graph theory; pattern recognition; neighbourhoods; detection; algorithm; graphs; clustering; cliques", treatment = "T Theoretical or Mathematical", } @Article{Clark:1973:PTO, author = "J. L. Clark", title = "{PATRICIA-II}. Two-level overlaid indexes for large libraries", journal = j-INT-J-COMPUT-INF-SCI, volume = "2", number = "4", pages = "269--292", month = dec, year = "1973", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C7210 (Information services and centres); C7240 (Information analysis and indexing); C7250 (Information storage and retrieval)", corpsource = "Univ. California, Los Alamos, NM, USA", keywords = "indexing; information retrieval systems; library mechanisation; two level; PATRICIA-II; overlaid indexes; large libraries; algorithm; retrieve Information; Alphanumeric; core resident; lower index; upper index; FORTRAN program", treatment = "P Practical", } @Article{Ealer:1973:DBO, author = "G. C. Ealer and N. F. Jensen and E. G. Monaco", title = "Data base organization and retrieval techniques for steam turbine engineering", journal = j-INT-J-COMPUT-INF-SCI, volume = "2", number = "4", pages = "293--309", month = dec, year = "1973", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation); C7100 (Business and administration); C7250 (Information storage and retrieval); C7490 (Computing in other engineering fields)", corpsource = "Westinghouse Electric Corp., Lester, PA, USA", keywords = "file organisation; information retrieval; management information systems; steam turbines; data base organisation; retrieval techniques; steam turbine engineering; computer", treatment = "P Practical", } @Article{Rozenberg:1973:ETL, author = "G. Rozenberg", title = "Extension of tabled {0L-systems} and languages", journal = j-INT-J-COMPUT-INF-SCI, volume = "2", number = "4", pages = "311--336", month = dec, year = "1973", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic)", corpsource = "State Univ. New York, Buffalo, Amherst, MA, USA", keywords = "formal languages; extension; family of languages; tabled 0L systems", treatment = "T Theoretical or Mathematical", } @Article{Cohen:1974:NTD, author = "J. Cohen and L. Trilling and P. Wegner", title = "A nucleus of a theorem-prover described in {ALGOL-68}", journal = j-INT-J-COMPUT-INF-SCI, volume = "3", number = "1", pages = "1--31", month = mar, year = "1974", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C1230 (Artificial intelligence); C4210 (Formal logic); C7310 (Mathematics computing)", corpsource = "Brandeis Univ., Waltham, MA, USA", keywords = "computer aided analysis; subroutines; theorem proving; nucleus; theorem proving; predicate calculus; ALGOL 68 programs; tree method; Beth's method of semantic tableaux; symbolic manipulation algorithms", treatment = "T Theoretical or Mathematical", } @Article{Bowdon:1974:STP, author = "E. K. {Bowdon, Sr.} and S. A. Mamrak and F. R. Salz", title = "A simulation tool for performance evaluation of the {IBM 360\slash 75}", journal = j-INT-J-COMPUT-INF-SCI, volume = "3", number = "1", pages = "33--57", month = mar, year = "1974", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6150G (Diagnostic, testing, debugging and evaluating systems); C6150J (Operating systems); C7430 (Computer engineering)", corpsource = "Univ. Illinois, Urbana-Champaign, IL, USA", keywords = "computer testing; simulation; simulation tool; performance evaluation; IBM 360/75; improving system performance; network computers; GPSS model; job's total time in the system; resource utilization; dynamic priority assignment algorithm; CPU and memory utilization; load levelling", treatment = "A Application; T Theoretical or Mathematical", } @Article{Ignizio:1974:HAS, author = "J. P. Ignizio and R. M. Harnett", title = "Heuristically aided set-covering algorithms", journal = j-INT-J-COMPUT-INF-SCI, volume = "3", number = "1", pages = "59--70", month = mar, year = "1974", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "B0260 (Optimisation techniques); C1180 (Optimisation techniques); C7310 (Mathematics computing)", corpsource = "Univ. Alabama, Huntsville, Al, USA", keywords = "computer aided analysis; integer programming; heuristically aided; mathematical programming algorithms; computational efficiency; set covering algorithms; heuristic program; reduced computational time; computation time variance; increased problem size capability", treatment = "A Application; T Theoretical or Mathematical", } @Article{Bouckaert:1974:CDGa, author = "A. Bouckaert", title = "Computer diagnosis of goiters. {IV}. Optimal planning of physical observations", journal = j-INT-J-COMPUT-INF-SCI, volume = "3", number = "1", pages = "71--92", month = mar, year = "1974", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "A8770E (Patient diagnostic methods and instrumentation); B7510 (Biomedical measurement and imaging); C7330 (Biology and medical computing)", corpsource = "Faculty Medicine, Kinshasa, Zaire", keywords = "computer aided analysis; optimisation; patient diagnosis; computer diagnosis; goiters; optimal planning of physical observations; ordered sequential observations; physical signs; diagnostic recognition; stopping rules; information theoretic criteria", treatment = "A Application; T Theoretical or Mathematical", } @Article{Shneiderman:1974:MOI, author = "B. Shneiderman", title = "A model for optimizing indexed file structures", journal = j-INT-J-COMPUT-INF-SCI, volume = "3", number = "1", pages = "93--103", month = mar, year = "1974", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation)", corpsource = "Indiana Univ., Bloomington, IN, USA", keywords = "data structures; file organisation; indexing; optimisation; model; optimizing indexed file structures; multilevel indexes; accessing records; sorted files; access cost; retrieving; proper size of the index; binary searching; sequential searching", treatment = "A Application; T Theoretical or Mathematical", } @Article{Minker:1974:MIR, author = "J. Minker and J. R. McSkimin and D. H. Fishman", title = "{MRPPS} --- an interactive refutation proof procedure system for question answering", journal = j-INT-J-COMPUT-INF-SCI, volume = "3", number = "2", pages = "105--122", month = jun, year = "1974", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C1230 (Artificial intelligence); C6130 (Data handling techniques)", corpsource = "Univ. Maryland, College Park, MD, USA", keywords = "data handling; theorem proving; MRPPS; interactive refutation proof procedure; queries; logical deductions; search strategy; heuristically", treatment = "P Practical", } @Article{Nishihara:1974:FTQ, author = "S. Nishihara and H. Hagiwara", title = "A full table quadratic search method eliminating secondary clustering", journal = j-INT-J-COMPUT-INF-SCI, volume = "3", number = "2", pages = "123--128", month = jun, year = "1974", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation); C6130 (Data handling techniques)", corpsource = "Kyoto Univ., Japan", keywords = "file organisation; table lookup; full table; quadratic search method; eliminating secondary clustering; hash tables", treatment = "A Application; T Theoretical or Mathematical", } @Article{Kandel:1974:AFL, author = "A. Kandel", title = "Application of fuzzy logic to the detection of static hazards in combinational switching systems", journal = j-INT-J-COMPUT-INF-SCI, volume = "3", number = "2", pages = "129--139", month = jun, year = "1974", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4230B (Combinatorial switching theory)", corpsource = "New Mexico Inst. Mining and Technol., Socorro, NM, USA", keywords = "combinatorial switching; hazards and race conditions; fuzzy logic; detection; static hazards; combinational switching systems", treatment = "T Theoretical or Mathematical", } @Article{Santos:1974:OAL, author = "E. S. Santos", title = "One-way acceptors and languages", journal = j-INT-J-COMPUT-INF-SCI, volume = "3", number = "2", pages = "141--151", month = jun, year = "1974", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic)", corpsource = "Youngstown State Univ., OH, USA", keywords = "formal languages; one way; acceptors; languages; abstract families of languages; abstract families of deterministic languages", treatment = "T Theoretical or Mathematical", } @Article{Mateescu:1974:IPM, author = "C. A. Mateescu and I. O. Stamatescu", title = "On an information processing model applied to optical illusions and computer simulations", journal = j-INT-J-COMPUT-INF-SCI, volume = "3", number = "2", pages = "153--166", month = jun, year = "1974", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "B6140C (Optical information, image and video signal processing); C1250 (Pattern recognition)", keywords = "optical information processing; simulation; information processing; optical illusions; computer simulations; image processing; visual phenomena", treatment = "T Theoretical or Mathematical", } @Article{Stonebraker:1974:CPI, author = "M. Stonebraker", title = "The choice of partial inversions and combined indices", journal = j-INT-J-COMPUT-INF-SCI, volume = "3", number = "2", pages = "167--188", month = jun, year = "1974", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation)", corpsource = "Univ. California, Berkeley, CA, USA", keywords = "file organisation; choice; partial inversions; combined indices; file; secondary storage device; probabilistic model; interaction activity; queries; updates", treatment = "T Theoretical or Mathematical", } @Article{Earley:1974:SEU, author = "J. Earley", title = "Syntax extension using a run time model", journal = j-INT-J-COMPUT-INF-SCI, volume = "3", number = "3", pages = "189--196", month = sep, year = "1974", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation); C6140D (High level languages)", corpsource = "Univ. California, Berkeley, CA, USA", keywords = "data structures; problem oriented languages; syntax extension; run time model; programming languages; augmented BNF notation; specialised syntax; data structures", treatment = "A Application; T Theoretical or Mathematical", } @Article{Lindstrom:1974:ALS, author = "G. Lindstrom", title = "Algorithms for list structure condensation", journal = j-INT-J-COMPUT-INF-SCI, volume = "3", number = "3", pages = "197--216", month = sep, year = "1974", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation); C7250 (Information storage and retrieval)", corpsource = "Univ. Pittsburgh, PA, USA", keywords = "data structures; information storage; list processing; list structure condensation; redundant information; data management; redundancy; minimally sized equivalent structure; address identity comparison", treatment = "A Application; T Theoretical or Mathematical", } @Article{Minker:1974:RLR, author = "J. Minker and G. J. VanderBrug", title = "Representations of the language recognition problem for a theorem prover", journal = j-INT-J-COMPUT-INF-SCI, volume = "3", number = "3", pages = "217--250", month = sep, year = "1974", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C1230 (Artificial intelligence); C4210 (Formal logic)", corpsource = "Univ. Maryland, College Park, MD, USA", keywords = "formal languages; recursive functions; theorem proving; language recognition; theorem prover; first order logic; sentential forms; Cocke parsing algorithm; recursive languages; state transformation method; resolution based systems; cycle inference system; state space problems", treatment = "T Theoretical or Mathematical", } @Article{Lai:1974:RCT, author = "Hung Chi Lai and S. Muroga and T. Nakagawa", title = "Redundancy check technique for designing optimal networks by branch-and-bound method", journal = j-INT-J-COMPUT-INF-SCI, volume = "3", number = "3", pages = "251--271", month = sep, year = "1974", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C5210B (Computer-aided logic design)", corpsource = "Univ. Illinois, Urbana-Champaign, IL, USA", keywords = "computer-aided logic design; redundancy; redundancy check; optimal networks; branch and bound algorithm; minimal NOR networks; fan in; fan out; level restrictions", treatment = "T Theoretical or Mathematical", } @Article{Velasco:1974:SSD, author = "F. R. D. Velasco and C. {De-Renna e. Souza}", title = "Sequential syntactical decoding", journal = j-INT-J-COMPUT-INF-SCI, volume = "3", number = "4", pages = "273--287", month = dec, year = "1974", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "B6120B (Codes); B6140 (Signal processing and detection); C1260 (Information theory); C4210 (Formal logic)", corpsource = "Univ. Federal Rio de Janeiro, Brazil", keywords = "context-free languages; decoding; error detection; fault tolerant computing; sequential syntactical decoding; syntactical information; error detection; location; correction; minimum distance syntactical decoding algorithm; sequential decoding; Fano's algorithm; simulation", treatment = "T Theoretical or Mathematical", } @Article{Greibach:1974:SRW, author = "S. A. Greibach", title = "Some restrictions on {W}-grammars", journal = j-INT-J-COMPUT-INF-SCI, volume = "3", number = "4", pages = "289--327", month = dec, year = "1974", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic)", corpsource = "Univ. California, Los Angeles, CA, USA", keywords = "context-free grammars; W grammars; ALGOL 68; normal regular based W grammars; simple W grammars; context free languages; quasirealtime languages; index languages; context free grammars; programming languages", treatment = "T Theoretical or Mathematical", } @Article{McCormick:1974:TSM, author = "B. H. McCormick and S. N. Jayaramamurthy", title = "Time series model for texture synthesis", journal = j-INT-J-COMPUT-INF-SCI, volume = "3", number = "4", pages = "329--343", month = dec, year = "1974", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "B6140C (Optical information, image and video signal processing); C1250 (Pattern recognition); C5540 (Terminals and graphic displays); C6130 (Data handling techniques)", corpsource = "Univ. Illinois, Chicago, IL, USA", keywords = "computer graphics; pattern recognition; time series model; texture synthesis; pixels; picture elements; digitized textural scene; seasonal time series; boundary conditions", treatment = "A Application; T Theoretical or Mathematical", } @Article{Bouckaert:1974:CDGb, author = "A. Bouckaert", title = "Computer diagnosis of goiters. The optimal size of optimal subsymptomatologies", journal = j-INT-J-COMPUT-INF-SCI, volume = "3", number = "4", pages = "345--362", month = dec, year = "1974", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "B6140C (Optical information, image and video signal processing); C1250 (Pattern recognition); C7330 (Biology and medical computing)", corpsource = "Faculty Medicine, Kinshasa, Zaire", keywords = "biomedical applications of computers; optimisation; patient diagnosis; pattern recognition; computer diagnosis; goiters; optimal size; optimal subsymptomatologies; diagnostic recognition rate; identification; thyroid diseases; unbiased evaluation of performance; Bayesian inference; sequential diagnosis", treatment = "A Application; T Theoretical or Mathematical", } @Article{McCormick:1975:DTM, author = "B. H. McCormick and S. N. Jayaramamurthy", title = "A decision theory method for the analysis of texture", journal = j-INT-J-COMPUT-INF-SCI, volume = "4", number = "1", pages = "1--38", month = mar, year = "1975", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "B0240E (Game theory); B6140C (Optical information, image and video signal processing); C1140E (Game theory); C1250 (Pattern recognition)", corpsource = "Univ. Illinois, Chicago, IL, USA", keywords = "decision theory and analysis; pattern recognition; statistical decision theory; event; likelihood ratio; operating characteristic curve; local categorizer; acceptance set; interval covering theory; interval complexes; texture analysis; textural feature detectors", treatment = "T Theoretical or Mathematical", } @Article{Treu:1975:OSD, author = "S. Treu", title = "On-line student debate: an experiment in communication using computer networks", journal = j-INT-J-COMPUT-INF-SCI, volume = "4", number = "1", pages = "39--51", month = mar, year = "1975", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C5620 (Computer networks and techniques); C7810 (Social and behavioural sciences computing)", corpsource = "Univ. Pittsburgh, PA, USA", keywords = "data communication systems; social and behavioural sciences; man computer interface; interpersonal communication; online debate; hierarchical file structure; file based communication; computer network; communication experiment", treatment = "X Experimental", } @Article{Wood:1975:NLS, author = "D. Wood", title = "A note on {Lindenmayer} systems, {Szilard} languages, spectra, and equivalence", journal = j-INT-J-COMPUT-INF-SCI, volume = "4", number = "1", pages = "53--62", month = mar, year = "1975", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic)", corpsource = "McMaster Univ., Hamilton, Ont., Canada", keywords = "computability and decidability; formal languages; Lindenmayer systems; Szilard languages; spectra: equivalence; regular languages", treatment = "T Theoretical or Mathematical", } @Article{DalCin:1975:FAT, author = "M. {Dal Cin}", title = "Fuzzy-state automata: their stability and fault tolerance", journal = j-INT-J-COMPUT-INF-SCI, volume = "4", number = "1", pages = "63--80", month = mar, year = "1975", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4220 (Automata theory)", corpsource = "Univ. T{\"u}bingen, West Germany", keywords = "fault tolerant computing; finite automata; stability; fault tolerance; fuzzy state automata; fixed point behaviour; almost periodic behaviour; intermittent state transition errors; error correction; tests; finite automata", treatment = "T Theoretical or Mathematical", } @Article{DalCin:1975:MTF, author = "M. {Dal Cin}", title = "Modification tolerance of fuzzy-state automata", journal = j-INT-J-COMPUT-INF-SCI, volume = "4", number = "1", pages = "81--93", month = mar, year = "1975", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4220 (Automata theory)", corpsource = "Univ. T{\"u}bingen, West Germany", keywords = "fault tolerant computing; finite automata; fuzzy state; modification tolerance; finite automata; time variant; structural modifications; permanent state transition errors; fault tolerance; fault masking; reliable languages", treatment = "T Theoretical or Mathematical", } @Article{Shyr:1975:LL, author = "H. J. Shyr and G. Thierrin", title = "Left-noncounting languages", journal = j-INT-J-COMPUT-INF-SCI, volume = "4", number = "1", pages = "95--102", month = mar, year = "1975", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic)", corpsource = "Univ. Western Ontario, London, Ont., Canada", keywords = "formal languages; left noncounting language; free monoid; power separating language; automaton; syntactic monoid; regular language; code; combinatorial monoid; combinatorial right congruence; disjunctive subset; left combinatorial monoid", treatment = "T Theoretical or Mathematical", } @Article{Hoare:1975:RDS, author = "C. A. R. Hoare", title = "Recursive data structures", journal = j-INT-J-COMPUT-INF-SCI, volume = "4", number = "2", pages = "105--132", month = jun, year = "1975", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation)", corpsource = "Dept. of Computer Sci., Queen's Univ. of Belfast, Belfast, UK", keywords = "data structures; recursive functions; storage allocation; axiomatic proof rules; dynamic storage allocation; recursive data structures; programming language; treelike data structures; efficiency; symbol manipulation; high level programming language", treatment = "T Theoretical or Mathematical", } @Article{Spier:1975:PPI, author = "M. J. Spier", title = "A pragmatic proposal for the improvement of program modularity and reliability", journal = j-INT-J-COMPUT-INF-SCI, volume = "4", number = "2", pages = "133--149", month = jun, year = "1975", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6150J (Operating systems)", corpsource = "Digital Equipment Corp., Software Engng. Dept., Maynard, MA, USA", keywords = "fault tolerant computing; operating systems (computers); operating system design; program correctness; program reliability; structured modularity; program modularity; domain concept; operating system monitor; database protection; controlled procedure entry points; software error conditions; economic; software quality", treatment = "A Application; T Theoretical or Mathematical", } @Article{Shrivastava:1975:PSH, author = "S. K. Shrivastava", title = "Process synchronization in high-level languages", journal = j-INT-J-COMPUT-INF-SCI, volume = "4", number = "2", pages = "151--169", month = jun, year = "1975", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6110 (Systems analysis and programming)", corpsource = "Computer Lab., Cambridge Univ., Cambridge, UK", keywords = "programming; synchronizing primitives; resource allocation; process synchronisation; conditional critical region method; high level programming languages; parallel programs", treatment = "A Application; T Theoretical or Mathematical", } @Article{Wang:1975:DRU, author = "Y. R. Wang", title = "On data retrieval from unambiguous bit matrices", journal = j-INT-J-COMPUT-INF-SCI, volume = "4", number = "2", pages = "171--187", month = jun, year = "1975", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation)", corpsource = "Dept. of Computer Sci., Univ. of Nebraska, Lincoln, NE, USA", keywords = "data compression; data handling; file organisation; parallel reconstruction; data retrieval; unambiguous bit matrices; descriptor; data files; data compression", treatment = "A Application; T Theoretical or Mathematical", } @Article{Rosenberg:1975:SAM, author = "A. L. Rosenberg", title = "On storing arbitrarily many extendible arrays of arbitrary dimensions", journal = j-INT-J-COMPUT-INF-SCI, volume = "4", number = "2", pages = "189--196", month = jun, year = "1975", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation)", corpsource = "Math. Sci. Dept., IBM Watson Res. Center, Yorktown Heights, NY, USA", keywords = "file organisation; storage allocation; dynamic storage allocation; arbitrary dimensions; allocation scheme; computational characteristics", treatment = "A Application; T Theoretical or Mathematical", } @Article{Rose:1975:FEA, author = "L. L. Rose and M. H. Gotterer", title = "File evaluation in auxiliary storage", journal = j-INT-J-COMPUT-INF-SCI, volume = "4", number = "3", pages = "197--204", month = sep, year = "1975", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation); C7250 (Information storage and retrieval)", corpsource = "School of Advanced Technol., State Univ. of New York, Binghamton, New York, NY, USA", keywords = "file organisation; information retrieval system evaluation; simulation; auxiliary storage; throughput time; storage management routine; data; objective function; evaluation function; simulation; file evaluation; exogenous variables; Dynamic File Management model", treatment = "T Theoretical or Mathematical", } @Article{Persoon:1975:SCS, author = "E. Persoon and K. S. Fu", title = "Sequential classification of strings generated by {SCFG's}", journal = j-INT-J-COMPUT-INF-SCI, volume = "4", number = "3", pages = "205--217", month = sep, year = "1975", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic)", corpsource = "School of Electrical Engng., Purdue Univ., West Lafayette, IN, USA", keywords = "classification; context-free grammars; strings; sequential classification algorithm; optimum decision rule; suboptimal stopping rule; time bound; error; processing time; sequential classification; stochastic context free languages; Earley's parsing algorithm", treatment = "T Theoretical or Mathematical", } @Article{Ehrenfeucht:1975:SCV, author = "A. Ehrenfeucht and K. P. Lee and G. Rozenberg", title = "Subword complexities of various classes of deterministic developmental languages with interactions", journal = j-INT-J-COMPUT-INF-SCI, volume = "4", number = "3", pages = "219--236", month = sep, year = "1975", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic); C4240 (Programming and algorithm theory)", corpsource = "Dept. of Computer Sci., Univ. of Colorado, Boulder, CO, USA", keywords = "computational complexity; formal languages; deterministic developmental languages; interactions; tables; subword complexities; D0L language; DIL language", treatment = "T Theoretical or Mathematical", } @Article{Hwang:1975:SSC, author = "K. Hwang", title = "Some structural complexities of time-varying sequential machines", journal = j-INT-J-COMPUT-INF-SCI, volume = "4", number = "3", pages = "237--245", month = sep, year = "1975", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4230D (Sequential switching theory)", corpsource = "School of Electrical Engng., Purdue Univ., West Lafayette, IN, USA", keywords = "sequential machines; time-varying systems; structural complexities; memory elements; isomorphism; minimality; periodicity; time invariance; convertibility; internal states; periodic structure; extended time; time varying sequential machines; logic elements; infinite state machine; finite state realizability", treatment = "T Theoretical or Mathematical", } @Article{Yeh:1975:POS, author = "Hsi-Han Yeh", title = "Parameter optimization of stochastic automata operating in random environments", journal = j-INT-J-COMPUT-INF-SCI, volume = "4", number = "3", pages = "247--263", month = sep, year = "1975", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4220 (Automata theory)", corpsource = "Univ. of Kentucky, Lexington, KY, USA", keywords = "automata theory; Markov processes; random processes; stochastic systems; stochastic automata; random environments; lower bounds; convergence; transient probability distribution; equilibrium probability distribution; probability transition matrix; parameter optimization; fourth order systems", treatment = "T Theoretical or Mathematical", } @Article{Moyne:1975:RCS, author = "J. A. Moyne", title = "Relevance of computer science to linguistics and vice versa", journal = j-INT-J-COMPUT-INF-SCI, volume = "4", number = "3", pages = "265--279", month = sep, year = "1975", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic); C4290 (Other computer theory)", corpsource = "Dept. of Computer Sci., Queens Coll., City Univ. of New York, New York, NY, USA", keywords = "computational linguistics; grammars; computer science; linguistics", treatment = "B Bibliography", } @Article{Yue:1975:NHA, author = "P. C. Yue and C. K. Wong", title = "Near-optimal heuristics for an assignment problem in mass storage", journal = j-INT-J-COMPUT-INF-SCI, volume = "4", number = "4", pages = "281--294", month = dec, year = "1975", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation); C6150J (Operating systems)", corpsource = "Computer Sci. Dept., IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA", keywords = "optimisation; storage allocation; assignment problem; mass storage; pairwise majorisation; stepwise minimisation; near optimal heuristics; archive organisation; tree enumeration; lower bound; directed graphs", treatment = "E Economic; T Theoretical or Mathematical", } @Article{Kameda:1975:AAW, author = "H. Kameda", title = "The analysis of an adaptive workload balancing strategy in computing system resources management", journal = j-INT-J-COMPUT-INF-SCI, volume = "4", number = "4", pages = "295--306", month = dec, year = "1975", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6150J (Operating systems)", corpsource = "Dept. of Computer Sci., Univ. of Toronto, Toronto, Ont., Canada", keywords = "operating systems (computers); adaptive workload balancing strategy; computing system resources management; resource utilisation; throughput; turnaround time; coherent priority queueing; IBM OS/VS2 release 2; priority pricing", treatment = "E Economic; T Theoretical or Mathematical", } @Article{Yue:1975:SCC, author = "P. C. Yue and C. K. Wong", title = "Storage cost considerations in secondary index selection", journal = j-INT-J-COMPUT-INF-SCI, volume = "4", number = "4", pages = "307--327", month = dec, year = "1975", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation)", corpsource = "Computer Sci. Dept., IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA", keywords = "storage allocation; secondary index selection; relational data base; multilevelled storage; storage cost; query time; storage block; data transfer; knapsack problem; constrained minimisation", treatment = "E Economic; T Theoretical or Mathematical", } @Article{Ang:1975:HAP, author = "Beng-Tung Ang", title = "A heuristic-adaptive procedure for segmentation of time patterns", journal = j-INT-J-COMPUT-INF-SCI, volume = "4", number = "4", pages = "329--348", month = dec, year = "1975", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "B0290F (Interpolation and function approximation); C1230 (Artificial intelligence); C4130 (Interpolation and function approximation)", corpsource = "Div. of Appl. Math., Brown Univ., Providence, RI, USA", keywords = "adaptive systems; artificial intelligence; least squares approximations; segmentation of time patterns; heuristic search; image restoration; heuristic adaptive operators; regimed pattern; artificial intelligence", treatment = "A Application; T Theoretical or Mathematical", } @Article{Parks:1975:SMB, author = "P. C. Parks and A. G. Ivakhnenko and L. M. Boichuk and Svetalsky and B. K.", title = "A self-organizing model of the {British} economy for control with optimal prediction using the balance-of-variables criterion", journal = j-INT-J-COMPUT-INF-SCI, volume = "4", number = "4", pages = "349--379", month = dec, year = "1975", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C1290D (Systems theory applications in economics and business)", corpsource = "Dept. of Engng., Univ. of Warwick, Coventry, UK", keywords = "economic cybernetics; British economy; control with optimal prediction; linear differential equations; group method of data handling; optimal control; moving prediction interval; maximum principle; self organising model; balance of variables criterion", treatment = "E Economic", } @Article{Dasarathy:1976:SLE, author = "B. V. Dasarathy and A. L. Lakshminarasimhan", title = "Sequential learning employing unfamiliar teacher hypothesis ({SLEUTH}) with concurrent estimation of both the parameters and teacher characteristics", journal = j-INT-J-COMPUT-INF-SCI, volume = "5", number = "1", pages = "1--7", month = mar, year = "1976", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C1230 (Artificial intelligence)", corpsource = "Computer Sci. Corp., Huntsville, AL, USA", keywords = "learning systems; SLEUTH; concurrent estimation; parameters; teacher characteristics; unfamiliar environment; sequential learning", treatment = "T Theoretical or Mathematical", } @Article{Bowie:1976:AGT, author = "W. S. Bowie", title = "Applications of graph theory in computer systems", journal = j-INT-J-COMPUT-INF-SCI, volume = "5", number = "1", pages = "9--31", month = mar, year = "1976", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "B0250 (Combinatorial mathematics); C1160 (Combinatorial mathematics); C4290 (Other computer theory)", corpsource = "Dept. of Computing and Information Sci., Univ. of Guelph, Guelph, Ont., Canada", keywords = "graph theory; graph theory; computer systems; vertices; states; directed arcs; transitions; directed graphs; basic problems; algorithms; application", treatment = "T Theoretical or Mathematical", } @Article{Shneiderman:1976:TTE, author = "B. Shneiderman and S. C. Shapiro", title = "Toward a theory of encoded data structures and data translation", journal = j-INT-J-COMPUT-INF-SCI, volume = "5", number = "1", pages = "33--43", month = mar, year = "1976", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation)", corpsource = "Dept. of Computer Sci., Indiana Univ., Bloomington, IN, USA", keywords = "data structures; theory; encoded data structures; data translation; data base systems; levels of abstraction; model", treatment = "T Theoretical or Mathematical", } @Article{Fung:1976:ESD, author = "L. W. Fung and K. S. Fu", title = "An error-correcting syntactic decoder for computer networks", journal = j-INT-J-COMPUT-INF-SCI, volume = "5", number = "1", pages = "45--58", month = mar, year = "1976", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic); C5620 (Computer networks and techniques); C6130 (Data handling techniques)", corpsource = "Dept. of Electrical Engng., Univ. of Tennessee, Knoxville, TN, USA", keywords = "computer networks; context-free grammars; error correction codes; syntactic decoder; computer networks; information source; Chomsky Normal Form; binary coded; memoryless symmetric noisy channel; error correcting", treatment = "T Theoretical or Mathematical", } @Article{White:1976:OSS, author = "J. W. White", title = "An off-line simulation system for development of real-time {FORTRAN} programs", journal = j-INT-J-COMPUT-INF-SCI, volume = "5", number = "1", pages = "59--79", month = mar, year = "1976", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6110 (Systems analysis and programming); C6140D (High level languages)", corpsource = "Dept. of Chem. Engng., Coll. of Mines, Univ. of Arizona, Tucson, AZ, USA", keywords = "digital simulation; FORTRAN; online operation; programming; simulation system; development; FORTRAN programs; precompiler generation; real time; offline", treatment = "P Practical", } @Article{Thomason:1976:BDT, author = "M. G. Thomason and E. W. Page", title = "{Boolean} difference techniques in fault tree analysis", journal = j-INT-J-COMPUT-INF-SCI, volume = "5", number = "1", pages = "81--88", month = mar, year = "1976", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic)", corpsource = "Dept. of Computer Sci., Univ. of Tennessee, Knoxville, TN, USA", keywords = "Boolean algebra; reliability theory; Boolean difference techniques; fault tree analysis; system reliability; individual component failure probabilities; logic expressions", treatment = "T Theoretical or Mathematical", } @Article{Furtado:1976:CSD, author = "A. L. Furtado", title = "Characterizing sets of data structures by the connectivity relation", journal = j-INT-J-COMPUT-INF-SCI, volume = "5", number = "2", pages = "89--109", month = jun, year = "1976", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation)", corpsource = "Pontificia Univ. Catolica do Rio de Janeiro, Rio de Janeiro, Brazil", keywords = "data structures; graph theory; data structures; connectivity relation; formalism; directed graph; predicate calculus; characterise", treatment = "T Theoretical or Mathematical", } @Article{Guttmann:1976:PRD, author = "A. J. Guttmann", title = "Programming recursively defined functions in {FORTRAN}", journal = j-INT-J-COMPUT-INF-SCI, volume = "5", number = "2", pages = "111--122", month = jun, year = "1976", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4240 (Programming and algorithm theory); C6140D (High level languages)", corpsource = "Dept. of Math., Univ. of Newcastle, NSW, Australia", keywords = "FORTRAN; programming theory; recursive functions; recursively defined functions; FORTRAN; programming; stack; function arguments", treatment = "A Application; T Theoretical or Mathematical", } @Article{Shneiderman:1976:EEP, author = "B. Shneiderman", title = "Exploratory experiments in programmer behavior", journal = j-INT-J-COMPUT-INF-SCI, volume = "5", number = "2", pages = "123--143", month = jun, year = "1976", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C0200 (General computer topics); C6110 (Systems analysis and programming)", corpsource = "Computer Sci. Dept., Indiana Univ., Bloomington, IN, USA", keywords = "personnel; programming; psychology; cognitive psychological experimentation; programming; programmer; logical IF statements; FORTRAN; arithmetic statements; behaviour", treatment = "X Experimental", } @Article{Gonzalez:1976:AIT, author = "R. C. Gonzalez and J. J. Edwards and M. G. Thomason", title = "An algorithm for the inference of tree grammars", journal = j-INT-J-COMPUT-INF-SCI, volume = "5", number = "2", pages = "145--164", month = jun, year = "1976", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic)", corpsource = "Electrical Engng. Dept., Univ. of Tennessee, Knoxville, TN, USA", keywords = "grammars; trees (mathematics); algorithm; inference; tree grammars", treatment = "T Theoretical or Mathematical", } @Article{Dorrough:1976:PCT, author = "D. Dorrough", title = "Pattern classes: a technique for recovering their distributions", journal = j-INT-J-COMPUT-INF-SCI, volume = "5", number = "2", pages = "165--199", month = jun, year = "1976", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "B6140C (Optical information, image and video signal processing); C1250 (Pattern recognition)", keywords = "pattern recognition; recovering; distributions; decision class; pattern classes", treatment = "T Theoretical or Mathematical", } @Article{Lassez:1976:CCS, author = "J.-L. Lassez", title = "Circular codes and synchronization", journal = j-INT-J-COMPUT-INF-SCI, volume = "5", number = "2", pages = "201--208", month = jun, year = "1976", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic); C6130 (Data handling techniques)", corpsource = "Dept. de Phys.-Math., Univ. de Moncton, Moncton, NB, Canada", keywords = "codes; computability and decidability; finite synchronization delay; characterisation; circular codes", treatment = "T Theoretical or Mathematical", } @Article{Johnston:1976:CGB, author = "H. C. Johnston", title = "Cliques of a graph-variations on the {Bron-Kerbosch} algorithm", journal = j-INT-J-COMPUT-INF-SCI, volume = "5", number = "3", pages = "209--238", month = sep, year = "1976", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "B0250 (Combinatorial mathematics); C1160 (Combinatorial mathematics); C4210 (Formal logic)", corpsource = "Dept. of Computer Sci., Queen's Univ. of Belfast, Belfast, UK", keywords = "graph theory; sorting; cliques; undirected graph; combinatorial programming; graph theory; stepwise refinement; tree search; Bron Kerbosch algorithm", treatment = "T Theoretical or Mathematical", } @Article{Maekawa:1976:DPB, author = "M. Maekawa", title = "Detection of parallelism between statements by decomposing into separate sequential processes", journal = j-INT-J-COMPUT-INF-SCI, volume = "5", number = "3", pages = "239--255", month = sep, year = "1976", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4240 (Programming and algorithm theory)", corpsource = "Dept. of Computer Sci., Univ. of Iowa, Iowa City, IA, USA", keywords = "parallel processing; pipeline processing; parallelism; sequential processes; parallel processing; pipelining; multilevel pipelining", treatment = "P Practical", } @Article{Cannon:1976:ATC, author = "R. L. {Cannon, Jr.}", title = "An algebraic technique for context-sensitive parsing", journal = j-INT-J-COMPUT-INF-SCI, volume = "5", number = "3", pages = "257--276", month = sep, year = "1976", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic)", corpsource = "Dept. of Math. and Computer Sci., Univ. of South Carolina, Columbia, SC, USA", keywords = "context-sensitive grammars; context-sensitive languages; parsing; grammar; algebraic parsing; state grammars; context free; context sensitive; canonical parse; semiring", treatment = "T Theoretical or Mathematical", } @Article{Hinomoto:1976:OFI, author = "H. Hinomoto", title = "Observations of a firm's information processing with a data base management system", journal = j-INT-J-COMPUT-INF-SCI, volume = "5", number = "3", pages = "277--302", month = sep, year = "1976", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation); C7100 (Business and administration)", corpsource = "Dept. of Business Administration, Univ. of Illinois, Urbana-Champaign, IL, USA", keywords = "database management systems; data base management system; IMS; data processing; transaction processing", treatment = "A Application; P Practical", } @Article{Stallings:1976:ACB, author = "W. Stallings", title = "An application of coroutines and backtracking in interactive systems", journal = j-INT-J-COMPUT-INF-SCI, volume = "5", number = "4", pages = "303--313", month = dec, year = "1976", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6110 (Systems analysis and programming)", corpsource = "Advanced Computer Tech., Arlington, VA, USA", keywords = "programming; coroutines; backtracking; interactive systems; software structure; recognition; translation", treatment = "P Practical", } @Article{Ibaraki:1976:TCS, author = "T. Ibaraki", title = "Theoretical comparisons of search strategies in branch-and-bound algorithms", journal = j-INT-J-COMPUT-INF-SCI, volume = "5", number = "4", pages = "315--344", month = dec, year = "1976", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C1180 (Optimisation techniques)", corpsource = "Dept. of Appl. Math. and Phys., Faculty of Engng., Kyoto Univ., Kyoto, Japan", keywords = "optimisation; comparisons; search strategies; heuristic search; branch and bound; depth first search; best bound search; breadth first search", treatment = "T Theoretical or Mathematical", } @Article{Gabow:1976:UEP, author = "H. N. Gabow", title = "Using {Euler} partitions to edge color bipartite multigraphs", journal = j-INT-J-COMPUT-INF-SCI, volume = "5", number = "4", pages = "345--355", month = dec, year = "1976", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "B0250 (Combinatorial mathematics); C1160 (Combinatorial mathematics)", corpsource = "Dept. of Computer Sci., Univ. of Colorado, Boulder, CO, USA", keywords = "graph colouring; euler partitions; bipartite multigraphs; algorithm; matching; edge colouring; divide and conquer", treatment = "T Theoretical or Mathematical", } @Article{Skavaril:1976:BIO, author = "R. V. Skavaril and O. R. Miller", title = "Binary input, output, and manipulation extensions of conversational programming with some biological applications", journal = j-INT-J-COMPUT-INF-SCI, volume = "5", number = "4", pages = "357--373", month = dec, year = "1976", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6110 (Systems analysis and programming); C7330 (Biology and medical computing)", corpsource = "Dept. of Genetics, Ohio State Univ., Columbus, OH, USA", keywords = "biology computing; interactive programming; extensions; conversational programming system; input; output; manipulation; binary", treatment = "P Practical", } @Article{Hellerman:1977:SMP, author = "H. Hellerman and R. Cavallo", title = "On the solution of multiattribute problems involving counting in intersecting sets", journal = j-INT-J-COMPUT-INF-SCI, volume = "6", number = "1", pages = "1--7", month = mar, year = "1977", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C1160 (Combinatorial mathematics)", corpsource = "School of Advanced Technol., State Univ. of New York, Binghamton, NY, USA", keywords = "set theory; solution; multiattribute problems; counting; intersecting sets", treatment = "T Theoretical or Mathematical", } @Article{Jordan:1977:NLU, author = "S. R. Jordan", title = "A natural language understander based on a freely associated learned memory net", journal = j-INT-J-COMPUT-INF-SCI, volume = "6", number = "1", pages = "9--25", month = mar, year = "1977", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C1230 (Artificial intelligence)", corpsource = "Computer Sci. Dept., Univ. of Tennessee-Knoxville, Knoxville, TN, USA", keywords = "artificial intelligence; natural language understander; freely associated learned memory net; artificial intelligence; computer systems; interactive computer program; unsegmented input strings; human trainer", treatment = "T Theoretical or Mathematical", } @Article{Kai:1977:SED, author = "Hwang Kai", title = "On syntactic edge detection in noisy pictures", journal = j-INT-J-COMPUT-INF-SCI, volume = "6", number = "1", pages = "27--40", month = mar, year = "1977", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "B6140C (Optical information, image and video signal processing); C1250 (Pattern recognition)", corpsource = "Dept. of Electrical and Computer Engng., Wayne State Univ., Detroit, MI, USA", keywords = "pattern recognition; syntactic edge detection; noisy pictures; primitive recognizing mechanism methods; picture parsing methods; line drawing programs", treatment = "T Theoretical or Mathematical", } @Article{Starks:1977:AOS, author = "S. A. Starks and R. J. P. {de Figueiredo} and D. L. {Van Rooy}", title = "An algorithm for optimal single linear feature extraction from several {Gaussian} pattern classes", journal = j-INT-J-COMPUT-INF-SCI, volume = "6", number = "1", pages = "41--54", month = mar, year = "1977", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "B6140C (Optical information, image and video signal processing); C1250 (Pattern recognition)", corpsource = "Electrical Engng. Dept., Rice Univ., Houston, TX, USA", keywords = "pattern recognition; algorithm; optimal; single; linear; feature extraction; Gaussian pattern classes; computational", treatment = "T Theoretical or Mathematical", } @Article{Neff:1977:SFS, author = "T. P. Neff and A. Kandel", title = "Simplification of fuzzy switching functions", journal = j-INT-J-COMPUT-INF-SCI, volume = "6", number = "1", pages = "55--70", month = mar, year = "1977", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4230 (Switching theory)", corpsource = "Computer Sci. Dept., New Mexico Inst. of Mining and Technol., Socorro, NM, USA", keywords = "switching functions; fuzzy switching functions; simplification; algorithm; fuzzy prime implicants; direct simplification", treatment = "T Theoretical or Mathematical", } @Article{Hughes:1977:AFA, author = "J. S. Hughes and A. Kandel", title = "Applications of fuzzy algebra to hazard detection in combinational switching circuits", journal = j-INT-J-COMPUT-INF-SCI, volume = "6", number = "1", pages = "71--82", month = mar, year = "1977", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic); C4230B (Combinatorial switching theory)", corpsource = "Computer Sci. Dept., New Mexico Inst. of Mining and Technol., Socorro, NM, USA", keywords = "algebra; combinatorial circuits; hazards and race conditions; fuzzy algebra; hazard detection; combinational switching circuits", treatment = "T Theoretical or Mathematical", } @Article{Tanatsugu:1977:CSD, author = "K. Tanatsugu and S. Arikawa", title = "On characteristics sets and degrees of finite automata", journal = j-INT-J-COMPUT-INF-SCI, volume = "6", number = "1", pages = "83--93", month = mar, year = "1977", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4220 (Automata theory)", corpsource = "Dept. of Math., Kitakyushu Univ., Kitakyushu, Japan", keywords = "finite automata; characteristics sets; degrees; finite automata; converges", treatment = "T Theoretical or Mathematical", } @Article{Edmundson:1977:SIM, author = "H. P. Edmundson", title = "Statistical inference in mathematical and computational linguistics", journal = j-INT-J-COMPUT-INF-SCI, volume = "6", number = "2", pages = "95--129", month = jun, year = "1977", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4290 (Other computer theory)", corpsource = "Dept. of Computer Sci., Univ. of Maryland, College Park, MD, USA", keywords = "computational linguistics; computational linguistics; statistical linguistics; interdisciplinary studies", treatment = "T Theoretical or Mathematical", } @Article{Maruyama:1977:GPA, author = "K. Maruyama and D. T. Tang and S. K. Chang", title = "A general packing algorithm for multidimensional resource requirements", journal = j-INT-J-COMPUT-INF-SCI, volume = "6", number = "2", pages = "131--149", month = jun, year = "1977", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4240 (Programming and algorithm theory)", corpsource = "IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA", keywords = "operations research; storage allocation; packing algorithm; resource requirements; resource allocations; memory allocation; distributed computer system design; heuristic; algorithms", treatment = "T Theoretical or Mathematical", } @Article{Muzio:1977:POS, author = "J. C. Muzio", title = "A prefix operator for a switching algebra", journal = j-INT-J-COMPUT-INF-SCI, volume = "6", number = "2", pages = "151--163", month = jun, year = "1977", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4230B (Combinatorial switching theory)", corpsource = "Dept. of Computer Sci., Univ. of Manitoba, Winnipeg, Man., Canada", keywords = "Boolean algebra; combinatorial switching; prefix operator; switching algebra; NAND operator; Boolean algebra; operator; circuit manipulation; gate inputs", treatment = "T Theoretical or Mathematical", } @Article{Iscovici:1977:FAM, author = "S. Iscovici", title = "Field analysis: a mathematical method of analysis for information handling processes", journal = j-INT-J-COMPUT-INF-SCI, volume = "6", number = "2", pages = "165--178", month = jun, year = "1977", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4290 (Other computer theory)", corpsource = "Ministry of State for Urban Affairs, Ottawa, Ont., Canada", keywords = "computation theory; information handling processes; information processing; information fields; specification; documentation; design; field equations", treatment = "T Theoretical or Mathematical", } @Article{Minker:1977:NAE, author = "J. Minker", title = "A note on answer extraction in resolution-based systems", journal = j-INT-J-COMPUT-INF-SCI, volume = "6", number = "3", pages = "179--192", month = sep, year = "1977", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C1230 (Artificial intelligence); C4240 (Programming and algorithm theory)", corpsource = "Dept. of Computer Sci., Univ. of Maryland, College Park, MD, USA", keywords = "artificial intelligence; programming theory; answer extraction; proof graph; tautologies; Luckham Nilsson algorithm; resolution based systems", treatment = "G General Review", } @Article{Koch:1977:ISD, author = "H. S. Koch", title = "Information system design for real-time multiprocessing systems", journal = j-INT-J-COMPUT-INF-SCI, volume = "6", number = "3", pages = "193--209", month = sep, year = "1977", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4240 (Programming and algorithm theory); C6110 (Systems analysis and programming); C6150J (Operating systems)", corpsource = "Dept. of Computer and Information Sci., Ohio State Univ., Columbus, OH, USA", keywords = "multiprocessing programs; systems analysis; multiprocessing systems; multiprocessing; information systems; system design; real time multiprocessing", treatment = "A Application; T Theoretical or Mathematical", } @Article{Ting:1977:CHT, author = "T. C. Ting", title = "Compacting homogeneous text for minimizing storage space", journal = j-INT-J-COMPUT-INF-SCI, volume = "6", number = "3", pages = "211--221", month = sep, year = "1977", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6130 (Data handling techniques)", corpsource = "School of Information and Computer Sci., Georgia Inst. of Technol., Atlanta, GA, USA", keywords = "data compression; decoding; encoding; storage allocation; text editing; homogeneous text; storage space; numerical coding method; storage; text information; encoding; decoding; text compaction", treatment = "G General Review", } @Article{Aalto:1977:DNU, author = "S. Aalto and E. Schuegraf", title = "Determination of the number of unambiguous bit matrices", journal = j-INT-J-COMPUT-INF-SCI, volume = "6", number = "3", pages = "223--235", month = sep, year = "1977", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C1110 (Algebra); C6130 (Data handling techniques)", corpsource = "Dept. of Math., St. Francis Xavier Univ., Antigonish, NS, Canada", keywords = "data handling; matrix algebra; storage allocation; unambiguous bit matrices; bit matrices; binary matrix; binary matrix compression", treatment = "G General Review; T Theoretical or Mathematical", } @Article{Bouckaert:1977:CDG, author = "A. Bouckaert", title = "Computer diagnosis of goiters. {V}. The input", journal = j-INT-J-COMPUT-INF-SCI, volume = "6", number = "3", pages = "237--261", month = sep, year = "1977", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C7330 (Biology and medical computing)", corpsource = "Dept. of Physiopathology, Faculty of Medicine, Kinshasa, Zaire", keywords = "error analysis; medical diagnostic computing; goiters; differential diagnosis; observation errors; recognition method; diagnostic accuracy; classification errors; computer diagnosis; thyroid pathology", treatment = "A Application; G General Review", } @Article{Hamlet:1977:ETP, author = "R. G. Hamlet", title = "Execution traces and programming-language semantics", journal = j-INT-J-COMPUT-INF-SCI, volume = "6", number = "4", pages = "263--278", month = dec, year = "1977", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic); C4220 (Automata theory)", corpsource = "Dept. of Computer Sci., Univ. of Maryland, College Park, MD, USA", keywords = "computability and decidability; formal languages; Turing machines; traces; trace languages; Turing machine; trace languages", treatment = "T Theoretical or Mathematical", } @Article{Thesen:1977:PAC, author = "A. Thesen and T. Pinkerton", title = "Predicting the availability of contiguous memory", journal = j-INT-J-COMPUT-INF-SCI, volume = "6", number = "4", pages = "279--287", month = dec, year = "1977", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4240 (Programming and algorithm theory); C6120 (File organisation)", corpsource = "Dept. of Industrial Engng., Univ. of Wisconsin, Madison, WI, USA", keywords = "storage allocation; storage management; contiguous memory; memory allocation; fragmentation; garbage collection; simulation model; probability distributions; memory", treatment = "T Theoretical or Mathematical", } @Article{DiasVelasco:1977:AFL, author = "F. R. {Dias Velasco} and C. {de Renna e Souza}", title = "An application of formal linguistics to scene recognition", journal = j-INT-J-COMPUT-INF-SCI, volume = "6", number = "4", pages = "289--306", month = dec, year = "1977", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "B6140C (Optical information, image and video signal processing); C1250 (Pattern recognition); C4210 (Formal logic)", corpsource = "Computer and Information Sci., Space Res. Inst. (INPE), Sao Jose dos Campos, Sao Paulo, Brazil", keywords = "computational linguistics; grammars; pattern recognition; picture processing; formal linguistics; scene recognition; scene description; syntactical recognition; grammars; parsing", treatment = "T Theoretical or Mathematical", } @Article{Dasarathy:1977:FFE, author = "B. V. Dasarathy", title = "{FEAST}: feature evaluation and selection technique for deployment in unsupervised nonparametric environments", journal = j-INT-J-COMPUT-INF-SCI, volume = "6", number = "4", pages = "307--315", month = dec, year = "1977", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "B6140C (Optical information, image and video signal processing); C1250 (Pattern recognition)", corpsource = "M and S Computing Inc., Huntsville, AL, USA", keywords = "pattern recognition; unsupervised nonparametric environments; feature selection; unsupervised learning; automaton model; clustering", treatment = "T Theoretical or Mathematical", } @Article{Srivastava:1977:GMQ, author = "H. M. Srivastava and H. B. Kekre and Y. N. Bapat", title = "{G/M/1} queue study of buffer behavior in the decoding system of computer communication", journal = j-INT-J-COMPUT-INF-SCI, volume = "6", number = "4", pages = "317--326", month = dec, year = "1977", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C1140C (Queueing theory); C1260 (Information theory); C5600 (Data communication equipment and techniques)", corpsource = "Computer Centre, Indian Inst. of Technol., Bombay, India", keywords = "data communication systems; decoding; multiplexing; queueing theory; queue study; computer communication; buffer behaviour; decoding; Huffman code; G/M/1 model; waiting time", treatment = "A Application; T Theoretical or Mathematical", } @Article{Moyne:1977:SDB, author = "J. A. Moyne", title = "{Simple-English} for data base communication", journal = j-INT-J-COMPUT-INF-SCI, volume = "6", number = "4", pages = "327--343", month = dec, year = "1977", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic); C6120 (File organisation); C6140D (High level languages)", corpsource = "Dept. of Computer Sci., Queens Coll., City Univ. of New York, Flushing, NY, USA", keywords = "database management systems; procedure oriented languages; data base communication; natural languages; artificial programming languages; simple English", treatment = "G General Review; T Theoretical or Mathematical", } @Article{Salomon:1978:SGG, author = "K. B. Salomon", title = "String and graph grammar characterizations of bounded regular languages", journal = j-INT-J-COMPUT-INF-SCI, volume = "7", number = "1", pages = "1--10", month = mar, year = "1978", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic)", corpsource = "Dept. of Math., California State Univ., Hayward, CA, USA", keywords = "formal languages; grammars; bounded regular languages; graph grammars; string grammars; state graphs; uniquely recursive; grammar", treatment = "T Theoretical or Mathematical", } @Article{Berry:1978:TRRa, author = "D. M. Berry and L. M. Chirica and D. F. Martin and A. Sorkin and J. B. Johnson", title = "Time required for reference count management in retention block-structured languages. {I}", journal = j-INT-J-COMPUT-INF-SCI, volume = "7", number = "1", pages = "11--64", month = mar, year = "1978", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6110 (Systems analysis and programming); C6140 (Programming languages)", corpsource = "Computer Sci. Dept., Univ. of California, Los Angeles, CA, USA", keywords = "programming languages; structured programming; reference count management; lifetime stack model; deletion strategy; retention strategy; block structured languages", treatment = "T Theoretical or Mathematical", } @Article{Biermann:1978:AII, author = "A. W. Biermann", title = "Automatic insertion of indexing instructions in program synthesis", journal = j-INT-J-COMPUT-INF-SCI, volume = "7", number = "1", pages = "65--90", month = mar, year = "1978", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6110 (Systems analysis and programming); C6120 (File organisation)", corpsource = "Dept. of Computer Sci., Duke Univ., Durham, NC, USA", keywords = "automatic programming; data structures; interactive programming; indexing instructions; program synthesis; interactive programming; autoprogramming", treatment = "T Theoretical or Mathematical", } @Article{Berry:1978:TRRb, author = "D. M. Berry and L. M. Chirica and D. F. Martin and A. Sorkin and J. B. Johnston", title = "On the time required for reference count management in retention block-structured languages. {II}", journal = j-INT-J-COMPUT-INF-SCI, volume = "7", number = "2", pages = "91--119", month = jun, year = "1978", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6110 (Systems analysis and programming); C6140 (Programming languages)", corpsource = "Computer Sci. Dept., Univ. of California, Los Angeles, CA, USA", keywords = "programming languages; structured programming; reference count management; deletion strategy; lifetime checks; retention strategy; block structured languages; contour model; stack model", treatment = "T Theoretical or Mathematical", } @Article{Hofri:1978:GAM, author = "M. Hofri", title = "A generating-function analysis of multiprogramming queues", journal = j-INT-J-COMPUT-INF-SCI, volume = "7", number = "2", pages = "121--155", month = jun, year = "1978", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C1140C (Queueing theory); C1140Z (Other topics in statistics)C4150 (Nonlinear and functional equations); C6150J (Operating systems)", corpsource = "Computer Sci. Dept., Technion-Israel Inst. of Technol., Haifa, Israel", keywords = "functional equations; Markov processes; multiprogramming; queueing theory; multiprogramming queues; Markov chain; functional equation; probability generating functions", treatment = "T Theoretical or Mathematical", } @Article{Minsky:1978:OSA, author = "N. Minsky", title = "An operation-control scheme for authorization in computer systems", journal = j-INT-J-COMPUT-INF-SCI, volume = "7", number = "2", pages = "157--191", month = jun, year = "1978", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C0310 (EDP management); C6150J (Operating systems)", corpsource = "Dept. of Computer Sci., Rutgers Univ., New Brunswick, NJ, USA", keywords = "operating systems (computers); security of data; protection; operating systems; databases; access control; operation control; information systems; authorisation", treatment = "G General Review", } @Article{Hunter:1978:MPP, author = "D. W. Hunter and G. S. Shedler", title = "Multivariate point process models for response times in multiprogrammed systems", journal = j-INT-J-COMPUT-INF-SCI, volume = "7", number = "2", pages = "193--217", month = jun, year = "1978", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation); C6150J (Operating systems)", corpsource = "IBM T.J. Watson Res. Center, Yorktown Heights, NY, USA", keywords = "database management systems; multiprocessing systems; response times; multiprogrammed systems; multivariate point process models; R-process; workload characteristics; system performance predictions; database management systems", treatment = "T Theoretical or Mathematical", } @Article{Ellis:1978:ASA, author = "Clarence A. Ellis", title = "Analysis of some abstract measures of protection in computer systems", journal = j-INT-J-COMPUT-INF-SCI, volume = "7", number = "3", pages = "219--251", month = sep, year = "1978", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68B20", MRnumber = "80a:68025", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C4290 (Other computer theory); C5420 (Mainframes and minicomputers); C6130 (Data handling techniques)", corpsource = "Dept. of Electrical Engng. and Computer Sci., MIT, Cambridge, MA, USA", keywords = "multi-access systems; security of data; time-sharing systems; abstract measures of protection; computer systems; system cost; access mechanisms; security", treatment = "T Theoretical or Mathematical", } @Article{Dasarathy:1978:CCH, author = "B. V. Dasarathy and K. P. {Bharath Kumar}", title = "{CHITRA}: cognitive handprinted input-trained recursively analyzing system for recognition of alphanumeric characters", journal = j-INT-J-COMPUT-INF-SCI, volume = "7", number = "3", pages = "253--282", month = sep, year = "1978", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "B6140C (Optical information, image and video signal processing); C1250B (Character recognition); C5530 (Pattern recognition and computer vision equipment)", corpsource = "M and S Computing Inc., Huntsville, AL, USA", keywords = "character recognition; CHITRA; cognitive; handprinted; recognition of alphanumeric characters; recognition algorithm; multistage feature extractor", treatment = "T Theoretical or Mathematical", } @Article{Singh:1978:PAT, author = "Shanker Singh and Vijendra Pal Singh", title = "A probabilistic approach for testing large-scale integrated circuits", journal = j-INT-J-COMPUT-INF-SCI, volume = "7", number = "3", pages = "283--294", month = sep, year = "1978", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "94C05", MRnumber = "80a:94048", MRreviewer = "Ernest S. Kuh", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "B0170E (Production facilities and engineering); B2220 (Integrated circuits); C5210 (Logic design methods)", corpsource = "IBM Corp., East Fishkill, NY, USA", keywords = "integrated circuit testing; logic testing; probabilistic; integrated logic circuit chips; reliable screening test procedure; reference standard; circuit testing; LSI", treatment = "T Theoretical or Mathematical", } @Article{Chen:1978:SOS, author = "T. C. Chen and K. P. Eswaran and V. Y. Lum and C. Tung", title = "Simplified odd-even sort using multiple shift-register loops", journal = j-INT-J-COMPUT-INF-SCI, volume = "7", number = "3", pages = "295--314", month = sep, year = "1978", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C5320E (Storage on stationary magnetic media); C6120 (File organisation); C6130 (Data handling techniques)", corpsource = "IBM Res. Lab., San Jose, CA, USA", keywords = "magnetic film stores; sorting; storage management; sorting; bubbles; shift register; loops; parallel sorting; odd even sort", treatment = "T Theoretical or Mathematical", } @Article{Ibaraki:1978:DSB, author = "Toshihide Ibaraki", title = "Depth-$m$ search in branch-and-bound algorithms", journal = j-INT-J-COMPUT-INF-SCI, volume = "7", number = "4", pages = "315--343", month = dec, year = "1978", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "90C10 (68C05)", MRnumber = "80a:90098", MRreviewer = "Uwe Zimmermann", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C1180 (Optimisation techniques)", corpsource = "Dept. of Appl. Math. and Phys., Kyoto Univ., Kyoto, Japan", keywords = "optimisation; depth-m search; branch-and-bound algorithms; heuristic search; computational experiment; exact upper bound; memory space", treatment = "T Theoretical or Mathematical", } @Article{Sebesta:1978:PIG, author = "Robert W. Sebesta and Neil D. Jones", title = "Parsers for indexed grammars", journal = j-INT-J-COMPUT-INF-SCI, volume = "7", number = "4", pages = "345--359", month = dec, year = "1978", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68F25", MRnumber = "80b:68103", MRreviewer = "Anton Nijholt", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic)", corpsource = "State Univ. of New York, Oswego, NY, USA", keywords = "context-free grammars; context-free languages; context-sensitive languages; parsable indexed grammars; context free grammars; LL algorithms; linear time; context free languages; noncontextfree languages; flag strings; canonical systems; LR algorithms", treatment = "T Theoretical or Mathematical", } @Article{Berry:1978:TRG, author = "D. M. Berry and A. Sorkin", title = "Time required for garbage collection in retention block-structured languages", journal = j-INT-J-COMPUT-INF-SCI, volume = "7", number = "4", pages = "361--404", month = dec, year = "1978", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68B15", MRnumber = "80e:68043", MRreviewer = "A. N. Maslov", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation)", corpsource = "Computer Sci. Dept., Univ. of California, Los Angeles, CA, USA", keywords = "storage management; garbage collection; retention block structured languages; time requirements; recovering inaccessible storage; optimized", treatment = "T Theoretical or Mathematical", } @Article{Tou:1979:ZTB, author = "J. T. Tou", title = "Zoom-thresholding technique for boundary determination", journal = j-INT-J-COMPUT-INF-SCI, volume = "8", number = "1", pages = "3--8", month = feb, year = "1979", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "B6140C (Optical information, image and video signal processing); C1180 (Optimisation techniques); C1250 (Pattern recognition)", corpsource = "Center for Information Res., Univ. of Florida, Gainesville, FL, USA", keywords = "computerised picture processing; optimisation; boundary determination; automatic determination; image processing; optimal threshold; fuzzy boundary; optimization process; edge detection; zoom thresholding; lung tissues; picture processing; photomicrographs; pattern recognition", treatment = "G General Review", } @Article{Epstein:1979:STE, author = "H. I. Epstein and B. F. Caviness", title = "A structure theorem for the elementary functions and its application to the identity problem", journal = j-INT-J-COMPUT-INF-SCI, volume = "8", number = "1", pages = "9--37", month = feb, year = "1979", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "12H05 (68C05)", MRnumber = "80k:12032", MRreviewer = "Michael F. Singer", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C1110 (Algebra)", corpsource = "Dept. of Math., Boston Coll., Chestnut Hill, MA, USA", keywords = "algebra; structure theorem; elementary functions; identity problem; exponential functions; Risch; symbolic mathematical computation; canonical form; elementary transcendental functions; logarithmic functions; regular form; trigonometric functions; hyperbolic functions; algebraic independence; differential algebra; Liouville fields", treatment = "T Theoretical or Mathematical", } @Article{Gotlieb:1979:DSB, author = "C. C. Gotlieb and A. L. Furtado", title = "Data schemata based on directed graphs", journal = j-INT-J-COMPUT-INF-SCI, volume = "8", number = "1", pages = "39--73", month = feb, year = "1979", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C1160 (Combinatorial mathematics); C4210 (Formal logic); C6120 (File organisation)", corpsource = "Dept. of Computer Sci., Univ. of Toronto, Toronto, Ont., Canada", keywords = "data structures; directed graphs; grammars; directed graphs; data structures; RLDs; grammars; languages; data definition; data manipulation; database systems; CODASYL", treatment = "T Theoretical or Mathematical", } @Article{Dasarathy:1979:LUV, author = "B. V. Dasarathy and A. L. Lakshminarasimhan", title = "Learning under a {VEDIC} teacher (pattern recognition)", journal = j-INT-J-COMPUT-INF-SCI, volume = "8", number = "1", pages = "75--88", month = feb, year = "1979", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "B6140C (Optical information, image and video signal processing); C1240 (Adaptive system theory); C1250 (Pattern recognition)", corpsource = "M and S Computing Inc., Huntsville, AL, USA", keywords = "learning systems; pattern recognition; VEDIC teacher; parametric learning; vicissitudinous teacher; simulation results; supervision; pattern recognition; vicissitudinous environment defining; imperfectly counseling", treatment = "T Theoretical or Mathematical", } @Article{Maryanski:1979:PSS, author = "Fred J. Maryanski and Michael G. Thomason", title = "Properties of stochastic syntax-directed translation schemata", journal = j-INT-J-COMPUT-INF-SCI, volume = "8", number = "2", pages = "89--110", month = apr, year = "1979", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68F15 (68D25 94A15)", MRnumber = "80e:68209", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic)", corpsource = "Computer Sci. Dept., Kansas State Univ., Manhattan, KS, USA", keywords = "context-free grammars; context-free languages; language translation; Markov processes; translation schemata; stochastic mappings; context free languages; stochastic grammars; automata; stochastic pushdown transducer; Markov chains", treatment = "T Theoretical or Mathematical", } @Article{Ivakhnenko:1979:DMO, author = "A. G. Ivakhnenko", title = "Development of models of optimal complexity using self-organization theory", journal = j-INT-J-COMPUT-INF-SCI, volume = "8", number = "2", pages = "111--127", month = apr, year = "1979", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C1180 (Optimisation techniques); C7000 (Computer applications)", corpsource = "Acad. of Sci., Kiev, Ukrainian SSR, USSR", keywords = "digital simulation; optimisation; optimal complexity; polynomial; mathematical model; self organisation theory; digital simulation; prediction optimisation", treatment = "G General Review", } @Article{Schinnar:1979:GIS, author = "Arie P. Schinnar", title = "Generalized inverse solutions of multiattribute accounting problems", journal = j-INT-J-COMPUT-INF-SCI, volume = "8", number = "2", pages = "129--139", month = apr, year = "1979", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "92A15", MRnumber = "80g:92028", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C1290 (Applications of systems theory)", corpsource = "School of Public and Urban Policy, Univ. of Pennsylvania, Philadelphia, PA, USA", keywords = "information retrieval; operations research; multiattribute accounting problems; factorization; generalized inverse methods; computing; intersecting sets; information retrieval", treatment = "T Theoretical or Mathematical", } @Article{Cannon:1979:NCL, author = "Robert L. {Cannon, Jr.}", title = "Notes on canonical label languages", journal = j-INT-J-COMPUT-INF-SCI, volume = "8", number = "2", pages = "141--148", month = apr, year = "1979", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68F05", MRnumber = "80e:68182", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic)", corpsource = "Dept. of Math., Computer Sci. and Statistics, Univ. of South Carolina, Columbia, SC, USA", keywords = "formal languages; canonical label languages; label words; context free grammars; phrase structure grammar", treatment = "T Theoretical or Mathematical", } @Article{Vere:1979:CRP, author = "Steven A. Vere", title = "Composition of relational productions for plans and programs", journal = j-INT-J-COMPUT-INF-SCI, volume = "8", number = "2", pages = "149--179", month = apr, year = "1979", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68B10 (68B99)", MRnumber = "80e:68041", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C1230 (Artificial intelligence); C4240 (Programming and algorithm theory)", corpsource = "Dept. of Information Engng., Univ. of Illinois, Chicago, IL, USA", keywords = "artificial intelligence; programming theory; relational productions; mathematical model; information processing; computer programs; artificial intelligence plans; composition theorem; loop semantics; verification method; structured data; programming theory", treatment = "T Theoretical or Mathematical", } @Article{Edmundson:1979:NPC, author = "H. P. Edmundson and Immanuel I. Tung", title = "The notion of a probabilistic cellular acceptor", journal = j-INT-J-COMPUT-INF-SCI, volume = "8", number = "3", pages = "181--208", month = jun, year = "1979", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68D25 (68D20)", MRnumber = "80e:68146", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic); C4220 (Automata theory)", corpsource = "Dept. of Computer Sci., Univ. of Maryland, College Park, MD, USA", keywords = "finite automata; formal languages; probabilistic cellular acceptor; cellular automaton; probabilistic automaton; probabilistic bounded cellular acceptor; PBCA; languages", treatment = "T Theoretical or Mathematical", } @Article{Thayse:1979:EPP, author = "A. Thayse", title = "Encoding of parallel program schemata by vector addition systems", journal = j-INT-J-COMPUT-INF-SCI, volume = "8", number = "3", pages = "209--218", month = jun, year = "1979", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68B20", MRnumber = "80e:68064", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C5420 (Mainframes and minicomputers)", corpsource = "MBLE Res. Lab., Brussels, Belgium", keywords = "parallel processing; parallel program schemata; vector addition systems; encoding", treatment = "T Theoretical or Mathematical", } @Article{Shneiderman:1979:SSI, author = "B. Shneiderman and R. Mayer", title = "Syntactic\slash semantic interactions in programmer behavior: a model and experimental results", journal = j-INT-J-COMPUT-INF-SCI, volume = "8", number = "3", pages = "219--238", month = jun, year = "1979", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C0310 (EDP management); C6110 (Systems analysis and programming); C6150G (Diagnostic, testing, debugging and evaluating systems)", corpsource = "Dept. of Information Systems Management, Univ. of Maryland, College Park, MD, USA", keywords = "DP management; program debugging; programming; cognitive framework; composition; comprehension; debugging; modification; information processing model; syntactic knowledge; programmer behaviour; syntactic/semantic interactions", treatment = "T Theoretical or Mathematical", } @Article{Sheela:1979:ONA, author = "B. V. Sheela and B. V. Dasarathy", title = "{OPAL}: a new algorithm for optimal partitioning and learning in nonparametric unsupervised environments", journal = j-INT-J-COMPUT-INF-SCI, volume = "8", number = "3", pages = "239--253", month = jun, year = "1979", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "B6140C (Optical information, image and video signal processing); C1180 (Optimisation techniques); C1250 (Pattern recognition)", corpsource = "ISRO Satellite Center, Bangalore, India", keywords = "nonlinear programming; optimisation; pattern recognition; OPAL; algorithm; optimal partitioning and learning; nonparametric unsupervised environments; nonlinear programming; learning; clustering; intergroup; intragroup distinct scatters", treatment = "N New Development; T Theoretical or Mathematical", } @Article{Anisimov:1979:IS, author = "A. V. Anisimov and D. E. Knuth", title = "Inhomogeneous sorting", journal = j-INT-J-COMPUT-INF-SCI, volume = "8", number = "4", pages = "255--260", month = aug, year = "1979", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6130 (Data handling techniques)", corpsource = "Dept. of Cybernetics, Kiev State Univ., Kiev, Ukrainian SSR, USSR", keywords = "sorting; sorting; commute; lexicographically smallest; topological; inhomogeneous", treatment = "T Theoretical or Mathematical", } @Article{V:1979:IS, author = "A. V. An\=\i s\=\i mov and D. E. Knuth", title = "Inhomogeneous sorting", journal = j-INT-J-COMPUT-INF-SCI, volume = "8", number = "4", pages = "255--260", year = "1979", MRclass = "68E05", MRnumber = "80j:68049", MRreviewer = "R. J. McEliece", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, } @Article{Alter:1979:ESG, author = "Ronald Alter and Johnson M. Hart", title = "Enumerating syntactical graphs and lattices of derivations", journal = j-INT-J-COMPUT-INF-SCI, volume = "8", number = "4", pages = "261--277", month = aug, year = "1979", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68F05 (68C05 68E10)", MRnumber = "80g:68090", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic)", corpsource = "Dept. of Computer Sci., Univ. of Kentucky, Lexington, KY, USA", keywords = "grammars; graph theory; syntactical graphs; lattices of derivations; phrase structure grammars", treatment = "T Theoretical or Mathematical", } @Article{Al-Fedaghi:1979:AAC, author = "S. S. Al-Fedaghi and Y. H. Chin", title = "Algorithmic approach to the consecutive retrieval property", journal = j-INT-J-COMPUT-INF-SCI, volume = "8", number = "4", pages = "279--301", month = aug, year = "1979", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68H05 (68B15 68C05)", MRnumber = "80h:68079", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation)", corpsource = "Dept. of Electrical Engng. and Computer Sci., Northwestern Univ., Evanston, IL, USA", keywords = "file organisation; consecutive retrieval property; file organization; incidence matrix; data base design", treatment = "T Theoretical or Mathematical", } @Article{Tangwongsan:1979:ALR, author = "S. Tangwongsan and K. S. Fu", title = "An application of learning to robotic planning", journal = j-INT-J-COMPUT-INF-SCI, volume = "8", number = "4", pages = "303--333", month = aug, year = "1979", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C1230 (Artificial intelligence)", corpsource = "School of Electrical Engng., Purdue Univ., W.Lafayette, IN, USA", keywords = "learning systems; robots; learning; robotic planning; speed; supervised learning; analogy", treatment = "T Theoretical or Mathematical", } @Article{Culik:1979:DDT, author = "K. {Culik, II} and D. Wood", title = "Doubly deterministic tabled {OL} systems", journal = j-INT-J-COMPUT-INF-SCI, volume = "8", number = "4", pages = "335--347", month = aug, year = "1979", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68F05", MRnumber = "80k:68058", MRreviewer = "Juhani Karhum{\"a}ki", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic)", corpsource = "Dept. of Computer Sci., Univ. of Waterloo, Waterloo, Ont., Canada", keywords = "computability and decidability; grammars; tabled; OL systems; doubly deterministic; decidability; biological", treatment = "T Theoretical or Mathematical", } @Article{A:1979:NME, author = "Gyula A. Mag{\'o}", title = "A network of microprocessors to execute reduction languages. {I}", journal = j-INT-J-COMPUT-INF-SCI, volume = "8", number = "5", pages = "349--385", year = "1979", MRclass = "68F10", MRnumber = "80i:68065", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, } @Article{Mago:1979:NMEa, author = "G. A. Mago", title = "A network of microprocessors to execute reduction languages. {I}", journal = j-INT-J-COMPUT-INF-SCI, volume = "8", number = "5", pages = "349--385", month = oct, year = "1979", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C5220 (Computer architecture)", corpsource = "Dept. of Computer Sci., Univ. of North Carolina, Chapel Hill, NC, USA", keywords = "computer architecture; microprocessors; reduction languages; cellular processor; interconnected networks; unbounded parallelism; computer architecture", treatment = "P Practical", } @Article{Weyuker:1979:APS, author = "Elaine J. Weyuker", title = "The applicability of program schema results to programs", journal = j-INT-J-COMPUT-INF-SCI, volume = "8", number = "5", pages = "387--403", month = oct, year = "1979", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68B10 (03D80)", MRnumber = "81d:68026", MRreviewer = "H. J{\"u}rgensen", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C4240 (Programming and algorithm theory)", corpsource = "Dept. of Computer Sci., New York Univ., New York, NY, USA", keywords = "computability and decidability; optimisation; programming theory; program schema results; translatability; optimization; program testing", treatment = "T Theoretical or Mathematical", } @Article{Proskurowski:1979:MDC, author = "Andrzej Proskurowski", title = "Minimum dominating cycles in $2$-trees", journal = j-INT-J-COMPUT-INF-SCI, volume = "8", number = "5", pages = "405--417", month = oct, year = "1979", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68E10 (05C05)", MRnumber = "80m:68059", MRreviewer = "James R. Evans", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C1160 (Combinatorial mathematics)", corpsource = "Dept. of Computer Sci., Univ. of Oregon, Eugene, OR, USA", keywords = "trees (mathematics); linear time algorithm; minimum dominating cycles; recursive representation; directed trees; graphs; Z trees", treatment = "T Theoretical or Mathematical", } @Article{Stoutemyer:1979:CAC, author = "D. R. Stoutemyer", title = "Computer algebra for the calculus of variations, the maximum principle and automatic control", journal = j-INT-J-COMPUT-INF-SCI, volume = "8", number = "5", pages = "419--434", month = oct, year = "1979", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C1330 (Optimal control); C7420 (Control engineering computing)", corpsource = "Electrical Engng. Dept., Univ. of Hawaii, Honolulu, HI, USA", keywords = "automatic control; control engineering computing; optimal control; variational techniques; calculus of variations; maximum principle; automatic control; functional integrands; optimal control problem; Hamiltonian; control engineering computing", treatment = "T Theoretical or Mathematical", } @Article{Mago:1979:NMEb, author = "G. A. Mago", title = "A network of microprocessors to execute reduction languages. {II}", journal = j-INT-J-COMPUT-INF-SCI, volume = "8", number = "6", pages = "435--471", month = dec, year = "1979", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C5220 (Computer architecture)", corpsource = "Dept. of Computer Sci., Univ. of North Carolina, Chapel Hill, NC, USA", keywords = "computer architecture; computer networks; parallel processing; network; microprocessors; reduction languages; cellular processor; unbounded parallelism; user programs; computer architecture", treatment = "P Practical", } @Article{Koh:1979:FMS, author = "Hikyoo Koh and Henry Y. H. Chuang", title = "Finding a minimal set of base paths of a program", journal = j-INT-J-COMPUT-INF-SCI, volume = "8", number = "6", pages = "473--488", month = dec, year = "1979", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68B05 (68E10)", MRnumber = "81a:68012", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C4240 (Programming and algorithm theory)", corpsource = "Dept. of Computer Sci., Wichita State Univ., Wichita, KS, USA", keywords = "graph theory; programming theory; minimal set; base paths; program; program digraph; weighted loopfree graph; maximal cutset; eliminable arc; programming theory", treatment = "T Theoretical or Mathematical", } @Article{Kodratoff:1979:CFS, author = "Yves Kodratoff", title = "A class of functions synthesized from a finite number of examples and a {LISP} program scheme", journal = j-INT-J-COMPUT-INF-SCI, volume = "8", number = "6", pages = "489--521", month = dec, year = "1979", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68G10 (68B10)", MRnumber = "80i:68074", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C4240 (Programming and algorithm theory)", corpsource = "Inst. de Programmation, CNRS, Paris, France", keywords = "programming theory; functions; finite number of examples; LISP program scheme; pattern matching; programming theory", treatment = "T Theoretical or Mathematical", } @Article{Bochmann:1979:SEC, author = "Gregor V. Bochmann", title = "Semantic equivalence of covering attribute grammars", journal = j-INT-J-COMPUT-INF-SCI, volume = "8", number = "6", pages = "523--539", month = dec, year = "1979", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68F20", MRnumber = "81c:68070", MRreviewer = "Gianni Aguzzi", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic)", corpsource = "Dept. d'Informatique et de Recherche Operationnelle, Univ. de Montreal, Montreal, Que., Canada", keywords = "grammars; attribute grammars; equivalence; language specifications; language definition; program verification; language implementation; syntactic coverings", treatment = "T Theoretical or Mathematical", } @Article{Tou:1979:DDO, author = "Julius T. Tou", title = "{DYNOC}---a dynamic optimal cluster-seeking technique", journal = j-INT-J-COMPUT-INF-SCI, volume = "8", number = "6", pages = "541--547", month = dec, year = "1979", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68G10 (68C05)", MRnumber = "80k:68082", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "B6140C (Optical information, image and video signal processing); C1250 (Pattern recognition)", corpsource = "Center for Information Res., Univ. of Florida, Gainesville, FL, USA", keywords = "computerised pattern recognition; DYNOC; automatic clustering; multivariate data; performance index; optimal clusters; pattern recognition", treatment = "T Theoretical or Mathematical", } @Article{Tou:1980:AUG, author = "J. T. Tou", title = "An approach to understanding geometrical configurations by computer", journal = j-INT-J-COMPUT-INF-SCI, volume = "9", number = "1", pages = "1--13", month = feb, year = "1980", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6130 (Data handling techniques)", corpsource = "Center for Information Res., Univ. of Florida, Gainesville, FL, USA", keywords = "computerised pattern recognition; geometrical configurations; computer; topological transformations; computerised pattern recognition", treatment = "P Practical", } @Article{Stephenson:1980:MCB, author = "C. J. Stephenson", title = "A method for constructing binary search trees by making insertions at the root", journal = j-INT-J-COMPUT-INF-SCI, volume = "9", number = "1", pages = "15--29", month = feb, year = "1980", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6130 (Data handling techniques)", corpsource = "IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA", keywords = "sorting; trees (mathematics); binary search trees; insertions; sorting; symbol table", treatment = "P Practical", } @Article{Maibaum:1980:HOD, author = "T. S. E. Maibaum and Carlos J. Lucena", title = "Higher order data types", journal = j-INT-J-COMPUT-INF-SCI, volume = "9", number = "1", pages = "31--53", month = feb, year = "1980", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68B15 (68J10)", MRnumber = "81d:68034", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation)", corpsource = "Dept. of Computer Sci., Univ. of Waterloo, Waterloo, Ont., Canada", keywords = "data structures; abstract data type; functionality; query; update functions; data base; higher order data type; data structures", } @Article{Chen:1980:FCR, author = "Tsong Yueh Chen", title = "Formalization of correctness of recursive definitions", journal = j-INT-J-COMPUT-INF-SCI, volume = "9", number = "1", pages = "55--61", month = feb, year = "1980", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "03D20 (68B10 68C25)", MRnumber = "81g:03047", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C4240 (Programming and algorithm theory)", corpsource = "Computer Center, Univ. of Hong Kong, Hong Kong", keywords = "programming theory; correctness; recursive definitions; predicate calculus; least fixpoint semantics; programming theory", treatment = "T Theoretical or Mathematical", } @Article{Lemme:1980:AQA, author = "J. M. Lemme and J. R. Rice", title = "Adaptive quadrature algorithms for the {ILLIAC IV}", journal = j-INT-J-COMPUT-INF-SCI, volume = "9", number = "1", pages = "63--72", month = feb, year = "1980", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4160 (Numerical integration and differentiation); C4240 (Programming and algorithm theory)", corpsource = "Dept. of Computer Sci., Purdue Univ., Lafayette, IN, USA", keywords = "algorithm theory; integration; adaptive quadrature algorithms; ILLIAC IV; simulation tests; sequential processing; integration", treatment = "T Theoretical or Mathematical", } @Article{Shedler:1980:RSM, author = "G. S. Shedler", title = "Response-time simulation of multivariate point process models for multiprogrammed jobstreams", journal = j-INT-J-COMPUT-INF-SCI, volume = "9", number = "2", pages = "73--91", month = apr, year = "1980", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6150J (Operating systems)", corpsource = "IBM Res. Lab., San Jose, CA, USA", keywords = "multiprogramming; multivariable systems; multivariate point process models; multiprogrammed jobstreams; discrete random variables; interval estimates; job response times; autoregressive dependency structure; response time simulation", treatment = "A Application; T Theoretical or Mathematical", } @Article{Townley:1980:PAR, author = "Judy A. Townley", title = "A pragmatic approach to resolution-based theorem proving", journal = j-INT-J-COMPUT-INF-SCI, volume = "9", number = "2", pages = "93--116", month = apr, year = "1980", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68G15 (03B35)", MRnumber = "81d:68129", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C1230 (Artificial intelligence)", corpsource = "Center for Res. in Computing Technol., Harvard Univ., Cambridge, MA, USA", keywords = "system theory; theorem proving; pragmatic approach; resolution based theorem proving", treatment = "T Theoretical or Mathematical", } @Article{Yang:1980:AFD, author = "Chao Chih Yang and Charmane P. May", title = "Algorithms for finding directed graph isomorphisms by finite automata", journal = j-INT-J-COMPUT-INF-SCI, volume = "9", number = "2", pages = "117--140", month = apr, year = "1980", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68E10", MRnumber = "81g:68099", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C1160 (Combinatorial mathematics); C4220 (Automata theory)", corpsource = "Univ. of Alabama, Birmingham, AL, USA", keywords = "directed graphs; finite automata; directed graph; isomorphisms; finite automata; Moore machines", treatment = "T Theoretical or Mathematical", } @Article{Bernorio:1980:QDD, author = "M. Bernorio and M. Bertoni and A. Dabbene and M. Somalvico", title = "Querying databases with a domain-oriented natural language understanding system", journal = j-INT-J-COMPUT-INF-SCI, volume = "9", number = "2", pages = "141--159", month = apr, year = "1980", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C1230 (Artificial intelligence); C4210 (Formal logic)", corpsource = "Politecnico di Milano, Milan, Italy", keywords = "artificial intelligence; grammars; natural language understanding system; DONAU; artificial intelligence; semantic domain; robotics; querying databases; domain oriented system", treatment = "T Theoretical or Mathematical", } @Article{Cunha:1980:DSM, author = "P. R. F. Cunha and C. J. Lucena and T. S. E. Maibaum", title = "On the design and specification of message oriented programs", journal = j-INT-J-COMPUT-INF-SCI, volume = "9", number = "3", pages = "161--191", month = jun, year = "1980", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6110 (Systems analysis and programming); C6120 (File organisation)", corpsource = "Dept. of Computer Sci., Univ. of Waterloo, Waterloo, Ont., Canada", keywords = "data structures; program and system documentation; programming; message oriented programs; data structures; program specification; program implementation; high level language; abstract data type; module strength; module coupling; control structures", treatment = "P Practical", } @Article{Cohen:1980:INL, author = "J. Cohen and R. Stachel", title = "An interpreter for a nondeterministic language", journal = j-INT-J-COMPUT-INF-SCI, volume = "9", number = "3", pages = "193--217", month = jun, year = "1980", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6150C (Compilers, interpreters and other processors)", corpsource = "Phys. Dept., Brandeis Univ., Waltham, MA, USA", keywords = "program interpreters; interpreter; nondeterministic language; nucleus; computer; recursive procedures; primitive commands; recursive programming; PASCAL; top down description; problem solving", treatment = "P Practical", } @Article{Lee:1980:TAC, author = "D. T. Lee and B. J. Schachter", title = "Two algorithms for constructing a {Delaunay} triangulation", journal = j-INT-J-COMPUT-INF-SCI, volume = "9", number = "3", pages = "219--242", month = jun, year = "1980", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "52-04 (32B25 68K05)", MRnumber = "81m:52001", MRreviewer = "Wolfgang Boehm", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "B0250 (Combinatorial mathematics); C1160 (Combinatorial mathematics)", keywords = "topology; Delaunay triangulation; geometric properties; average case performance; divide and conquer; topology", treatment = "T Theoretical or Mathematical", } @Article{Dhamdhere:1980:CAS, author = "D. M. Dhamdhere and J. R. Isaac", title = "A composite algorithm for strength reduction and code movement optimization", journal = j-INT-J-COMPUT-INF-SCI, volume = "9", number = "3", pages = "243--273", month = jun, year = "1980", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6110 (Systems analysis and programming)", corpsource = "Computer Centre, Indian Inst. of Technol., Bombay, India", keywords = "programming; composite algorithm; strength reduction; code movement optimization; operator strength; subexpression elimination; loop invariant code; global program optimisation", treatment = "P Practical", } @Article{Tou:1980:KE, author = "J. T. Tou", title = "Knowledge Engineering", journal = j-INT-J-COMPUT-INF-SCI, volume = "9", number = "4", pages = "275--285", month = aug, year = "1980", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C7250L (Non-bibliographic retrieval systems)", corpsource = "Center for Information Res., Univ. of Florida, Gainesville, FL, USA", keywords = "information retrieval; information retrieval; information processing; automated knowledge transfer; MEDIKS; decision support system; knowledge engineering", treatment = "A Application", } @Article{Arora:1980:WDM, author = "S. K. Arora and K. C. Smith", title = "{WCRL}: a data model independent language for database systems", journal = j-INT-J-COMPUT-INF-SCI, volume = "9", number = "4", pages = "287--305", month = aug, year = "1980", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6140E (Other programming languages); C6160B (Distributed databases)", corpsource = "Dept. of Electrical and Computer Engng., McMaster Univ., Hamilton, Ont., Canada", keywords = "database management systems; distributed processing; programming languages; WCRL; data model independent language; database systems; database systems; distributed database system; data restructuring", treatment = "A Application", } @Article{Hart:1980:FRB, author = "Johnson M. Hart", title = "Fast recognition of {Baxter} permutations using syntactical and complete bipartite composite dag's", journal = j-INT-J-COMPUT-INF-SCI, volume = "9", number = "4", pages = "307--321", month = aug, year = "1980", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68E10 (05C20)", MRnumber = "81m:68054", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C1160 (Combinatorial mathematics); C4210 (Formal logic)", corpsource = "Dept. of Computer Sci., Univ. of Kentucky, Lexington, KY, USA", keywords = "formal languages; graph theory; Baxter permutations; complete bipartite composite dag; digraphs; syntactical graphs; language theory; fast recognition", treatment = "A Application; T Theoretical or Mathematical", } @Article{Bezdek:1980:SPC, author = "James C. Bezdek and Michael P. Windham and Robert Ehrlich", title = "Statistical parameters of cluster validity functionals", journal = j-INT-J-COMPUT-INF-SCI, volume = "9", number = "4", pages = "323--336", month = aug, year = "1980", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68G10 (03E72 62H30 92A05 92A27)", MRnumber = "82a:68166", MRreviewer = "Abraham Kandel", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "B6140C (Optical information, image and video signal processing); C1140Z (Other topics in statistics); C1160 (Combinatorial mathematics); C1250 (Pattern recognition)", corpsource = "Math. Dept., Utah State Univ., Logan, UT, USA", keywords = "fuzzy set theory; pattern recognition; statistical analysis; cluster validity functionals; mean; variance; classification entropy; partition coefficients; fuzzy c-partitions; finite data sets; monotonicity; statistical tests", treatment = "T Theoretical or Mathematical", } @Article{Cutler:1980:UPI, author = "Robert B. Cutler and Saburo Muroga", title = "Useless prime implicants of incompletely specified multiple-output switching functions", journal = j-INT-J-COMPUT-INF-SCI, volume = "9", number = "4", pages = "337--350", month = aug, year = "1980", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "94C10", MRnumber = "81m:94031", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C4230 (Switching theory)", corpsource = "Dept. of Computer Sci., Univ. of Illinois, Urbana, IL, USA", keywords = "switching functions; prime implicants; multiple-output switching functions; minimal sum representation", treatment = "T Theoretical or Mathematical", } @Article{Putkonen:1980:OMO, author = "Anne Putkonen", title = "The order of merging operations for queries in inverted file systems", journal = j-INT-J-COMPUT-INF-SCI, volume = "9", number = "5", pages = "351--369", month = oct, year = "1980", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68H05", MRnumber = "82b:68085", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation)", corpsource = "Dept. of Computer Sci., Univ. of Turku, Turku, Finland", keywords = "file organisation; information retrieval; merging operations; queries; inverted file systems; Boolean expressions; address lists; search logic; CPU time; heuristic algorithm; intersections", treatment = "A Application; T Theoretical or Mathematical", } @Article{Veloso:1980:CRP, author = "Paulo A. S. Veloso", title = "Characterizations for the regular prefix codes and related families", journal = j-INT-J-COMPUT-INF-SCI, volume = "9", number = "5", pages = "371--382", month = oct, year = "1980", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68F05 (94B45)", MRnumber = "83e:68121", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic); C4220 (Automata theory)", corpsource = "Dept. de Informatica, Pontificia Univ. Catolica, Rio de Janeiro, Brazil", keywords = "finite automata; formal languages; regular prefix codes; related families; regular languages; finite automata", treatment = "A Application; T Theoretical or Mathematical", } @Article{Maekawa:1980:CPC, author = "M. Maekawa", title = "A classification of process coordination schemes in descriptive power", journal = j-INT-J-COMPUT-INF-SCI, volume = "9", number = "5", pages = "383--406", month = oct, year = "1980", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6110 (Systems analysis and programming); C6150J (Operating systems)", corpsource = "Dept. of Information Sci., Univ. of Tokyo, Tokyo, Japan", keywords = "operating systems (computers); systems analysis; classification; process coordination schemes; descriptive power; operating system; designers; process synchronization; mutual exclusions; logical conditions; multiplexing; deadlock prevention; event occurrences", treatment = "A Application", } @Article{Ng:1980:DIS, author = "Peter A. Ng and Lun Tsai", title = "The design and implementation of a scheme for large ordered indices", journal = j-INT-J-COMPUT-INF-SCI, volume = "9", number = "5", pages = "407--434", month = oct, year = "1980", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68B15 (68H05)", MRnumber = "82b:68016", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic); C6120 (File organisation); C6130 (Data handling techniques)", corpsource = "Dept. of Computer Sci., Univ. of Missouri, Columbia, MO, USA", keywords = "codes; file organisation; trees (mathematics); design; large ordered indices; keys; storage space; storage structure design; key redundancy; interruption; key compression; hierarchical tree structure; indexed sequential files", treatment = "A Application", } @Article{Dujmovic:1980:CSC, author = "J. J. Dujmovic", title = "Computer selection and criteria for computer performance evaluation", journal = j-INT-J-COMPUT-INF-SCI, volume = "9", number = "6", pages = "435--458", month = dec, year = "1980", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C5420 (Mainframes and minicomputers)", corpsource = "Dept. of Computer and Information Sci., Univ. of Florida, Gainesville, FL, USA", keywords = "computer selection and evaluation; computer performance evaluation; comparison; selection; decision process; worth indicators; synthetic benchmark programs; monoprogramming; multiprogramming", treatment = "A Application", } @Article{Moyne:1980:LUP, author = "J. A. Moyne", title = "Language use: a performance model", journal = j-INT-J-COMPUT-INF-SCI, volume = "9", number = "6", pages = "459--481", month = dec, year = "1980", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C1230 (Artificial intelligence)", corpsource = "Dept. of Computer Sci., Queens Coll., City Univ. of New York, New York, NY, USA", keywords = "artificial intelligence; linguistics; language use; performance; language understanding; human language comprehension; artificial intelligence models", treatment = "A Application; T Theoretical or Mathematical", } @Article{Charnes:1980:CCS, author = "A. Charnes and W. W. Cooper and S. Duffuaa and M. Kress", title = "Complexity and computability of solutions to linear programming systems", journal = j-INT-J-COMPUT-INF-SCI, volume = "9", number = "6", pages = "483--506", month = dec, year = "1980", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "90C05", MRnumber = "83e:90082", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C1180 (Optimisation techniques); C4210 (Formal logic); C4240 (Programming and algorithm theory)", corpsource = "Univ. of Texas, Austin, TX, USA", keywords = "computability and decidability; computational complexity; linear programming; computability; linear programming systems; complexity; polynomial; interval programming", treatment = "T Theoretical or Mathematical", } @Article{Boyles:1981:EAT, author = "Stephanie M. Boyles and Gerhard X. Ritter", title = "The encoding of arbitrary two-dimensional geometric configurations", journal = j-INT-J-COMPUT-INF-SCI, volume = "10", number = "1", pages = "1--25", month = feb, year = "1981", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "52-04 (51-04 68K05)", MRnumber = "83a:52001", MRreviewer = "S. Amarel", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "B6120B (Codes); C1260 (Information theory); C6130 (Data handling techniques)", corpsource = "Center for Information Res., Univ. of Florida, Gainesville, FL, USA", keywords = "encoding; topology; oriented simplexes; coherently oriented simplicial complexes; triangulation; simplicial sentence; two-dimensional geometric configurations; topology; encoding; octagonal chain encoding; arbitrary curves; computing equipment", treatment = "T Theoretical or Mathematical", } @Article{Huang:1981:NTW, author = "C. H. Huang and F. J. Taylor", title = "A new technique for {WFTA} input\slash output reordering", journal = j-INT-J-COMPUT-INF-SCI, volume = "10", number = "1", pages = "27--37", month = feb, year = "1981", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C5230 (Digital arithmetic methods)", corpsource = "Lockheed Palo Alto Res. Lab., Lockheed Missiles and Space Co. Inc., Palo Alto, CA, USA", keywords = "digital arithmetic; fast Fourier transforms; number theoretic transform; residual arithmetic; Chinese remainder theorem; FFT; WFTA; input/output reordering; Winograd Fourier transform algorithm; transform; multiplication count; base numbers; digital hardware; RNS", treatment = "T Theoretical or Mathematical", } @Article{DiSanto:1981:EIR, author = "M. {Di Santo} and L. Nigro and W. Russo", title = "On the efficient implementation of retention block-structured languages", journal = j-INT-J-COMPUT-INF-SCI, volume = "10", number = "1", pages = "39--54", month = feb, year = "1981", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6150J (Operating systems)", corpsource = "Dipartimento Elettrico, Univ. della Calabria, Cosenza, Italy", keywords = "storage management; retention block-structured languages; deletion-retention contour machine; DRCM; retention strategy; garbage compaction algorithm; garbage collector; deletion strategy; LWS program; stack machine; lifetime checks; dangling references; nonlocal gotos", treatment = "P Practical", } @Article{Farley:1981:PTM, author = "Arthur Farley and Stephen Hedetniemi and Andrzej Proskurowski", title = "Partitioning trees: matching, domination, and maximum diameter", journal = j-INT-J-COMPUT-INF-SCI, volume = "10", number = "1", pages = "55--61", month = feb, year = "1981", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68C05 (05C05 05C70 68E10)", MRnumber = "83a:68033", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "B0250 (Combinatorial mathematics); C1160 (Combinatorial mathematics)", corpsource = "Dept. of Computer and Information Sci., Univ. of Oregon, Eugene, OR, USA", keywords = "graph theory; partitioning trees; matching; domination; maximum diameter; diameter-bounded subtree; associate partitions; NP-complete", treatment = "T Theoretical or Mathematical", } @Article{Kobayashi:1981:EQB, author = "I. Kobayashi", title = "Evaluation of queries based on the extended relational calculi", journal = j-INT-J-COMPUT-INF-SCI, volume = "10", number = "2", pages = "63--103", month = apr, year = "1981", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C1180 (Optimisation techniques); C6160D (Relational databases); C7250 (Information storage and retrieval)", corpsource = "SANNO Inst. of Business Administration, Kanagawa, Japan", keywords = "calculus; database management systems; information retrieval; optimisation; queries; extended relational calculi; database search algorithm; logical function; target list; sequential collation; optimization", treatment = "A Application; T Theoretical or Mathematical", } @Article{Jappinen:1981:SFR, author = "H. Jappinen", title = "Sense-controlled flexible robot behavior", journal = j-INT-J-COMPUT-INF-SCI, volume = "10", number = "2", pages = "105--125", month = apr, year = "1981", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C1230 (Artificial intelligence); C3355 (Control applications in manufacturing processes)", corpsource = "Digital Systems Lab., Helsinki Univ. of Technol., Espoo, Finland", keywords = "artificial intelligence; industrial robots; robots; sense-controlled robot; industrial robots; flexible robot behavior; artificial intelligence; skills; human teacher; advice-taking mode; execution mode", treatment = "A Application", } @Article{Proskurowski:1981:MDC, author = "Andrzej Proskurowski and Maciej M. Sys{\l}o", title = "Minimum dominating cycles in outerplanar graphs", journal = j-INT-J-COMPUT-INF-SCI, volume = "10", number = "2", pages = "127--139", month = apr, year = "1981", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "05C38 (05C10 68C25)", MRnumber = "83b:05083", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C1160 (Combinatorial mathematics)", corpsource = "Dept. of Computer and Information Sci., Univ. of Oregon, Eugene, OR, USA", keywords = "graph theory; dominating cycles; outerplanar graphs; minimum size; planar graphs; plane embedding", treatment = "T Theoretical or Mathematical", } @Article{Yager:1981:ARP, author = "Ronald R. Yager", title = "Approximate reasoning and possibilistic models in classification", journal = j-INT-J-COMPUT-INF-SCI, volume = "10", number = "2", pages = "141--175", month = apr, year = "1981", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68G10", MRnumber = "83b:68096", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C1140Z (Other topics in statistics); C1160 (Combinatorial mathematics)", corpsource = "Machine Intelligence Inst., Iona Coll., New Rochelle, NY, USA", keywords = "fuzzy set theory; probability; possibilistic models; classification; approximate reasoning; fuzzy sets", treatment = "T Theoretical or Mathematical", } @Article{Leipala:1981:DOI, author = "T. Leipala", title = "On the design of one-level indexed sequential files", journal = j-INT-J-COMPUT-INF-SCI, volume = "10", number = "3", pages = "177--186", month = jun, year = "1981", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6110 (Systems analysis and programming); C6120 (File organisation)", keywords = "file organisation; probability; systems analysis; indexed sequential files; optimal design; one-level indexed sequential files; probabilities; records; continuous approximation", treatment = "A Application; T Theoretical or Mathematical", } @Article{Arora:1981:GID, author = "Sudhir K. Arora and K. C. Smith", title = "A graphical interpretation of dependency structures in relational data bases", journal = j-INT-J-COMPUT-INF-SCI, volume = "10", number = "3", pages = "187--213", month = jun, year = "1981", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68H05 (68B15)", MRnumber = "83i:68145", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C1160 (Combinatorial mathematics); C6120 (File organisation); C6160D (Relational databases)", keywords = "data structures; database management systems; graph theory; graphical interpretation; dependency structures; relational data bases; semantic situations; graph theory; S-diagram; automatic constraint checking; damaged data base", treatment = "A Application; T Theoretical or Mathematical", } @Article{Lewis:1981:STM, author = "F. D. Lewis", title = "Stateless {Turing} machines and fixed points", journal = j-INT-J-COMPUT-INF-SCI, volume = "10", number = "3", pages = "215--218", month = jun, year = "1981", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "03D10 (03D15 68C40)", MRnumber = "84a:03042", MRreviewer = "Andreas Brandst{\"a}dt", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C4220 (Automata theory); C4240 (Programming and algorithm theory)", keywords = "computational complexity; iterative methods; Turing machines; fixed points; iteration theorem; subelementary; stateless Turing machines; recursion theorems; subrecursively; computational complexity", treatment = "A Application; T Theoretical or Mathematical", } @Article{Sarda:1981:CAD, author = "N. L. Sarda and J. R. Isaac", title = "Computer aided design of database internal schema", journal = j-INT-J-COMPUT-INF-SCI, volume = "10", number = "4", pages = "219--234", month = aug, year = "1981", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6110 (Systems analysis and programming); C6120 (File organisation); C6160 (Database management systems (DBMS)); C7430 (Computer engineering)", corpsource = "Computer Centre, Indian Inst. of Technol., Bombay, India", keywords = "data structures; database management systems; systems analysis; virtual machines; computer aided design; data structures; database internal schema; design; database systems", treatment = "P Practical", } @Article{Arora:1981:GNF, author = "S. K. Arora and K. C. Smith", title = "Graphical normal forms based on root dependencies in relational data base systems", journal = j-INT-J-COMPUT-INF-SCI, volume = "10", number = "4", pages = "235--259", month = aug, year = "1981", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6110 (Systems analysis and programming); C6160D (Relational databases)", corpsource = "Dept. of Electrical and Computer Engng., Wayne State Univ., Detroit, MI, USA", keywords = "database management systems; systems analysis; graphical normal forms; root dependencies; relational data base systems; dependencies; normal forms; hypergraphs; S-diagrams", treatment = "P Practical", } @Article{Arora:1981:TN, author = "S. K. Arora and S. R. Dumpala", title = "Theta-join and normalization", journal = j-INT-J-COMPUT-INF-SCI, volume = "10", number = "4", pages = "261--281", month = aug, year = "1981", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6110 (Systems analysis and programming); C6160D (Relational databases)", corpsource = "Dept. of Electrical and Computer Engng., Wayne State Univ., Detroit, MI, USA", keywords = "database management systems; systems analysis; normalization; dependency theory; logical design; relational data bases; union; splitting; theta-join", treatment = "P Practical", } @Article{Guida:1981:EPS, author = "G. Guida", title = "An effective preprocessor for structured {FORTRAN}: the {HENTRAN} system", journal = j-INT-J-COMPUT-INF-SCI, volume = "10", number = "4", pages = "283--297", month = aug, year = "1981", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6110 (Systems analysis and programming); C6140D (High level languages); C6150C (Compilers, interpreters and other processors)", corpsource = "Milan Polytech. Artificial Intelligence Project, Milan, Italy", keywords = "high level languages; program interpreters; program processors; structured programming; preprocessor; structured FORTRAN; HENTRAN; structured programming; translator; reliability; portability; efficiency", treatment = "P Practical", } @Article{dosSantos:1981:CMD, author = "C. S. {dos Santos} and T. S. E. Maibaum and A. L. Furtado", title = "Conceptual modeling of data base operations", journal = j-INT-J-COMPUT-INF-SCI, volume = "10", number = "5", pages = "299--314", month = oct, year = "1981", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4240 (Programming and algorithm theory); C6160 (Database management systems (DBMS))", corpsource = "Univ. Federal do Rio Grande do Sul, Porto Alegre, Brazil", keywords = "database management systems; programming theory; theorem proving; conceptual modelling; data base operations; predicate calculus; update; query; theorem proving", treatment = "P Practical; T Theoretical or Mathematical", } @Article{Bhargava:1981:OSI, author = "B. Bhargava and L. Lilien", title = "On optimal scheduling of integrity assertions in a transaction processing system", journal = j-INT-J-COMPUT-INF-SCI, volume = "10", number = "5", pages = "315--330", month = oct, year = "1981", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6160 (Database management systems (DBMS))", corpsource = "Dept. of Computer Sci., Univ. of Pittsburgh, Pittsburgh, PA, USA", keywords = "database management systems; scheduling; DBMS; optimal scheduling; integrity assertions; transaction processing system; predicates; database values; compile-time; run-time; post-execution validations", treatment = "P Practical; T Theoretical or Mathematical", } @Article{H:1981:CPL, author = "H. J{\"u}rgensen and D. E. Matthews and D. Wood", title = "Cut point languages of {Markov DTOL} systems", journal = j-INT-J-COMPUT-INF-SCI, volume = "10", number = "5", pages = "331--340", year = "1981", MRclass = "68F05 (68D22)", MRnumber = "83c:68094", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, } @Article{Jurgensen:1981:CPL, author = "H. Jurgensen and D. E. Matthews and D. Wood", title = "Cut point languages of {Markov DTOL} systems", journal = j-INT-J-COMPUT-INF-SCI, volume = "10", number = "5", pages = "331--340", month = oct, year = "1981", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C1140Z (Other topics in statistics); C4210 (Formal logic)", corpsource = "Inst. fur Theoretische Informatik, Tech. Hochschule Darmstadt, Darmstadt, West Germany", keywords = "formal languages; grammars; Markov processes; Markov DTOL languages; cut point; classification; DDTOL languages", treatment = "P Practical; T Theoretical or Mathematical", } @Article{Zaki:1981:MBM, author = "M. Zaki", title = "Magnetic bubble memory structures for relational database management systems", journal = j-INT-J-COMPUT-INF-SCI, volume = "10", number = "5", pages = "341--358", month = oct, year = "1981", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C5320E (Storage on stationary magnetic media); C6120 (File organisation); C6130 (Data handling techniques); C6160D (Relational databases)", corpsource = "Dept. of Electrical Engng., Univ. of Suez Canal, Port Said, Egypt", keywords = "data handling; data structures; database management systems; magnetic storage; relational database management systems; logical operations; records permutation; sorting; searching; magnetic bubble memory; loops", treatment = "P Practical", } @Article{Bhargava:1981:CAR, author = "B. Bhargava and C. Hua", title = "Cost analysis of recovery block scheme and its implementation issues", journal = j-INT-J-COMPUT-INF-SCI, volume = "10", number = "6", pages = "359--382", month = dec, year = "1981", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C0310F (Software development management); C6150G (Diagnostic, testing, debugging and evaluating systems)", corpsource = "Dept. of Computer Sci., Univ. of Pittsburgh, PA, USA", keywords = "software engineering; system recovery; software reliability; system failure and recovery; software engineering; recovery block scheme; cost analysis; selection criterion; software granularity; perfect acceptance tests; performance evaluation measures; cost-reliability index; cost of failure; real-time applications", treatment = "E Economic; P Practical", } @Article{Zaki:1981:QCH, author = "A. S. Zaki and J. L. Baer", title = "Query costs in {HB(1)} trees versus $2$-$3$ trees", journal = j-INT-J-COMPUT-INF-SCI, volume = "10", number = "6", pages = "383--395", month = dec, year = "1981", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation); C7250L (Non-bibliographic retrieval systems)", corpsource = "Coll. of William and Mary, Williamsburg, VA, USA", keywords = "data structures; information retrieval; trees (mathematics); query costs; information retrieval; HB(1) trees; 2-3 trees; random AVL trees; data structures; main storage; node visits; key comparisons", treatment = "P Practical", } @Article{Murty:1981:HCP, author = "M. N. Murty and G. Krishna", title = "A hybrid clustering procedure for concentric and chain-like clusters", journal = j-INT-J-COMPUT-INF-SCI, volume = "10", number = "6", pages = "397--412", month = dec, year = "1981", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6130 (Data handling techniques)", corpsource = "School of Automation, Indian Inst. of Sci., Bangalore, India", keywords = "data handling; partitioning; relabeling; representative samples; data handling; hybrid clustering procedure; chain-like clusters; nonhierarchical method; isotropic clusters; storage requirements; initial seed points; K-means algorithm; input data order; multilevel theory; concentric clusters", treatment = "P Practical", } @Article{Shapiro:1981:NLS, author = "Marvin Shapiro", title = "A note on {Lee} and {Schachter}'s algorithm for {Delaunay} triangulation", journal = j-INT-J-COMPUT-INF-SCI, volume = "10", number = "6", pages = "413--418", month = dec, year = "1981", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "52-04", MRnumber = "83k:52002", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "B0250 (Combinatorial mathematics); C1160 (Combinatorial mathematics)", corpsource = "Div. of Computer Res. and Technol., Nat. Inst. of Health, Bethesda, MD, USA", keywords = "graph theory; Voronoi tesselation; Dirichlet tesselation; graph theory; Delaunay triangulation; convex hull", treatment = "T Theoretical or Mathematical", } @Article{Tai:1982:ICC, author = "J. W. Tai and K. S. Fu", title = "Inference of a class of {CFPG} by means of semantic rules", journal = j-INT-J-COMPUT-INF-SCI, volume = "11", number = "1", pages = "1--23", month = feb, year = "1982", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68F05", MRnumber = "83g:68113", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic)", corpsource = "Inst. of Automation, Acad. of Sci., Beijing, China", keywords = "context-free grammars; control diagram; grammatical inference; CFPG; semantic rules; context-free programmed grammars; syntactic pattern recognition; binary tree; subtrees; semantic rules; maximum-likelihood estimate", treatment = "P Practical", } @Article{Giloi:1982:CRH, author = "W. K. Giloi and R. Gueth", title = "Concepts and realization of a high-performance data type architecture", journal = j-INT-J-COMPUT-INF-SCI, volume = "11", number = "1", pages = "25--54", month = feb, year = "1982", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C5220 (Computer architecture); C6120 (File organisation)", corpsource = "Fachbereich Informatik, Tech. Univ. of Berlin, Berlin, West Germany", keywords = "computer architecture; data structures; quality software; run time checking; high-performance data type architecture; data structures; abstract data types; structured machine data type; hardware structure; strongly coupled asymmetric multicomputer system; vector-structured basic machine data type; SIMD; fifth generation computer architecture", treatment = "P Practical", } @Article{Stout:1982:SEI, author = "Quentin F. Stout", title = "Searching and encoding for infinite ordered sets", journal = j-INT-J-COMPUT-INF-SCI, volume = "11", number = "1", pages = "55--72", month = feb, year = "1982", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68E05", MRnumber = "84i:68107", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation)", corpsource = "Math. Sci., State Univ. of New York, Binghamton, NY, USA", keywords = "table lookup; table lookup; encoding; infinite ordered sets; binary search algorithms; binary prefix encodings; search-related codes", treatment = "P Practical", } @Article{Thomason:1982:SST, author = "M. G. Thomason", title = "Syntactic\slash semantic techniques in pattern recognition: a survey", journal = j-INT-J-COMPUT-INF-SCI, volume = "11", number = "2", pages = "75--100", month = apr, year = "1982", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "B6140C (Optical information, image and video signal processing); C1250 (Pattern recognition)", corpsource = "Dept. of Computer Sci., Univ. of Tennessee, Knoxville, TN, USA", keywords = "pattern recognition; automata; formal languages; semantics; stochastic systems; syntax; pattern recognition; grammatical inferrence; probabilistic models; syntactic error-correction; grammars; attributes", } @Article{Hooper:1982:SS, author = "J. W. Hooper and K. D. Reilly", title = "Simulation strategies", journal = j-INT-J-COMPUT-INF-SCI, volume = "11", number = "2", pages = "101--122", month = apr, year = "1982", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6140D (High level languages); C7400 (Engineering computing)", corpsource = "Computer Sci. Dept., Univ. of Alabama, Huntsville, AL, USA", keywords = "digital simulation; simulation languages; simulation languages; Simulation strategies; time control procedure; timing management; next event selection; event scheduling; activity scanning; process interaction", treatment = "P Practical", } @Article{Alia:1982:SNF, author = "G. Alia and E. Martinelli", title = "On switching network functionalities and their relationships", journal = j-INT-J-COMPUT-INF-SCI, volume = "11", number = "2", pages = "123--138", month = apr, year = "1982", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4230 (Switching theory); C5220 (Computer architecture)", corpsource = "Istituto di Elaborazione dell'Informazione, CNR, Pisa, Italy", keywords = "computer architecture; switching functions; multiprocessor systems; resource allocation; switching network functionalities; telephone applications; circuit switching networks; computer architecture; inclusion; composition; specularity", treatment = "P Practical", } @Article{Remy:1982:CDT, author = "J.-L. R{\'e}my and P. A. S. Veloso", title = "Comparing data type specifications via their normal forms", journal = j-INT-J-COMPUT-INF-SCI, volume = "11", number = "3", pages = "141--153", month = jun, year = "1982", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68B15", MRnumber = "83m:68042", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation)", corpsource = "CRIN, Nancy, France", keywords = "data structures; data type specifications; normal forms; abstract data type; isomorphic initial algebras", treatment = "T Theoretical or Mathematical", } @Article{Ottman:1982:CID, author = "Th. Ottman and D. Wood", title = "A comparison of iterative and defined classes of search trees", journal = j-INT-J-COMPUT-INF-SCI, volume = "11", number = "3", pages = "155--178", year = "1982", MRclass = "68E05", MRnumber = "83m:68113", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, } @Article{Ottmann:1982:CID, author = "Th. Ottmann and D. Wood", title = "A comparison of iterative and defined classes of search trees", journal = j-INT-J-COMPUT-INF-SCI, volume = "11", number = "3", pages = "155--178", month = jun, year = "1982", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation)", keywords = "data structures; trees (mathematics); iterative; search trees; iteratively defined classes", treatment = "T Theoretical or Mathematical", xxauthor = "Th. Ottman and D. Wood", } @Article{Grant:1982:OES, author = "John Grant and Jack Minker", title = "On optimizing the evaluation of a set of expressions", journal = j-INT-J-COMPUT-INF-SCI, volume = "11", number = "3", pages = "179--191", month = jun, year = "1982", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68H05 (68C20)", MRnumber = "83m:68165", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic); C6160D (Relational databases)", corpsource = "Towson State Univ., Towson, MD, USA", keywords = "Boolean algebra; database management systems; optimisation; database queries; set of expressions; branch-and-bound type algorithm; relational expressions; heuristic information; Boolean optimization", treatment = "T Theoretical or Mathematical", } @Article{Brody:1982:PUA, author = "E. J. Brody", title = "A procedure for the unsupervised abduction of linguistic distributional classes in probabilistic languages", journal = j-INT-J-COMPUT-INF-SCI, volume = "11", number = "3", pages = "193--210", month = jun, year = "1982", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68F15 (68D27 68G05)", MRnumber = "83m:68148", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic); C4220 (Automata theory)", corpsource = "Dept. of Math. Engng. and Instrumentation Phys., Univ. of Tokyo, Tokyo, Japan", keywords = "computational linguistics; finite automata; formal languages; unsupervised abduction; linguistic distributional classes; probabilistic languages; word distributional equivalence; syntactic distributional classes; computational procedure", treatment = "T Theoretical or Mathematical", } @Article{Xu:1982:PSC, author = "Jian Hua Xu and Julius T. Tou", title = "Predictive searching for chain encoding by computers", journal = j-INT-J-COMPUT-INF-SCI, volume = "11", number = "4", pages = "213--229", month = aug, year = "1982", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68G10 (92A10)", MRnumber = "84b:68133", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C7410F (Communications computing)", corpsource = "Center for Information Res., Univ. of Florida, Gainesville, FL, USA", keywords = "computerised pattern recognition; computerised pattern recognition; chain encoding; computers; curve; predictive searching; optimal code direction; minimum mean-square-error; overlapping; crossing; touching; computer analysis; chromosomes", treatment = "P Practical", } @Article{Barnard:1982:HSE, author = "David T. Barnard and Richard C. Holt", title = "Hierarchic syntax error repair for {LR} grammars", journal = j-INT-J-COMPUT-INF-SCI, volume = "11", number = "4", pages = "231--258", month = aug, year = "1982", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68F25 (68B10)", MRnumber = "84b:68113", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic); C6150C (Compilers, interpreters and other processors)", corpsource = "Computer Systems Res. Group, Univ. of Toronto, Toronto, Ont., Canada", keywords = "grammars; program compilers; syntax error repair; LR grammars; compilers; hierarchic error repair; parser", treatment = "P Practical", } @Article{Voukalis:1982:RCO, author = "D. C. Voukalis", title = "Remarks concerning the optimization of matrix codes", journal = j-INT-J-COMPUT-INF-SCI, volume = "11", number = "4", pages = "259--273", month = aug, year = "1982", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "B6120B (Codes)", keywords = "error correction codes; parallelotope; parity check; optimization; matrix codes; systematic binary error correcting codes; digital channels", treatment = "T Theoretical or Mathematical", } @Article{Ras:1982:AAI, author = "Z. W. Ras", title = "An algebraic approach to information retrieval systems", journal = j-INT-J-COMPUT-INF-SCI, volume = "11", number = "4", pages = "275--293", month = aug, year = "1982", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C7250L (Non-bibliographic retrieval systems)", corpsource = "Dept. of Math., Univ. of North Carolina, Charlotte, NC, USA", keywords = "information retrieval systems; information retrieval systems; requests; objects; partially ordered set; Boolean algebra; retrieval methods; mathematical pictoriality", treatment = "P Practical", } @Article{W:1982:AAI, author = "Zbigniew W. Ra{\'s}", title = "An algebraic approach to information retrieval systems", journal = j-INT-J-COMPUT-INF-SCI, volume = "11", number = "4", pages = "275--293", year = "1982", MRclass = "68H05", MRnumber = "84b:68139", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, } @Article{Veloso:1982:MSA, author = "P. A. S. Veloso", title = "Methodical specification of abstract data types via rewriting systems", journal = j-INT-J-COMPUT-INF-SCI, volume = "11", number = "5", pages = "295--323", month = oct, year = "1982", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68B15", MRnumber = "84f:68020", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C6110 (Systems analysis and programming); C6120 (File organisation)", corpsource = "Dept. Informatica, Pontificia Univ. Catolica, Rio de Janeiro, Brazil", keywords = "data structures; programming; programming; data structures; abstract data types; rewriting systems; formal specification", treatment = "P Practical", } @Article{Chang:1982:FAD, author = "Shi Kuo Chang and An Chi Liu", title = "File allocation in a distributed database", journal = j-INT-J-COMPUT-INF-SCI, volume = "11", number = "5", pages = "325--340", month = oct, year = "1982", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68B15 (68H05 90B10)", MRnumber = "84f:68015", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation); C6160B (Distributed databases)", corpsource = "Dept. of Electrical Engng., Illinois Inst. of Technol., Chicago, IL, USA", keywords = "database management systems; distributed processing; file organisation; distributed database; file allocation problem; concurrency control cost; optimal solution; network flow problem", treatment = "P Practical", } @Article{Pawlak:1982:RS, author = "Zdzis{\l}aw Pawlak", title = "Rough sets", journal = j-INT-J-COMPUT-INF-SCI, volume = "11", number = "5", pages = "341--356", month = oct, year = "1982", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68G99 (03E72)", MRnumber = "84f:68077", bibdate = "Wed Nov 01 08:48:45 2000", acknowledgement = ack-nhfb, classification = "B0250 (Combinatorial mathematics); C1160 (Combinatorial mathematics)", corpsource = "Inst. of Computer Sci., Polish Acad. of Sci., Warsaw, Poland", keywords = "set theory; AI; classification; set theory; cluster analysis; learning algorithms; measurement theory; pattern recognition; approximate operations; sets; fuzzy sets theory; tolerance theory", treatment = "T Theoretical or Mathematical", } @Article{Hassen:1982:ESD, author = "J. V. Hassen and W. F. {Messier, Jr.}", title = "Expert systems for decision support in {EDP} auditing", journal = j-INT-J-COMPUT-INF-SCI, volume = "11", number = "5", pages = "357--379", month = oct, year = "1982", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C0310 (EDP management); C1230 (Artificial intelligence); C7190 (Other fields of business and administrative computing)", corpsource = "Brigham Young Univ., Provo, UT, USA", keywords = "artificial intelligence; DP management; management information systems; MIS; EDP management; decision support; EDP auditing; computer auditing; artificial intelligence; expert systems", treatment = "A Application", } @Article{Motzkin:1982:EES, author = "Dalia Motzkin and Christina L. Hansen", title = "An efficient external sorting with minimal space requirement", journal = j-INT-J-COMPUT-INF-SCI, volume = "11", number = "6", pages = "381--396", month = dec, year = "1982", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68P10", MRnumber = "703 945", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation)", corpsource = "Dept. of Computer Sci., Western Michigan Univ., Kalamazoo, MI, USA", keywords = "sorting; quicksort; external sorting; minimal space requirement; passes; disk space; internal storage", treatment = "P Practical", } @Article{Ewa:1982:RTI, author = "Ewa Or{\l}owska", title = "Representation of temporal information", journal = j-INT-J-COMPUT-INF-SCI, volume = "11", number = "6", pages = "397--408", year = "1982", MRclass = "03B45 (68Q60)", MRnumber = "85e:03046", MRreviewer = "Joseph Y. Halpern", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, } @Article{Orlowska:1982:RTI, author = "E. Orlowska", title = "Representation of temporal information", journal = j-INT-J-COMPUT-INF-SCI, volume = "11", number = "6", pages = "397--408", month = dec, year = "1982", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic); C6160 (Database management systems (DBMS))", corpsource = "Inst. of Computer Sci., Polish Acad. of Sci., Warszawa, Poland", keywords = "database management systems; formal languages; DBMS; temporal information; logic formalism; assertion; objects; Pawlak's information system", treatment = "P Practical", } @Article{Lee:1982:EAF, author = "Edward T. Lee", title = "An efficient algorithm for finding {Kleene} closure of regular expression matrices", journal = j-INT-J-COMPUT-INF-SCI, volume = "11", number = "6", pages = "409--415", month = dec, year = "1982", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68F10", MRnumber = "84i:68140", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "B6140C (Optical information, image and video signal processing); C1110 (Algebra); C1250 (Pattern recognition); C4220 (Automata theory)", corpsource = "Dept. of Math. Sci., Memphis State Univ., Memphis, TN, USA", keywords = "automata theory; matrix algebra; pattern recognition; efficient algorithm; Kleene closure; regular expression matrices; fuzzy regular expression matrices; automata theory; pattern recognition; pictorial information systems", treatment = "T Theoretical or Mathematical", } @Article{Lin:1982:CPT, author = "Wei Chung Lin and King Sun Fu", title = "Conversion and parsing of tree transducers for syntactic pattern analysis", journal = j-INT-J-COMPUT-INF-SCI, volume = "11", number = "6", pages = "417--458", month = dec, year = "1982", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68G10 (68F25)", MRnumber = "84i:68155", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "B6140C (Optical information, image and video signal processing); C1250 (Pattern recognition); C4210 (Formal logic); C4220 (Automata theory)", corpsource = "School of Electrical Engng., Purdue Univ., Lafayette, IN, USA", keywords = "automata theory; grammars; picture processing; picture processing; grammars; automata theory; parsing; tree transducers; syntactic pattern analysis; finite state transformation; top-down backtrack parsing algorithm; minimum distance structure-preserved error-correcting tree automaton; human motion", treatment = "T Theoretical or Mathematical", } @Article{Barrero:1983:RLT, author = "A. Barrero and M. G. Thomason and R. C. Gonzalez", title = "Regular-like tree expressions", journal = j-INT-J-COMPUT-INF-SCI, volume = "12", number = "1", pages = "1--11", year = "1983", MRclass = "68F05", MRnumber = "84m:68058", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, } @Article{Barrero:1983:RTE, author = "A. Barrero and M. G. Thomason and R. C. Gonzalez", title = "Regular-like tree expressions", journal = j-INT-J-COMPUT-INF-SCI, volume = "12", number = "1", pages = "1--121", month = feb, year = "1983", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C1160 (Combinatorial mathematics); C4210 (Formal logic)", corpsource = "Dept. of Electrical Engng., Univ. of Tennessee, Knoxville, TN, USA", keywords = "context-free languages; trees (mathematics); chemistry grammars; context-free languages; one-to-one correspondence; expansive tree languages; expansive tree grammar; regular-like tree; regularity-preserving transformations", treatment = "P Practical", } @Article{Zaki:1983:CST, author = "A. S. Zaki", title = "A comparative study of $2$-$3$ trees and {AVL} trees", journal = j-INT-J-COMPUT-INF-SCI, volume = "12", number = "1", pages = "13--33", month = feb, year = "1983", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation)", corpsource = "Coll. of William and Mary, Williamsburg, VA, USA", keywords = "data structures; trees (mathematics); query cost; storage cost; 2-3 trees; AVL trees; space complexity; top-down insertion; construction; data structure", treatment = "P Practical", } @Article{Hansen:1983:SME, author = "J. V. Hansen and W. F. {Messier, Jr.}", title = "Scheduling the monitoring of {EDP} controls in online systems", journal = j-INT-J-COMPUT-INF-SCI, volume = "12", number = "1", pages = "35--46", month = feb, year = "1983", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C0310B (Computer facilities); C7100 (Business and administration)", corpsource = "Brigham Young Univ., Provo, UT, USA", keywords = "administrative data processing; DP management; scheduling; ADP; EDP controls; online systems; internal control; financial reporting; operational effectiveness; computer applications; database management systems; distributed networks; online processing; audit modules; monitoring; systems design", treatment = "P Practical", } @Article{Srimani:1983:SWN, author = "P. K. Srimani and B. P. Sinha", title = "A simple way to near minimization of microprogram control memory", journal = j-INT-J-COMPUT-INF-SCI, volume = "12", number = "1", pages = "47--64", month = feb, year = "1983", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C5220 (Computer architecture); C6110 (Systems analysis and programming)", corpsource = "Indian Inst. of Management Calcutta, Calcutta, India", keywords = "microprogramming; feasible cost; maximal compatible class; minimization; microprogram control memory; microprogrammed digital computer; dynamic microprogramming; ROM; WCS minimization; reduction methodology", treatment = "P Practical", } @Article{Bradley:1983:AAR, author = "James Bradley", title = "Application of {SQL/N} to the attribute-relation associations implicit in functional dependencies", journal = j-INT-J-COMPUT-INF-SCI, volume = "12", number = "2", pages = "65--86", year = "1983", MRclass = "68B15 (68H05)", MRnumber = "84m:68011", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, } @Article{Bradley:1983:ASA, author = "J. Bradley", title = "Application of {SQL/N} to the attribute-relation associations implicit in functional dependencies", journal = j-INT-J-COMPUT-INF-SCI, volume = "12", number = "2", pages = "65--86", month = apr, year = "1983", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6140D (High level languages); C6160D (Relational databases); C7250 (Information storage and retrieval)", corpsource = "Univ. of Calgary, Alta., Canada", keywords = "database management systems; high level languages; information retrieval; retrieval language; DBMS; high level languages; SQL/N; attribute-relation associations; functional dependencies; expressive nonprocedural data base language; natural quantifiers", treatment = "P Practical", } @Article{Lee:1983:FCH, author = "D. T. Lee", title = "On finding the convex hull of a simple polygon", journal = j-INT-J-COMPUT-INF-SCI, volume = "12", number = "2", pages = "87--98", month = apr, year = "1983", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68U05 (52-04)", MRnumber = "85a:68169", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C1160 (Combinatorial mathematics); C4240 (Programming and algorithm theory)", corpsource = "Dept. of Electrical Engng. and Computer Sci., Northwestern Univ., Evanston, IL, USA", keywords = "algorithm theory; topology; computational geometry; topology; algorithm theory; convex hull; simple polygon; linear time algorithm; stack", treatment = "T Theoretical or Mathematical", } @Article{Badii:1983:AMP, author = "F. Badi'i and B. Peikari", title = "Approximation of multipath planar shapes in pattern analysis", journal = j-INT-J-COMPUT-INF-SCI, volume = "12", number = "2", pages = "99--110", month = apr, year = "1983", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "B6140C (Optical information, image and video signal processing); C1250 (Pattern recognition)", corpsource = "Southern Methodist Univ., Dallas, TX, USA", keywords = "function approximation; pattern recognition; edge detection; feature extraction; multipath planar shapes; pattern analysis; multipath approximation; two-dimensional images; functional approximation; multipath curves", treatment = "T Theoretical or Mathematical", } @Article{Hooper:1983:GCG, author = "J. W. Hooper and K. D. Reilly", title = "The {GPSS-GASP} combined ({GGC}) system", journal = j-INT-J-COMPUT-INF-SCI, volume = "12", number = "2", pages = "111--136", month = apr, year = "1983", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6140D (High level languages)", corpsource = "Computer Sci. Dept., Univ. of Alabama, Huntsville, AL, USA", keywords = "simulation languages; GPSS; GASP; discrete event simulation languages; GASP IV; SLAM; discrete event modeling; GGC", treatment = "P Practical", } @Article{Brody:1983:TFL, author = "E. J. Brody", title = "A topological formulation of linguistic typology", journal = j-INT-J-COMPUT-INF-SCI, volume = "12", number = "3", pages = "137--150", month = jun, year = "1983", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68Q45 (54H99 68S05)", MRnumber = "85a:68087", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic)", corpsource = "Dept. of Math. Engng. and Instrumentation Phys., Univ. of Tokyo, Tokyo, Japan", keywords = "formal languages; topological formulation; linguistic typology; formal languages; isomorphism; equivalence problem; continuous mappings; compacta; programming languages", treatment = "T Theoretical or Mathematical", } @Article{Casanova:1983:TDD, author = "Marco A. Casanova", title = "A theory of data dependencies over relational expressions", journal = j-INT-J-COMPUT-INF-SCI, volume = "12", number = "3", pages = "151--191", month = jun, year = "1983", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68P15", MRnumber = "85a:68033", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C6160D (Relational databases)", corpsource = "Centro Cientifico de Brasilia, IBM do Brazil, Brasilia, Brazil", keywords = "database management systems; IDEX; data dependencies; relational expressions; integrity constraints; relational model; implicational dependencies; first-order analytic tableaux", treatment = "T Theoretical or Mathematical", } @Article{Kostovetsky:1983:TST, author = "A. Kostovetsky", title = "Time separation technique for large databases", journal = j-INT-J-COMPUT-INF-SCI, volume = "12", number = "3", pages = "193--209", month = jun, year = "1983", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6160 (Database management systems (DBMS))", corpsource = "Computervision Corp., Bedford, MA, USA", keywords = "database management systems; time separation technique; large databases; time decomposition technique; network aggregation; operating schedule; closed-loop algorithm; probabilistic approach", treatment = "P Practical", } @Article{Gligor:1983:VPM, author = "V. D. Gligor", title = "The verification of the protection mechanisms of high-level language machines", journal = j-INT-J-COMPUT-INF-SCI, volume = "12", number = "4", pages = "211--246", month = aug, year = "1983", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C5220 (Computer architecture)", corpsource = "Dept. of Electrical Engng., Univ. of Maryland, College Park, MD, USA", keywords = "computer architecture; verification; protection mechanisms; high-level language machines; Burroughs B6700/6800", treatment = "T Theoretical or Mathematical", } @Article{Gyssens:1983:AVF, author = "M. Gyssens and J. Paredaens", title = "Another view of functional and multivalued dependencies in the relational database model", journal = j-INT-J-COMPUT-INF-SCI, volume = "12", number = "4", pages = "247--267", month = aug, year = "1983", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68P15", MRnumber = "85f:68017", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C6160D (Relational databases)", corpsource = "Dept. of Math., Univ. of Antwerp, Wilrijk, Belgium", keywords = "database management systems; integrity constraints; multivalued dependencies; relational database model; pseudo-multivalued dependencies; acyclic join dependencies", treatment = "T Theoretical or Mathematical", } @Article{Jajodia:1983:EDW, author = "S. Jajodia and P. A. Ng and F. N. Springsteel", title = "Entity-relationship diagrams which are in {BCNF}", journal = j-INT-J-COMPUT-INF-SCI, volume = "12", number = "4", pages = "269--283", month = aug, year = "1983", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic); C6160D (Relational databases)", corpsource = "Dept. of Computer Sci., Univ. of Missouri-Columbia, Columbia, MO, USA", keywords = "database management systems; grammars; database theory; loop-free ERD; functional dependency; BCNF; entity-relationship diagrams; regularity; relational scheme; Boyce-Codd Normal Form; ERD; databases", treatment = "T Theoretical or Mathematical", } @Article{Jajodia:1983:ERD, author = "Sushil Jajodia and Peter A. Ng and Frederick N. Springsteel", title = "Entity-relationship diagrams which are in {BCNF}", journal = j-INT-J-COMPUT-INF-SCI, volume = "12", number = "4", pages = "269--283", year = "1983", MRclass = "68P15", MRnumber = "85i:68014", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, } @Article{Akritas:1983:CEA, author = "A. G. Akritas and S. S. Iyengar and A. A. Rampuria", title = "Computationally efficient algorithms for a one-time pad scheme", journal = j-INT-J-COMPUT-INF-SCI, volume = "12", number = "4", pages = "285--316", month = aug, year = "1983", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68P25 (94A99)", MRnumber = "741 781", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C6130 (Data handling techniques)", corpsource = "Dept. of Computer Sci., Univ. of Kansas, Lawrence, KS, USA", keywords = "cryptography; ciphers security; cryptography; data processing; one-time pad scheme; chi-square method", treatment = "T Theoretical or Mathematical", } @Article{Lee:1983:SSA, author = "Tony T. Lee", title = "A state space approach to the finite automata", journal = j-INT-J-COMPUT-INF-SCI, volume = "12", number = "5", pages = "317--335", month = oct, year = "1983", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68Q99", MRnumber = "85h:68062", MRreviewer = "I. Pe{\'a}k", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C4220 (Automata theory)", corpsource = "Polytech. Inst. of New York, New York, NY, USA", keywords = "finite automata; state-space methods; fixed point theorem; invariant subspace; state space approach; finite automata; Psi -representation; state equation", treatment = "T Theoretical or Mathematical", } @Article{Kak:1983:EMP, author = "Subhash C. Kak", title = "Exponentiation modulo a polynomial for data security", journal = j-INT-J-COMPUT-INF-SCI, volume = "12", number = "5", pages = "337--346", month = oct, year = "1983", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68P25 (94A60)", MRnumber = "85f:68023", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C6130 (Data handling techniques)", corpsource = "Dept. of Electrical and Computer Engng., Louisiana State Univ., Baton Rouge, LA, USA", keywords = "cryptography; security of data; RSA algorithm; cryptography; data security; exponential modulo; encryption; public-key cryptosystem", treatment = "P Practical", } @Article{Toussaint:1983:CLE, author = "Godfried T. Toussaint", title = "Computing largest empty circles with location constraints", journal = j-INT-J-COMPUT-INF-SCI, volume = "12", number = "5", pages = "347--358", month = oct, year = "1983", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68U05 (52-04)", MRnumber = "85f:68093", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C1290 (Applications of systems theory)", corpsource = "School of Computer Sci., McGill Univ., Montreal, Que., Canada", keywords = "computational complexity; operations research; facility location; polygons; computational geometry; largest empty circles; location constraints; Voronoi diagram", treatment = "T Theoretical or Mathematical", } @Article{H:1983:LWS, author = "H. J{\"u}rgensen and G. Thierrin", title = "On $\omega $-languages whose syntactic monoid is trivial", journal = j-INT-J-COMPUT-INF-SCI, volume = "12", number = "5", pages = "359--365", year = "1983", MRclass = "68Q45 (20M35)", MRnumber = "85m:68016", MRreviewer = "M. Kunze", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, } @Article{Jurgensen:1983:OWS, author = "H. Jurgensen and G. Thierrin", title = "On omega-languages whose syntactic monoid is trivial", journal = j-INT-J-COMPUT-INF-SCI, volume = "12", number = "5", pages = "359--365", month = oct, year = "1983", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic)", corpsource = "Dept. of Computer Sci., Univ. of Western Ontario, London, Ont., Canada", keywords = "formal languages; omega -languages; syntactic monoid; finite state acceptable omega -languages", treatment = "T Theoretical or Mathematical", } @Article{Nau:1983:GGS, author = "Dana S. Nau", title = "On game graph structure and its influence on pathology", journal = j-INT-J-COMPUT-INF-SCI, volume = "12", number = "6", pages = "367--383", month = dec, year = "1983", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68T01 (90D35 92A25)", MRnumber = "85h:68071", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C1140E (Game theory); C1160 (Combinatorial mathematics); C1230 (Artificial intelligence)", corpsource = "Dept. of Computer Sci., Univ. of Maryland, College Park, MD, USA", keywords = "artificial intelligence; game theory; graph theory; game graph structure; pathology; game tree search procedures; artificial intelligence; minimaxing; sibling nodes", treatment = "T Theoretical or Mathematical", } @Article{Niemi:1983:FRF, author = "Timo Niemi", title = "Formal restructuring functions for hierarchical data bases", journal = j-INT-J-COMPUT-INF-SCI, volume = "12", number = "6", pages = "385--411", month = dec, year = "1983", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68P15", MRnumber = "85e:68018", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation); C6160 (Database management systems (DBMS))", corpsource = "Dept. of Math. Sci., Tampere Univ., Tampere, Finland", keywords = "data structures; database management systems; hierarchical data bases; data restructuring; hierarchical data structures; transformation language; target data base; restructuring software", treatment = "P Practical", } @Article{Budd:1983:SGP, author = "Timothy A. Budd", title = "Safety in grammatical protection systems", journal = j-INT-J-COMPUT-INF-SCI, volume = "12", number = "6", pages = "413--431", month = dec, year = "1983", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68N25", MRnumber = "85e:68007", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic); C6150J (Operating systems)", corpsource = "Dept. of Computer Sci., Univ. of Arizona, Tucson, AZ, USA", keywords = "grammars; operating systems (computers); security of data; context free languages; grammatical protection systems; operating system protection mechanisms; safety; polynomial time decision procedure; P-space complete; NP-complete", treatment = "T Theoretical or Mathematical", } @Article{Ankeney:1983:CTA, author = "Lawrence A. Ankeney and Gerhard X. Ritter", title = "Cellular topology and its applications in image processing", journal = j-INT-J-COMPUT-INF-SCI, volume = "12", number = "6", pages = "433--456", month = dec, year = "1983", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68U10 (68Q80)", MRnumber = "85e:68094", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "B6140C (Optical information, image and video signal processing); C1160 (Combinatorial mathematics); C1250 (Pattern recognition)", corpsource = "Air Force Armament Lab., Eglin Air Force Base, FL, USA", keywords = "picture processing; topology; cellular automata; neighborhood transform; image processing; Minkowski algebra; nondiscrete cellular topologies; cellular image processing operations", treatment = "T Theoretical or Mathematical", } @Article{Landskov:1984:MCE, author = "D. Landskov", title = "Microcode compaction; extending the boundaries", journal = j-INT-J-COMPUT-INF-SCI, volume = "13", number = "1", pages = "1--21", month = feb, year = "1984", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C5220 (Computer architecture); C6150C (Compilers, interpreters and other processors)", corpsource = "Dept. of Computer Sci., Univ. of Lowell, Lowell, MA, USA", keywords = "data compression; microprogramming; program processors; microprogramming; microcode compaction; trace compaction technique; global compaction", treatment = "P Practical", } @Article{Lee:1984:OTM, author = "D. T. Lee", title = "An optimal time and minimal space algorithm for rectangle intersection problems", journal = j-INT-J-COMPUT-INF-SCI, volume = "13", number = "1", pages = "23--32", month = feb, year = "1984", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68U05 (52-04)", MRnumber = "85j:68104", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C1180 (Optimisation techniques); C4240 (Programming and algorithm theory)", corpsource = "Dept. of Electrical Engng. and Computer Sci., Northwestern Univ., Evanston, IL, USA", keywords = "data structures; optimisation; programming theory; computational geometry; optimal time; minimal space algorithm; rectangle intersection problems; data structures; range trees; segment trees; rectangle trees; divide-and-conquer technique; linked lists", treatment = "T Theoretical or Mathematical", } @Article{Lu:1984:ICF, author = "H. R. Lu and K. S. Fu", title = "Inferability of context-free programmed grammars", journal = j-INT-J-COMPUT-INF-SCI, volume = "13", number = "1", pages = "33--58", year = "1984", MRclass = "68T25", MRnumber = "85k:68093", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, } @Article{Lu:1984:ICP, author = "H. R. Lu and K. S. Fu", title = "Inferability of context-free programmed grammars", journal = j-INT-J-COMPUT-INF-SCI, volume = "13", number = "1", pages = "33--58", month = feb, year = "1984", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic)", corpsource = "School of Electrical Engng., Purdue Univ., West Lafayette, IN, USA", keywords = "context-free grammars; pattern recognition; control diagram; autocorrelation; grammatical inference; context-free programmed grammars; string language description; syntactic pattern analysis; CFPG inferability", treatment = "T Theoretical or Mathematical", } @Article{Yang:1984:AIG, author = "Chao Chih Yang and Hou Kuan Huang", title = "Algorithms for the inverse and a generalization of the state space approach to finite automata", journal = j-INT-J-COMPUT-INF-SCI, volume = "13", number = "1", pages = "59--76", month = feb, year = "1984", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68Q05", MRnumber = "86i:68034", MRreviewer = "F. G{\'e}cseg", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C4220 (Automata theory)", corpsource = "Dept. of Computer and Information Sci., Univ. of Alabama, Birmingham, AL, USA", keywords = "finite automata; contraction mapping; modulo 2; power series; inverse; state space approach; finite automata", treatment = "T Theoretical or Mathematical", } @Article{Ottmann:1984:BST, author = "Thomas Ottmann and Arnold L. Rosenberg and Hans-Werner Six and Derick Wood", title = "Binary search trees with binary comparison cost", journal = j-INT-J-COMPUT-INF-SCI, volume = "13", number = "2", pages = "77--101", month = apr, year = "1984", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68P05 (68P10)", MRnumber = "85j:68016", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C1160 (Combinatorial mathematics); C6120 (File organisation)", corpsource = "Inst. fur Angewande Inf. und Formalebeschreibungsverfahren, Univ. Karlsruhe, West Germany", keywords = "data structures; information retrieval; trees (mathematics); mode visit cost; Fibonacci trees; stratified trees; data structures; binary comparison cost; cost measure; binary search trees; BCOST; TCOST; maximal BCOST-height trees", treatment = "T Theoretical or Mathematical", } @Article{Kak:1984:MPK, author = "S. C. Kak", title = "On the method of puzzles for key distribution", journal = j-INT-J-COMPUT-INF-SCI, volume = "13", number = "2", pages = "103--109", month = apr, year = "1984", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "B6120B (Codes); C6130 (Data handling techniques)", corpsource = "Dept. of Electr. and Comput. Eng., Louisiana State Univ., Baton Rouge, LA, USA", keywords = "cryptography; codes; cryptography; puzzles; key distribution; public channel; work advantage; nested puzzles method", treatment = "P Practical", } @Article{Yu:1984:PMN, author = "Ging-Shung Yu and S. Muroga", title = "Parallel multipliers with {NOR} gates based on {G}-minimum adders", journal = j-INT-J-COMPUT-INF-SCI, volume = "13", number = "2", pages = "111--121", month = apr, year = "1984", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "B1265Z (Other digital circuits); C5120 (Logic and switching circuits)", corpsource = "Inst. of Nucl. Energy Res., Lung-tan, Taiwan", keywords = "adders; logic gates; multiplying circuits; NOR gates; G-minimum adders; adders; parallel multipliers; carry-save adder-type multipliers", treatment = "P Practical", } @Article{Er:1984:IAC, author = "M. C. Er", title = "An iterative algorithm for the cyclic {Towers of Hanoi} problem", journal = j-INT-J-COMPUT-INF-SCI, volume = "13", number = "2", pages = "123--129", month = apr, year = "1984", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68Q20", MRnumber = "86c:68029", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C4240 (Programming and algorithm theory)", corpsource = "Dept. of Comput. Sci., Wollongong Univ., NSW, Australia", keywords = "algorithm theory; iterative algorithm; cyclic Towers of Hanoi problem; discs; source peg", treatment = "T Theoretical or Mathematical", } @Article{Santoro:1984:MCD, author = "Nicola Santoro", title = "On the message complexity of distributed problems", journal = j-INT-J-COMPUT-INF-SCI, volume = "13", number = "3", pages = "131--147", month = jun, year = "1984", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68M10", MRnumber = "86d:68005", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "B1110 (Network topology); B6110 (Information theory); C1260 (Information theory); C4290 (Other computer theory); C5620 (Computer networks and techniques)", corpsource = "Sch. of Comput. Sci., Carleton Univ., Ottawa, Ont., Canada", keywords = "distributed processing; information theory; network topology; distributed algorithms; asynchronous message passing systems; message complexity; distributed computing; topological information; lower-bounds; extrema-finding; minimum-weight spanning-tree construction; reducibility; equivalence; worst-case optimality", treatment = "T Theoretical or Mathematical", } @Article{Orman:1984:FMD, author = "L. Orman", title = "Familial model of data", journal = j-INT-J-COMPUT-INF-SCI, volume = "13", number = "3", pages = "149--175", month = jun, year = "1984", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4250 (Database theory)", corpsource = "Cornell Univ., Ithaca, NY, USA", keywords = "database theory; familial data model; conceptual model; family of sets; indexing; directed binary association; diverse user views; abstractions; derived data; metamodels; algebra of families; data definition; maintenance; processing language; specification language; database application systems; database constructs; procedural programming languages", treatment = "T Theoretical or Mathematical", } @Article{Fukuda:1984:ITA, author = "H. Fukuda and K. Kamata", title = "Inference of tree automata from sample sets of trees", journal = j-INT-J-COMPUT-INF-SCI, volume = "13", number = "3", pages = "177--196", month = jun, year = "1984", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68Q70", MRnumber = "86d:68054", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C4220 (Automata theory)", corpsource = "Fujisawa Dev. Lab., IBM Japan Ltd., Japan", keywords = "automata theory; trees (mathematics); inference; tree automata; k-follower; sample tree set", treatment = "T Theoretical or Mathematical", } @Article{Toussaint:1984:CCU, author = "Godfried T. Toussaint", title = "Complexity, convexity, and unimodality", journal = j-INT-J-COMPUT-INF-SCI, volume = "13", number = "3", pages = "197--217", month = jun, year = "1984", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68U05 (52-04 52A10 68T10)", MRnumber = "86d:68065", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C4190 (Other numerical methods); C4240 (Programming and algorithm theory)", corpsource = "Sch. of Comput. Sci., McGill Univ., Montreal, Que., Canada", keywords = "computational complexity; computational geometry; pattern recognition; fixed edge; closer pair problem; diameter; all nearest neighbor problem; all furthest neighbor problem; artificial intelligence; geometric complexity; convexity; unimodality; polygons; fixed vertex; distance function; Euclidean distance; computational geometry; pattern recognition; algorithms; linear-time-complexity", treatment = "T Theoretical or Mathematical", } @Article{Stark:1984:GPC, author = "W. Richard Stark", title = "A glimpse into the paradise of combinatory algebra", journal = j-INT-J-COMPUT-INF-SCI, volume = "13", number = "3", pages = "219--236", month = jun, year = "1984", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68Q55 (03B40 03B70 68Q70)", MRnumber = "86d:68048", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C1160 (Combinatorial mathematics); C4210 (Formal logic); C6140 (Programming languages)", corpsource = "Dept. of Math., Univ. of South Florida, Tampa, FL, USA", keywords = "algebra; combinatorial mathematics; programming languages; history; terms; syntax; semantics; fixed point; finite state automata; recursion; combinatory algebra; lambda calculus; functional languages; LISP; FP; KRC", treatment = "G General Review; T Theoretical or Mathematical", } @Article{Kostovetsky:1984:FDT, author = "A. Kostovetsky", title = "Frequency decomposition technique for large archivable databases", journal = j-INT-J-COMPUT-INF-SCI, volume = "13", number = "4", pages = "237--249", month = aug, year = "1984", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6160Z (Other DBMS)", corpsource = "Computervision Corp., Bedford, MA, USA", keywords = "database management systems; CAD/CAM; transaction management; large archivable databases; frequency decomposition technique; prolonged archiving; back up procedures; frequency separation criterion; database recoverability; file management system", treatment = "P Practical", } @Article{Pargas:1984:PSR, author = "Roy P. Pargas", title = "Parallel solution of recurrences on a tree machine", journal = j-INT-J-COMPUT-INF-SCI, volume = "13", number = "4", pages = "251--277", month = aug, year = "1984", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "65W05 (65Q05)", MRnumber = "86f:65225", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C4240 (Programming and algorithm theory); C5440 (Multiprocessing systems)", corpsource = "Dept. of Comput. Sci., Clemson Univ., SC, USA", keywords = "computational complexity; parallel processing; trees (mathematics); recurrences; tree machine; parallel solutions; complexity", treatment = "T Theoretical or Mathematical", } @Article{Atallah:1984:CSP, author = "Mikhail J. Atallah", title = "Checking similarity of planar figures", journal = j-INT-J-COMPUT-INF-SCI, volume = "13", number = "4", pages = "279--290", month = aug, year = "1984", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68U05 (68Q25)", MRnumber = "783 724", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C1250 (Pattern recognition); C4240 (Programming and algorithm theory)", corpsource = "Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA", keywords = "computational geometry; pattern recognition; planar figures; computational geometry; pattern recognition; straight line segments; circles; ellipses", treatment = "T Theoretical or Mathematical", } @Article{Kou:1984:CT, author = "Wei Dong Kou and Zheng Hu", title = "{CH} transform", journal = j-INT-J-COMPUT-INF-SCI, volume = "13", number = "4", pages = "291--307", month = aug, year = "1984", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "42A38 (44A35 94A15)", MRnumber = "86g:42014", MRreviewer = "B. D. Donevski", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "B0230 (Integral transforms); B6110 (Information theory); C1130 (Integral transforms); C1260 (Information theory)", corpsource = "Dept. of Inf. Eng., Northwest Telecommun. Eng. Inst., Xian, China", keywords = "information theory; transforms; CH transform; unitary transform; fast Hadamard transform; invariant power spectrum; cyclic shift", treatment = "T Theoretical or Mathematical", } @Article{Voukalis:1984:FRM, author = "D. C. Voukalis", title = "Further remarks for the matrix type-${B}$ codes", journal = j-INT-J-COMPUT-INF-SCI, volume = "13", number = "4", pages = "309--326", month = aug, year = "1984", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "94B20 (94A40)", MRnumber = "86k:94033", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "B6120B (Codes)", keywords = "error correction codes; error detection codes; matrix algebra; matrix type-B codes; correcting error patterns; communication channel; efficient code; encoding-decoding algorithm", treatment = "P Practical", } @Article{Schwind:1984:EDC, author = "Camilla B. Schwind", title = "Embedding deductive capabilities in relational database systems", journal = j-INT-J-COMPUT-INF-SCI, volume = "13", number = "5", pages = "327--338", month = oct, year = "1984", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68P15 (68T30)", MRnumber = "86h:68030", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C4250 (Database theory); C6160D (Relational databases)", corpsource = "CNRS, Marseille, France", keywords = "database theory; relational databases; relational algebra; theorem proving; Horn clauses; expert systems; deductive capabilities; relational database systems; deductive database system; data manipulation; relational algebra; extensional database; tuples", treatment = "P Practical", } @Article{Srini:1984:MDM, author = "V. P. Srini and B. D. Shrivr", title = "A methodology for designing and modeling reconfigurable systems", journal = j-INT-J-COMPUT-INF-SCI, volume = "13", number = "5", pages = "339--394", month = oct, year = "1984", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4220 (Automata theory); C6110 (Systems analysis and programming); C6150J (Operating systems)", corpsource = "Dept. of Comput. Sci., Alabama Univ., Birmingham, AL, USA", keywords = "automata theory; operating systems (computers); systems analysis; reconfigurable systems; communicating systems; dynamically reconfigurable systems; data driven model; concurrent system; operating system; knowledge-based expert systems; local information; global information", treatment = "P Practical", } @Article{Chang:1984:CHC, author = "S. K. Chang and J. C. Dorng", title = "Concatenated hash code selection", journal = j-INT-J-COMPUT-INF-SCI, volume = "13", number = "5", pages = "395--412", month = oct, year = "1984", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68P10", MRnumber = "86d:68017", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation)", corpsource = "Dept. of Electr. and Comput. Eng., Illinois Inst. of Technol., Chicago, IL, USA", keywords = "file organisation; storage allocation; partial match retrieval; file organisation; storage allocation; hash code selection; concatenated hash code; multiple-attribute retrieval; hashing scheme; optimal code length", treatment = "P Practical", } @Article{Tanatsugu:1984:GIH, author = "Keisuke Tanatsugu", title = "A grammatical inference for harmonic linear languages", journal = j-INT-J-COMPUT-INF-SCI, volume = "13", number = "5", pages = "413--423", month = oct, year = "1984", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68T05 (68S05)", MRnumber = "86d:68061", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic)", corpsource = "Dept. of Math., Kitakyushu Univ., Japan", keywords = "formal languages; grammars; grammatical inference; harmonic linear languages; finite sample sets; superclass; regular languages", treatment = "T Theoretical or Mathematical", } @Article{Niemi:1984:SDR, author = "T. Niemi", title = "Specification of data restructuring software based on the attribute method", journal = j-INT-J-COMPUT-INF-SCI, volume = "13", number = "6", pages = "425--460", month = dec, year = "1984", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation); C6160 (Database management systems (DBMS))", corpsource = "Dept. of Math. and Comp. Sci., Tampere Univ., Finland", keywords = "data structures; database theory; grammars; programming theory; hierarchical databases; formal specification; data restructuring; abstract software specification; data structures; flat file; hierarchical data models; attribute method; abstract syntax", treatment = "T Theoretical or Mathematical", } @Article{Dasgupta:1984:UHL, author = "Subrata Dasgupta and Alan Wagner", title = "The use of {Hoare} logic in the verification of horizontal microprograms", journal = j-INT-J-COMPUT-INF-SCI, volume = "13", number = "6", pages = "461--490", month = dec, year = "1984", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68Q60 (03B70)", MRnumber = "87a:68118", MRreviewer = "W. Damm", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C4240 (Programming and algorithm theory)", corpsource = "Center for Adv. Comput. Studies, Southwestern Louisiana Univ., Lafayette, LA, USA", keywords = "formal languages; microprogramming; program verification; firmware verification; Hoare logic; horizontal microprograms; formal verification; inductive assertion method; axiomatic definition; machine dependent microprogramming language; S*(QM-1); Nanodata QM-1", treatment = "T Theoretical or Mathematical", } @Article{Hurson:1984:VDP, author = "A. R. Hurson", title = "A {VLSI} design for the parallel finite state automaton and its performance evaluation as a hardware scanner", journal = j-INT-J-COMPUT-INF-SCI, volume = "13", number = "6", pages = "491--508", month = dec, year = "1984", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68Q35", MRnumber = "792 724", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C4220 (Automata theory); C5220 (Computer architecture)", corpsource = "Sch. of Electr. Eng. and Comptu. Sci., Oklahoma Univ., Norman, OK, USA", keywords = "computer architecture; computerised pattern recognition; finite automata; performance evaluation; VLSI; VLSI design; parallel finite state automaton; performance evaluation; hardware scanner; hardware architecture; pattern matching; text retrieval", treatment = "T Theoretical or Mathematical", } @Article{Chang:1984:SC, author = "Lena Chang and Arthur T. Poe", title = "Surjections and coverings", journal = j-INT-J-COMPUT-INF-SCI, volume = "13", number = "6", pages = "509--520", month = dec, year = "1984", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68R05 (68Q05)", MRnumber = "86m:68115", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C4220 (Automata theory)", corpsource = "Chang and Co., MA, USA", keywords = "automata theory; deleted distributive property; necessary conditions; coverings; sufficient condition; sequence covers; surjection; feedback; partitions; bijections; series-parallel decompositions; series-parallel", treatment = "T Theoretical or Mathematical", } @Article{Roussopoulos:1985:SMS, author = "N. Roussopoulos and L. Mark", title = "Schema manipulation in self-describing and self-documenting data models", journal = j-INT-J-COMPUT-INF-SCI, volume = "14", number = "1", pages = "1--28", month = feb, year = "1985", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4250 (Database theory); C6160 (Database management systems (DBMS))", corpsource = "Dept. of Comput. Sci., Maryland Univ., College Park., MD, USA", keywords = "database management systems; database theory; schema manipulation; self describing data models; self-documenting data models; meta-schema; uniform model; data language", treatment = "P Practical; T Theoretical or Mathematical", } @Article{Dutta:1985:MMC, author = "A. Dutta", title = "Modeling of multiple copy update costs for file allocation in distributed databases", journal = j-INT-J-COMPUT-INF-SCI, volume = "14", number = "1", pages = "29--34", month = feb, year = "1985", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation); C6160B (Distributed databases)", corpsource = "Graduate Sch. of Manage., Rochester Univ., NY, USA", keywords = "database management systems; file organisation; protocols; multiple copy update costs; file allocation; distributed databases; storage; query; update communication costs; modeling; protocols", treatment = "P Practical; T Theoretical or Mathematical", } @Article{H:1985:SMC, author = "H. J{\"u}rgensen and A. Salomaa", title = "Syntactic monoids in the construction of systolic tree automata", journal = j-INT-J-COMPUT-INF-SCI, volume = "14", number = "1", pages = "35--49", year = "1985", MRclass = "68Q80 (68Q45)", MRnumber = "87i:68056", MRreviewer = "J. Gruska", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, } @Article{Jurgensen:1985:SMC, author = "H. Jurgensen and A. Salomaa", title = "Syntactic monoids in the construction of systolic tree automata", journal = j-INT-J-COMPUT-INF-SCI, volume = "14", number = "1", pages = "35--49", month = feb, year = "1985", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic); C4220 (Automata theory)", corpsource = "Dept. of Comput. Sci., Univ. of Western Ontario, London, Ont., Canada", keywords = "automata theory; formal languages; trees (mathematics); systolic tree automata; regular language; monoid product; syntactic monoids; language families", treatment = "T Theoretical or Mathematical", } @Article{Biswas:1985:ASV, author = "P. Biswas", title = "Architectural support for variable addressing in {Ada} --- a design approach", journal = j-INT-J-COMPUT-INF-SCI, volume = "14", number = "1", pages = "51--72", month = feb, year = "1985", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6140D (High level languages)", corpsource = "Dept. of Comput. Sci. and Eng., Southern Methodist Univ., Dallas, TX, USA", keywords = "Ada; architectural support; variable addressing; Ada; design approach; language-directed machine architecture; machine instructions; architecture description language; Dijkstra's mechanism", treatment = "P Practical", } @Article{Huang:1985:MEH, author = "S.-H. S. Huang", title = "Multidimensional extendible hashing for partial-match queries", journal = j-INT-J-COMPUT-INF-SCI, volume = "14", number = "2", pages = "73--82", month = apr, year = "1985", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6120 (File organisation)", corpsource = "Dept. of Comput. Sci., Houston Univ., TX, USA", keywords = "file organisation; tree files; data structures; extendible hashing; partial-match queries; direct access files; multi-attribute keys; one-dimensional hashing; storage utilization; buckets; multidimensional hashing", treatment = "P Practical", } @Article{Hooper:1985:BSL, author = "J. W. Hooper", title = "{BPL}: a set-based language for distributed system prototyping", journal = j-INT-J-COMPUT-INF-SCI, volume = "14", number = "2", pages = "83--105", month = apr, year = "1985", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6140D (High level languages)", corpsource = "Dept. of Comput. Sci., Alabama Univ., Huntsville, AL, USA", keywords = "distributed processing; set theory; specification languages; VAX 11/780; BPL; set-based language; distributed system prototyping; system development; prototyping tools; ADL/ADS; user interface tool; distributed data processing; attributes; relationships; Behavior Prototyping Language; behavior objects; set-theoretical approaches; syntax", treatment = "P Practical", } @Article{Motteler:1985:CMD, author = "Howard E. Motteler and Carl H. Smith", title = "A complexity measure for data flow models", journal = j-INT-J-COMPUT-INF-SCI, volume = "14", number = "2", pages = "107--122", month = apr, year = "1985", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68Q15", MRnumber = "87a:68066", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C4240 (Programming and algorithm theory); C6150C (Compilers, interpreters and other processors)", corpsource = "Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA", keywords = "computational complexity; program compilers; compilers; complexity measure; data flow models; tokens; Blum complexity measure; abstract complexity theory; copy measure", treatment = "T Theoretical or Mathematical", } @Article{Tou:1985:KER, author = "J. T. Tou", title = "Knowledge engineering revisited", journal = j-INT-J-COMPUT-INF-SCI, volume = "14", number = "3", pages = "123--134", month = jun, year = "1985", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C1230 (Artificial intelligence); C6170 (Expert systems)", corpsource = "Center for Inf. Res., Florida Univ., Gainesville, FL, USA", keywords = "knowledge engineering; knowledge preservation; knowledge proliferation; knowledge dissemination; knowledge application; knowledge engineering; expert systems; pattern-directed expert systems", treatment = "P Practical", } @Article{Dandamudi:1985:EPC, author = "S. P. Dandamudi and P. G. Sorenson", title = "An empirical performance comparison of some variations of the $k$-$d$ tree and {BD} tree", journal = j-INT-J-COMPUT-INF-SCI, volume = "14", number = "3", pages = "135--159", month = jun, year = "1985", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6160 (Database management systems (DBMS))", corpsource = "Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA", keywords = "database management systems; multidimensional systems; performance evaluation; database applications; empirical performance; k-d tree; B D tree; storage structures; multiple keys; one-dimensional data; one-dimensional binary search tree; B D tree; multidimensional data; dynamic characteristics; empirical performance", treatment = "P Practical", } @Article{deMaine:1985:TPL, author = "P. A. D. {de Maine} and S. Leong and C. G. Davis", title = "A transportable programming language ({TPL}) system. {I} Overview", journal = j-INT-J-COMPUT-INF-SCI, volume = "14", number = "3", pages = "161--182", month = jun, year = "1985", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6100 (Software techniques and systems); C6140B (Machine-oriented languages); C6140D (High level languages)", corpsource = "Dept. of Comp. Sci. and Eng., Auburn Univ., AL, USA", keywords = "FORTRAN; high level languages; program compilers; software portability; transportable programming language; TPL; software; hardware; HLL-TPL; High-Level Languages; HLL; Superset method; Hypothetical Parent; HLL; HPHLL; HPHLL; FORTRAN-TPL system; bifunctional FORTRAN-TPL compiler; FORTRAN; intermediate language; HPFORTRAN", treatment = "P Practical", } @Article{ORourke:1985:FME, author = "Joseph O'Rourke", title = "Finding minimal enclosing boxes", journal = j-INT-J-COMPUT-INF-SCI, volume = "14", number = "3", pages = "183--199", month = jun, year = "1985", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68U05", MRnumber = "824 371", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C4190 (Other numerical methods)", corpsource = "Dept. of Elec. Eng. and Comp. Sci., Johns Hopkins Univ., Baltimore, MD, USA", keywords = "computational geometry; minimal enclosing boxes; minimal volume boxes; three-dimensional points; convex hull; naive search", treatment = "P Practical", } @Article{Mlodinow:1985:EPM, author = "L. D. Mlodinow and I. O. Stamatescu", title = "An evolutionary procedure for machine learning", journal = j-INT-J-COMPUT-INF-SCI, volume = "14", number = "4", pages = "201--219", month = aug, year = "1985", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C1230 (Artificial intelligence); C1240 (Adaptive system theory); C3390 (Robotics)", corpsource = "Max-Planck-Inst. fur Phys. und Astrophys., Munich, West Germany", keywords = "artificial intelligence; learning systems; position control; robots; evolutionary procedure; machine learning; TURTLE", treatment = "P Practical", } @Article{Chan:1985:NMP, author = "B. Chan and H. Meijer", title = "A note on the method of puzzles for key distribution", journal = j-INT-J-COMPUT-INF-SCI, volume = "14", number = "4", pages = "221--223", month = aug, year = "1985", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "B6120B (Codes); C1260 (Information theory)", corpsource = "Dept. of Comput. and Inf. Sci., Queens Univ., Kingston, Ont., Canada", keywords = "cryptography; error correction codes; security of data; puzzles; key distribution; public key cryptosystem; linear error correcting codes", treatment = "T Theoretical or Mathematical", } @Article{Chen:1985:GSG, author = "Jin Hua Chen", title = "{LL(1)} grammars and sub-{LL(1)} grammars", journal = j-INT-J-COMPUT-INF-SCI, volume = "14", number = "4", pages = "225--234", year = "1985", MRclass = "68Q50", MRnumber = "87e:68067", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, } @Article{Chen:1985:LGS, author = "Jinhua Chen", title = "{LL(1)} grammar and {Sub-LL(1)} grammars", journal = j-INT-J-COMPUT-INF-SCI, volume = "14", number = "4", pages = "225--234", month = aug, year = "1985", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic); C6150C (Compilers, interpreters and other processors)", corpsource = "Shenzhen Univ., China", keywords = "context-free grammars; program compilers; compilers; context free languages; LL(1) grammar; Sub-LL(1) grammars; top-down parsing", treatment = "T Theoretical or Mathematical", } @Article{Subramanian:1985:NRA, author = "K. G. Subramanian", title = "A note on regular-controlled apical-growth filamentous systems", journal = j-INT-J-COMPUT-INF-SCI, volume = "14", number = "4", pages = "235--242", month = aug, year = "1985", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic)", corpsource = "Inst. Nat. de Recherche en Inf. et Autom., Rocquencourt, France", keywords = "formal languages; regular languages; linear languages; context free languages; L languages; apical-growth filamentous systems; regular control; pure languages", treatment = "T Theoretical or Mathematical", } @Article{Subramanian:1985:NRC, author = "K. G. Subramanian", title = "A note on regular-controlled apical-growth filamentous systems", journal = j-INT-J-COMPUT-INF-SCI, volume = "14", number = "4", pages = "235--242", year = "1985", MRclass = "68Q45", MRnumber = "87h:68101", MRreviewer = "Gheorghe P{\u{a}}un", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, } @Article{Ishida:1985:ASD, author = "Y. Ishida and N. Adachi and H. Tokumaru", title = "An analysis of self-diagnosis model by conditional fault set", journal = j-INT-J-COMPUT-INF-SCI, volume = "14", number = "5", pages = "243--259", year = "1985", MRclass = "68M15", MRnumber = "849 019", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, } @Article{Ishida:1985:ASM, author = "Y. Ishida and N. Adachi and H. Tokumaru", title = "An analysis of self-diagnosis model by conditional fault set", journal = j-INT-J-COMPUT-INF-SCI, volume = "14", number = "5", pages = "243--259", month = oct, year = "1985", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "B0170N (Reliability); C1210B (Reliability theory)", keywords = "automatic testing; failure analysis; fault location; diagnosability; self-diagnosis model; conditional fault set; fault-free; faulty units; mathematical programming; syndrome decoding algorithm; Hamming distance; error-correcting codes", treatment = "T Theoretical or Mathematical", } @Article{Hurson:1985:CSM, author = "A. R. Hurson and B. Shirazi", title = "A class of systolic multiplier units for {VLSI} technology", journal = j-INT-J-COMPUT-INF-SCI, volume = "14", number = "5", pages = "261--275", month = oct, year = "1985", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "B1265B (Logic circuits); B2570 (Semiconductor integrated circuits); C5220 (Computer architecture)", corpsource = "Dept. of Electr. Eng., Pennsylvania State Univ., University Park, PA, USA", keywords = "cellular arrays; pipeline processing; VLSI; systolic multiplier units; VLSI technology; recursive structure; pipeline architecture", treatment = "A Application; T Theoretical or Mathematical", } @Article{Agrawal:1985:TFS, author = "V. K. Agrawal and L. M. Patnaik and P. S. Goel", title = "Towards formal specification of a distributed computing system", journal = j-INT-J-COMPUT-INF-SCI, volume = "14", number = "5", pages = "277--306", month = oct, year = "1985", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68Q10", MRnumber = "849 020", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C6110 (Systems analysis and programming); C7460 (Aerospace engineering computing)", corpsource = "Div. of Control Syst., ISRO Satellite Centre, Bangalore, India", keywords = "aerospace computing; distributed processing; systems analysis; onboard spacecraft computing system; formal specification; distributed computing system; functionally distributed system; reliable protocol; concurrency; exclusiveness; sequencing; 6-tuple model; deadlock", treatment = "A Application", } @Article{Elmagarmid:1985:PDD, author = "A. K. Elmagarmid and A. P. Sheth", title = "A partially distributed deadlock detection algorithm", journal = j-INT-J-COMPUT-INF-SCI, volume = "14", number = "5", pages = "307--330", month = oct, year = "1985", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6150J (Operating systems); C6160B (Distributed databases)", corpsource = "Dept. of Electr. Eng., Pennsylvania State Univ., University Park, PA, USA", keywords = "database management systems; distributed processing; operating systems (computers); partially distributed deadlock detection algorithm; distributed database systems; central controller; multisite deadlocks; local deadlocks; congestion", treatment = "P Practical; T Theoretical or Mathematical", } @Article{Young:1985:MCP, author = "Ming Huei Young and Saburo Muroga", title = "Minimal covering problem and {PLA} minimization", journal = j-INT-J-COMPUT-INF-SCI, volume = "14", number = "6", pages = "337--364", month = dec, year = "1985", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "90C09 (90C10)", MRnumber = "88k:90126", MRreviewer = "Anthony Vannelli", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "B1130B (Computer-aided circuit analysis and design); C4230 (Switching theory); C5210B (Computer-aided logic design)", corpsource = "Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA", keywords = "cellular arrays; integrated logic circuits; logic CAD; minimisation of switching nets; logic minimisation; IBM FORTRAN programs; PLA minimization; minimal covering problem; implicit enumeration method; Quine-McCluskey method; heuristic algorithm; large-scale problems; programmable logic arrays", treatment = "T Theoretical or Mathematical", } @Article{Brzakovic:1985:ACD, author = "D. Brzakovic and J. T. Tou", title = "An approach to computer-aided document examination", journal = j-INT-J-COMPUT-INF-SCI, volume = "14", number = "6", pages = "365--385", month = dec, year = "1985", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C6130 (Data handling techniques); C7106 (Word processing); C7890 (Other special applications)", corpsource = "Dept. of Electr. Eng., Tennessee Univ., Knoxville, TN, USA", keywords = "computerised pattern recognition; expert systems; word processing; document falsification; computer-aided document examination; knowledge-based expert system; typewritten document; multiple typing sessions; document authenticity; alignment analysis; symbol comparison; gray level intensity analysis; type font identification", treatment = "P Practical", } @Article{Brzozowski:1985:S, author = "J. A. Brzozowski and S. Muro", title = "On serializability", journal = j-INT-J-COMPUT-INF-SCI, volume = "14", number = "6", pages = "387--403", month = dec, year = "1985", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4250 (Database theory); C6160 (Database management systems (DBMS))", corpsource = "Dept. of Comput. Sci., Waterloo Univ., Ont., Canada", keywords = "database management systems; database theory; database transactions; concurrent execution of transactions; serializability; serial schedule; transaction models; multiversion database model", treatment = "P Practical; T Theoretical or Mathematical", } @Article{Harnett:1985:OTR, author = "R. M. Harnett and G. C. Kiel", title = "Optimal taxiway repair: a set-covering approach", journal = j-INT-J-COMPUT-INF-SCI, volume = "14", number = "6", pages = "405--419", month = dec, year = "1985", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C1160 (Combinatorial mathematics); C1180 (Optimisation techniques); C1290Z (Other applications of systems theory); C4240 (Programming and algorithm theory); C7440 (Civil and mechanical engineering)", corpsource = "Louisiana Tech Univ., Ruston, LA, USA", keywords = "airports; maintenance engineering; optimisation; set theory; taxiway intersections; taxiway repair; set-covering; air base recovery after attack; minimal cut set; repair minimization; algebraic representation; computational efficiency", treatment = "T Theoretical or Mathematical", } @Article{Hong:1985:AEM, author = "Jia Rong Hong", title = "{AE1}: an extension matrix approximate method for the general covering problem", journal = j-INT-J-COMPUT-INF-SCI, volume = "14", number = "6", pages = "421--437", month = dec, year = "1985", CODEN = "IJCIAH", ISSN = "0091-7036", MRclass = "68Q25 (90C10)", MRnumber = "88a:68052", bibdate = "Sat Apr 26 14:03:16 MDT 1997", acknowledgement = ack-nhfb, classification = "C1110 (Algebra); C1160 (Combinatorial mathematics); C1180 (Optimisation techniques); C4140 (Linear algebra); C4210 (Formal logic); C4240 (Programming and algorithm theory)", corpsource = "Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA", keywords = "decidability; matrix algebra; optimisation; set theory; set covering; disjoint extension matrices; extension matrix approximate; general covering problem; optimization; NP-hard; optimal covering algorithm", treatment = "T Theoretical or Mathematical", } @Article{Chang:1985:TCG, author = "S. K. Chang and B. Luo and C. C. Yang and M. C. K. Yang", title = "Trace confirmation with given object position", journal = j-INT-J-COMPUT-INF-SCI, volume = "14", number = "6", pages = "439--453", month = dec, year = "1985", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "B0230 (Integral transforms); B6140C (Optical information and image processing); C1130 (Integral transforms); C1250 (Pattern recognition); C1260 (Information theory); C7410F (Communications)", corpsource = "Dept. of Electr. and Comput. Eng., Illinois Inst. of Technol., Chicago, IL, USA", keywords = "computerised pattern recognition; computerised picture processing; tracking; transforms; trace detection; ship detection; digitized image; Hough transform; line detection; SEASAT satellite pictures", treatment = "T Theoretical or Mathematical", } @Article{Tseng:1985:PSS, author = "S. S. Tseng and R. C. T. Lee", title = "A parallel sorting scheme whose basic operation sorts {$N$} elements", journal = j-INT-J-COMPUT-INF-SCI, volume = "14", number = "6", pages = "455--467", month = dec, year = "1985", CODEN = "IJCIAH", ISSN = "0091-7036", bibdate = "Sat Apr 26 12:20:22 MDT 1997", acknowledgement = ack-nhfb, classification = "C4240 (Programming and algorithm theory); C6130 (Data handling techniques)", corpsource = "Inst. of Comput. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan", keywords = "algorithm theory; parallel programming; sorting; n-sorter merge sorting algorithm; parallel sorting scheme", treatment = "T Theoretical or Mathematical", }