@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/|"}
@String{j-INT-J-COMPUT-INF-SCI = "International Journal of Computer and
Information Sciences"}
@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",
}