Table of Contents

• Conjunctive planning problems with constrained goal interactionsPhillip C.-Y. Sheu. 2-6 [doi]
• Analysis of heurisitc search modelsThomas Sudkamp, Robert Shanahan. 7-15 [doi]
• A methodology for multiple rule system integration and resolutions within a singular knowledge baseFrank N. Kautzmann III. 16-26 [doi]
• An intelligent tutor for high-school algebraNeven Jurkovic. 27-31 [doi]
• ADVISOR - an expert system for student advisementT. M. Rao, Sharon Coleman, Carol Hollenbeck. 32-35 [doi]
• An undergraduate curriculum in expert systems design or knowledge engineeringMary Micco. 36-39 [doi]
• Natural language processing in a Japanese text-to-speech systemYoshifumi Ooyama, Masahiro Miyazaki, Satoru Ikehara. 40-47 [doi]
• Retirement savings plan advisor: a knowledge-based expert system for tax deferred savings investingLynne E. Davis, Joseph Woodland. 48-52 [doi]
• An assistance system for UNIX text formattersGautam Biswas, Manton M. Matthews, Antang Huang. 53-57 [doi]
• Moses: a graphics oriented software development environmentG. Blaschek, Gustav Pomberger. 58-66 [doi]
• UIG: the User Interface GeneratorAlan Heirich. 67-73 [doi]
• Design issues and an architecture for a heterogenous multidatabase systemSushil V. Pillai, Ramanatham Gudipati, Leszek Lilien. 74-79 [doi]
• Incremental conceptual clustering from existing databasesJames R. Rowland, Gregg T. Vesonder. 80-87 [doi]
• Checkpointing strategies for database systemsRaj Sekhar Pamula, Pradip K. Srimani. 88-97 [doi]
• Interactive digital-simulation laboratory gains special componentsRichard J. Reid. 98-102 [doi]
• A family of conservative codes with block delimiters for decoding without a phase-locked loopYoram Ofek. 103-107 [doi]
• A symbolic computation method of analytic solution of the mixed Direchlet-Neumann-Robin problem for LaPlace s equationHerbert H. Snyder, Ralph W. Wilkerson. 108-113 [doi]
• Design of a pictorial knowledgebaseSreerama K. Karukonda, Edward T. Lee, Peter P. Chen. 114-119 [doi]
• An expert system for bibliographic retrieval using PrologCarolyn R. Watters, Michael A. Shepherd, W. Robertson, K. H. Lee. 120-127 [doi]
• A response generation mechanism for an intelligent active assistance systemRonald L. Sobczak, Manton M. Matthews, Gautam Biswas. 128-132 [doi]
• An approach to automating knowledge acquisition for expert systems: annotated traces -> diagnostic hierarchiesLee A. Becker, Luke Immes. 133-137 [doi]
• Commonsense reasoning in PrologWei Si Jiang, William G. Wee. 138-143 [doi]
• Coordinating existing expert systemsStuart Hirshfield. 144-148 [doi]
• Sensitivity problem in dynamic file organizationYuan Y. Sung. 149-153 [doi]
• An algebraic language for graphical query formulation using an extended entity-relationship modelBogdan D. Czejdo, Ramez Elmasri, Marek Rusinkiewicz, David W. Embley. 154-161 [doi]
• A pegging method for decomposing relations in databasesC. Alec Chang, Michael S. Leonard, H. Brian Hwarng, Tzong-Huie Shiau. 162-165 [doi]
• Heuristic search in networks with modifiable estimateA. Mahanti, K. Ray. 166-174 [doi]
• Improved parallel algorithms for the depth-first search and monotone circuit value problemsPeter J. Varman, Kshitij Doshi. 175-182 [doi]
• Quicksort algorithms with an early exit for sorted subfilesRoger L. Wainwright. 183-190 [doi]
• A very high level language for large-grained data flowHilda M. Standley. 191-195 [doi]
• Manifolds: a very high-level conceptual framework of interprocess synchronization and communicationChyuan Samuel Hsieh, Elizabeth A. Unger. 196-204 [doi]
• On solving large maximum concurrent flow problemsFarhad Shahrokhi, David W. Matula. 205-209 [doi]
• Formalization of operations and function definitions in a functional programming language for data structuresJohn C. Thompson, Reza Sanati-Mehrizy. 210-219 [doi]
• A pivotal function approach to estimation and prediction for a model of software reliabilityKelly J. Dotson. 220-224 [doi]
• A method to improve testing and debugging in robotic programs using attribute grammarsMary Anne O Connor, Karen A. Lemone. 225-230 [doi]
• A parallel algorithm for finding a maximum flow in 0-1 networksLiwu Li, T. Anthony Marsland. 231-234 [doi]
• A routing algorithm for three stage rearrangeable Clos networksRalph W. Wilkerson. 235-238 [doi]
• Improved sorting algorithms for parallel computersArvin Park, Krishnaswamy Balasubramanian. 239-244 [doi]
• On efficient balanced codesGuan Jiwen, Victor R. Lesser. 245-248 [doi]
• A computer based model of life transitionsElizabeth A. Hansen, Max R. Raines. 249-253 [doi]
• On optimal algorithms for solving bi-valued game treesHarold W. Martin, Terrance L. Seethoff. 254-260 [doi]
• Modified M-timed Petri nets in modelling and performance evaluation of systemsWlodzimierz M. Zuberek. 261-268 [doi]
• Exploring operating system internals with workstationsCharles M. Shub. 269-272 [doi]
• Concept and synthesis of an operating system nucleus implemented in computer hardwareJan Kazimierczak. 273-284 [doi]
• An extensible static analysis tool for COBOL programsWarren Harrison. 285-291 [doi]
• Infuse: a tool for automatically managing and coordinating source changes in large systemsDewayne E. Perry, Gail E. Kaiser. 292-299 [doi]
• A multi-language syntax-directed editorDonald J. Bagert, Donald K. Friesen. 300-302 [doi]
• Information for competitive advantage: implications for computer science educationRandall E. Kobetich. 303-306 [doi]
• A partnership - school and computer science work experiences: a career component to the curriculumMelvin Simms. 307-310 [doi]
• Brit bits: computer science in British further educationDonna M. Kaminski. 311-314 [doi]
• Intelligent computer-based instructionM. C. Lee, P. A. Samet. 315-319 [doi]
• What is computer literacy: the sham, the imposter, and the misdirectedEli Cohen. 320-322 [doi]
• Examining the problems of computer-based anxiety: a systemic approachStephen R. Ruth, Ella P. Gardner, Barry Render. 323-326 [doi]
• Bringing algorithms to lifeJohn Sigle. 327-335 [doi]
• Teaching principles of computer programmingHarlan D. Mills, Victor R. Basili, John D. Gannon, Richard G. Hamlet. 336-341 [doi]
• Two methods of instruction for an introductory computer programming course: a language oriented vs a non-language oriented method of instructionAndrew Tellop. 342-347 [doi]
• The role of truth maintenance in model-based reasoning (abstract only)Richard Pikes. 349 [doi]
• Intelligent systems for statistical process control in steel (abstract only)Mustafa A. Kamal. 351 [doi]
• Manhattanville College expert academic advisor - preliminary report (abstract only)Gerard Kiernan, Arnold Koltun, George Psihountas, Edward N. Schwartz. 352 [doi]
• Liability for malfunction of medical expert systems - why an expert system is like a power saw (abstract only)Elizabeth S. Adams, Mary W. Gray. 353 [doi]
• ARMS: arbitrary robot modelling system (abstract only)William R. Gerlt. 354 [doi]
• Project management expert system (abstract only)Hideki Sato, Hitoshi Matsumoto, Hiroki Iciki. 355 [doi]
• Human factors considerations in the design of a multiple source expert system for military applications (abstract only)Gail F. Halkias, Kevin D. Reilly. 356 [doi]
• The design of a packet capturing system for measuring IEEE802.5 Token-Ring performances (abstract only)Dennis S. Mok. 357 [doi]
• A fourth order spline method for singular two-point boundary value problems (abstract only)M. M. Chawla, R. Subramanian, H. L. Sathi. 358 [doi]
• A frame-based approach to hardware verification (abstract only)Wei Si Jiang, William G. Wee. 359 [doi]
• A parallel inference engine (PIE) (abstract only)Haerim Lee, Warren Moseley. 360 [doi]
• An algorithm to minimally decompose a rectilinear figure into rectangles (abstract only)R. Shantaram, John Stewart. 361 [doi]
• Formal verification of systolic networks using theorem proving techniques (abstract only)David Y. Y. Yun, Y. Yun, Chang-Nian Zhang. 362 [doi]
• An algebraic approach to multidimensional convolution (abstract only)Ricardo Ferré. 363 [doi]
• A mixed integer mathematical programming model solution using branch and bound techniques (abstract only)Lung Chiang Wu, Harry K. Edwards. 364 [doi]
• Min-max sort: a simple sorting method (abstract only)Narayan Murthy. 365 [doi]
• Property computation in Grapple (abstract only)Robert L. Sedlmeyer, Marc J. Lipman. 366 [doi]
• The theoretical distribution of the Goodman-Kruskal statistic (abstract only)Christos Nikolopoulos. 367 [doi]
• A relational data model to represent meaning in natural language sentences (abstract only)C. B. Balogh, M. E. Balogh. 368 [doi]
• Grammatical relational database model (abstract only)Behrooz K. Seyed-Abbassi, John C. Thompson. 369 [doi]
• Database prototyping and implementation (abstract only)D. R. Beuerman. 370 [doi]
• Reliable distributed database systems (abstract only)Sang Hyuk Son. 371 [doi]
• Inter-relational information and incompleteness in relational databases (abstract only)R. B. Abhyankar, R. L. Kashyap. 372 [doi]
• Comparative analysis of dBase by students (abstract only)James E. Benjamin. 373 [doi]
• Space saving key-lock access control system (abstract only)Trong Wu. 374 [doi]
• Logic programming in LISP with controlled search (abstract only)R. B. Abhyankar, N. Baharam. 375 [doi]
• Integration of problem-solving entities and processing entities in a coherent model; basis of a method of application (abstract only)Bernard Huet. 376 [doi]
• Implementing knowledge bases on secondary storage (abstract only)Jerry D. Smith. 377 [doi]
• Toward more efficient and flexible expert systems via database design (abstract only)Frank D. Anger, Rita V. Rodríguez, Douglas D. Dankel II. 378 [doi]
• MEND (abstract only): a self-improving diagnostic with deep knowledgeMichael L. Morgan, Michael L. Arington. 379 [doi]
• A journalistic explanation facility for an expert system shell (abstract only)James R. Slagle, Michael R. Wick. 380 [doi]
• Modula-2 input/output procedure using polymorphic and open-ended data type extensions (abstract only)Thomas R. Leap. 381 [doi]
• The adaptability of Ada as a language for expert systems (abstract only)Edward L. Bosworth Jr.. 382 [doi]
• Simultaneous presentation in text generation (abstract only)Kenneth R. Lee. 383 [doi]
• A functional language architecture that supports fine-grain parallelism (extended abstract)James A. Davis. 384 [doi]
• Critique of SIMAN as a programming language (abstract only)David J. Thuente. 385 [doi]
• Combining explanation based generalization with the learning of macro operators (abstract only)Gregory A. Frascadore. 386 [doi]
• In search of heuristics for keyword detection (abstract only): my source of discontentAmos O. Olagunju. 387 [doi]
• Information systems as implementations (abstract only)Roger L. Norton. 388 [doi]
• SLAW (abstract only): a language free environment - future directions and researchMichael V. Doran, Steven W. Sheasby, Victor J. Law. 389 [doi]
• Software protection of micro computer software (abstract only)T. F. Higginbotham. 390 [doi]
• On the identity of decision support systems (abstract only)M. B. Ayati. 391 [doi]
• A probabilistic similarity index between binary vectors for questionnaire data analysis (abstract only)Xiaobo Li. 392 [doi]
• Computation of pressure distribution on the surface of a vehicle (abstract only)Chaman L. Sabharwal. 393 [doi]
• Representation of an arbitrary tubular surface for CAD/CAM (abstract only)James D. Factor, Chaman L. Sabharwal. 394 [doi]
• Syntactic approach to image analysis (abstract only)T. K. Ho, Edward T. Lee, T. T. Ho. 395 [doi]
• Image measurement and recognition (abstract only)Edward T. Lee, R. T. Wu, C.-C. Huang. 396 [doi]
• Qualitative reasoning about fit (abstract only)Douglas S. Green, David C. Brown. 397 [doi]
• A geometry package in Ada (abstract only)Karl Rehmer, Linda Rising. 398 [doi]
• Shape from projected light grid (abstract only)Neelima Shrikhande. 399 [doi]
• A polygon matching problem in computer vision (abstract only)L. W. Brinn. 400 [doi]
• IGKS (abstract only): an integrated image processing and graphics environmentGeorges G. Grinstein. 401 [doi]
• Using animated color graphics to illustrate software and hardware organizations (abstract only)Thomas Philip. 402 [doi]
• Expert systems in lease accounting (abstract only)James Harris, Galen Rupp. 403 [doi]
• PCDEC, an interactive decision table system for personal computers (abstract only)Begonia Bi-Hsia Tai, Leonard H. Weiner. 404 [doi]
• A comparison of the effects of structured vs. non-structured and modularized vs. non-modularized programs on run time (abstract only)Domenick J. Pinto, Sandra K. Honda. 405 [doi]
• What is the proper size of a program module? (abstract only)Yin-min Wei, Edgar Howell. 406 [doi]
• The design of an applications development system for a laser videodisc workstation (abstract only)Darleen V. Pigford, Greg R. Baur. 407 [doi]
• A niche for structured flowcharts (abstract only)David A. Scanlan. 408 [doi]
• A comparison of two object-oriented design methodologies (abstract only)Linda Rising. 409 [doi]
• Peer group software reviews in university education for software engineering (abstract only)John A. Cross. 410 [doi]
• An expert tutor in the SLAW programming environment (abstract only)Michael V. Doran. 411 [doi]
• KAOS (abstract only): a knowledge aided operator s system for the VM operator s consoleKathleen O Neil Lossau. 412 [doi]
• Towards conceptualisation of physical object propositions (abstract only)R. Sadananda, Nizam Uddin Ahmed. 413 [doi]
• Time representation based on knowledge partitioning (abstract only)Madhukar N. Thakur, John Dinsmore. 414 [doi]
• Knowledge and reasoning in graph theory research (abstract only)Marc J. Lipman, Robert L. Sedlmeyer. 415 [doi]
• A multi-agent planning system (abstract only)Kai-Hsiung Chang. 416 [doi]
• Do women fear computers? (abstract only)Joy M. Callan. 417 [doi]
• Expert-VSim (abstract only): an expert simulation environmentEnrique V. Kortright. 418 [doi]
• A fuzzy-power factor correction (abstract only)Mahmoud A. Manzoul, Venkateshwar B. Rao. 419 [doi]
• Robots and management techniques (abstract only)Robert A. Fleck Jr., Ruth Ann P. Fleck. 420 [doi]
• Lincoln log factory of the future (LIFOF) (abstract only)Patrick D. Krolak. 421 [doi]
• The process allocation in parallel interpretation of logic programs (abstract only)Wen-Kai Chung, William B. Day. 422 [doi]
• A parallel processing approach to image object labeling problems (abstract only)Zhixi Fang, Xiaobo Li. 423 [doi]
• Compilers and parallel architectures (abstract only): sequential to parallel mapping strategiesRoger Olmstead. 424 [doi]
• Semantic parallelization (abstract only): a non-standard denotational approach for imperative programs parallelizationPierre Jouvelot. 425 [doi]
• Parsing in a multiprocessor environment (abstract only)Aron K. Insinga, Karen A. Lemone. 426 [doi]
• Structured techniques for IMIS (Integrated Maintenance Information System) software development - a case studyRaghava G. Gowda. 427 [doi]
• The changing role of the university computer center (abstract only)T. F. Higginbotham. 428 [doi]
• Teaching assembly language on the Macintosh (abstract only)Clinton R. Foulk. 429 [doi]
• On the use of personal computers in teaching the principles of concurrent processing (abstract only)Harvey Glass. 430 [doi]
• Software engineering at the University of Dayton (abstract only)Raghava G. Gowda, Leon E. Winslow. 431 [doi]
• Adaptive approaches to structural software testing (abstract only)J. Paul Myers Jr.. 432 [doi]
• Realization of a multi-valued inner product step processor using CCD s (abstract only)Mahmoud A. Manzoul, Jia-Yuan Han. 433 [doi]
• A quaternary complex number CCD adder (abstract only)Mahmoud A. Manzoul. 434 [doi]
• A parallel architecture for rapid image generation and analysis (abstract only)Rosalee Nerheim. 435 [doi]
• A multiprogramming stand alone systolic data flow machine (abstract only)Doron Tal. 436 [doi]
• On rational solution of the state equation of a finite automation (abstract only)R. Chaudhuri, Hartmut Höft. 437 [doi]
• Computing multiple modulo summation (abstract only): a new algorithm, its VLSI designs and applicationsChang-Nian Zhang, Behrooz Shirazi, David Y. Y. Yun. 438 [doi]
• Algorithms for covering and packing and applications to CAD/CAM (abstract only): preliminary resultsDavid M. Mount, Ruth Silverman. 439 [doi]
• Algorithms for paths in the lattice of topologies on finite sets (abstract only)H. Levinson, Ruth Silverman. 440 [doi]
• Surviving the many-person dilemna (abstract only)Rhys Price Jones. 441 [doi]
• An expert system for tuning a macroeconometric model (abstract only)Gerald J. Stuzin. 442 [doi]
• Computer use and grades (abstract only)Prabodh K. Goel, Bruce R. Long. 443 [doi]
• Simulating human problem solving which requires successive decisions (abstract only)Abraham Waksman. 444 [doi]
• A demographic and attitudinal profile of general education students in a CS survey course (abstract only)Paul J. Will. 445 [doi]
• Associations of student characteristics to measures of introductory Pascal computer programming achievement for suburban community college students (abstract only)Henry Stewart Austin. 446 [doi]
• Conducting a survey of community computer resources (abstract only)Robert Leeper. 447 [doi]
• An evaluation of presentation methods for CAL (abstract only)Jane M. Fritz. 448 [doi]
• Predicting success of a beginning computer course using logistic regression (abstract only)Ashraful A. Chowdhury, C. Van Nelson, Clinton P. Fuelling, Roy L. McCormick. 449 [doi]
• Professional education for secondary computer science (abstract only)Kathleen Pearson. 450 [doi]
• Conducting a survey of computer technology graduates (abstract only)Dale K. Hockensmith. 451 [doi]
• An expert system for evaluation of sports injuries (abstract only)J. M. Gardner, J. H. Morrel, K. E. Lagle. 452 [doi]
• Groundwater model selector (abstract only)B. Pille, L. R. Medsker. 453 [doi]
• An expert system for selecting a development tool (abstract only)S. Cole, Larry R. Medsker, J. H. Morrel. 454 [doi]
• Programming language selector (abstract only)K. E. Lagle, J. M. Gardner, J. H. Morrel, Larry R. Medsker. 455 [doi]
• College guidance counselor (abstract only)T. Reid, Larry R. Medsker. 456 [doi]
• A reconfigurable software style expert system (abstract only)Robert A. Schmitt. 457 [doi]
• A distributed measurement technique for an operating ethernet network (abstract only)D. W. Jacobson. 458 [doi]
• Robustness of the destination tag based routing algorithm for the control of unique path networks (abstract only)Abdulraouf Y. Al-Hallaq. 459 [doi]
• On communication software testing (abstract only)Sanjiv Ahuja. 460 [doi]
• Implementation of a local area network (abstract only)Sherry Lesiker. 461 [doi]
• An approach to parallel architecture modelling (abstract only)K. K. Bagchi, P. K. Das, B. B. Bhaumik. 462 [doi]
• The porting of XINU to the system 370 VM/CMS environment (abstract only)Yesh C. Pendarkar. 463-464 [doi]
• Load leveling for control of distributed processing systems (abstract only)H. W. Tyler, G. Ramakrishnan. 465 [doi]