ACM Conference on Computer Science 1987: St. Louis, Missouri, USA
Pat Davis, Vicki McClintock (Eds.): Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987. ACM 1987 ISBN 0-89791-218-7- Phillip C.-Y. Sheu: Conjunctive planning problems with constrained goal interactions. 2-6
- Frank N. Kautzmann III: A methodology for multiple rule system integration and resolutions within a singular knowledge base. 16-26
- Neven Jurkovic: An intelligent tutor for high-school algebra. 27-31
- T. M. Rao, Sharon Coleman, Carol Hollenbeck: ADVISOR - an expert system for student advisement. 32-35
- Mary Micco: An undergraduate curriculum in expert systems design or knowledge engineering. 36-39
- Yoshifumi Ooyama, Masahiro Miyazaki, Satoru Ikehara: Natural language processing in a Japanese text-to-speech system. 40-47
- Lynne E. Davis, Joseph Woodland: Retirement savings plan advisor: a knowledge-based expert system for tax deferred savings investing. 48-52
- Gautam Biswas, Manton M. Matthews, Antang Huang: An assistance system for UNIX text formatters. 53-57
- Günther Blaschek, Gustav Pomberger: Moses: a graphics oriented software development environment. 58-66
- Alan Heirich: UIG: the User Interface Generator. 67-73
- Sushil V. Pillai, Ramanatham Gudipati, Leszek Lilien: Design issues and an architecture for a heterogenous multidatabase system. 74-79
- James R. Rowland, Gregg T. Vesonder: Incremental conceptual clustering from existing databases. 80-87
- Richard J. Reid: Interactive digital-simulation laboratory gains special components. 98-102
- Yoram Ofek: A family of conservative codes with block delimiters for decoding without a phase-locked loop. 103-107
- Herbert H. Snyder, Ralph W. Wilkerson: A symbolic computation method of analytic solution of the mixed Direchlet-Neumann-Robin problem for LaPlace's equation. 108-113
- Carolyn R. Watters, Michael A. Shepherd, W. Robertson, K. H. Lee: An expert system for bibliographic retrieval using Prolog. 120-127
- Ronald L. Sobczak, Manton M. Matthews, Gautam Biswas: A response generation mechanism for an intelligent active assistance system. 128-132
- Lee A. Becker, Luke Immes: An approach to automating knowledge acquisition for expert systems: annotated traces -> diagnostic hierarchies. 133-137
- Stuart Hirshfield: Coordinating existing expert systems. 144-148
- Yuan Y. Sung: Sensitivity problem in dynamic file organization. 149-153
- Bogdan D. Czejdo, Ramez Elmasri, Marek Rusinkiewicz, David W. Embley: An algebraic language for graphical query formulation using an extended entity-relationship model. 154-161
- C. Alec Chang, Michael S. Leonard, H. Brian Hwarng, Tzong-Huie Shiau: A pegging method for decomposing relations in databases. 162-165
- Peter J. Varman, Kshitij Doshi: Improved parallel algorithms for the depth-first search and monotone circuit value problems. 175-182
- Roger L. Wainwright: Quicksort algorithms with an early exit for sorted subfiles. 183-190
- Hilda M. Standley: A very high level language for large-grained data flow. 191-195
- Chyuan Samuel Hsieh, Elizabeth A. Unger: Manifolds: a very high-level conceptual framework of interprocess synchronization and communication. 196-204
- John C. Thompson, Reza Sanati-Mehrizy: Formalization of operations and function definitions in a functional programming language for data structures. 210-219
- Kelly J. Dotson: A pivotal function approach to estimation and prediction for a model of software reliability. 220-224
- Mary Anne O'Connor, Karen A. Lemone: A method to improve testing and debugging in robotic programs using attribute grammars. 225-230
- Liwu Li, T. Anthony Marsland: A parallel algorithm for finding a maximum flow in 0-1 networks. 231-234
- Ralph W. Wilkerson: A routing algorithm for three stage rearrangeable Clos networks. 235-238
- Arvin Park, Krishnaswamy Balasubramanian: Improved sorting algorithms for parallel computers. 239-244
- Harold W. Martin, Terrance L. Seethoff: On optimal algorithms for solving bi-valued game trees. 254-260
- Wlodzimierz M. Zuberek: Modified M-timed Petri nets in modelling and performance evaluation of systems. 261-268
- Charles M. Shub: Exploring operating system internals with workstations. 269-272
- Jan Kazimierczak: Concept and synthesis of an operating system nucleus implemented in computer hardware. 273-284
- Warren Harrison: An extensible static analysis tool for COBOL programs. 285-291
- Dewayne E. Perry, Gail E. Kaiser: Infuse: a tool for automatically managing and coordinating source changes in large systems. 292-299
- Randall E. Kobetich: Information for competitive advantage: implications for computer science education. 303-306
- Melvin Simms: A partnership - school and computer science work experiences: a career component to the curriculum. 307-310
- Donna M. Kaminski: Brit bits: computer science in British further education. 311-314
- Eli Cohen: What is computer literacy: the sham, the imposter, and the misdirected. 320-322
- Stephen R. Ruth, Ella P. Gardner, Barry Render: Examining the problems of computer-based anxiety: a systemic approach. 323-326
- John Sigle: Bringing algorithms to life. 327-335
- Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard G. Hamlet: Teaching principles of computer programming. 336-341
- Andrew Tellop: Two methods of instruction for an introductory computer programming course: a language oriented vs a non-language oriented method of instruction. 342-347
- Richard Pikes: The role of truth maintenance in model-based reasoning (abstract only). 349
- Mustafa A. Kamal: Intelligent systems for statistical process control in steel (abstract only). 351
- Gerard Kiernan, Arnold Koltun, George Psihountas, Edward N. Schwartz: Manhattanville College expert academic advisor - preliminary report (abstract only). 352
- Elizabeth S. Adams, Mary W. Gray: Liability for malfunction of medical expert systems - why an expert system is like a power saw (abstract only). 353
- William R. Gerlt: ARMS: arbitrary robot modelling system (abstract only). 354
- Gail F. Halkias, Kevin D. Reilly: Human factors considerations in the design of a multiple source expert system for military applications (abstract only). 356
- Dennis S. Mok: The design of a packet capturing system for measuring IEEE802.5 Token-Ring performances (abstract only). 357
- M. M. Chawla, R. Subramanian, H. L. Sathi: A fourth order spline method for singular two-point boundary value problems (abstract only). 358
- R. Shantaram, John Stewart: An algorithm to minimally decompose a rectilinear figure into rectangles (abstract only). 361
- David Y. Y. Yun, Y. Yun, Chang Nian Zhang: Formal verification of systolic networks using theorem proving techniques (abstract only). 362
- Ricardo Ferré: An algebraic approach to multidimensional convolution (abstract only). 363
- Lung Chiang Wu, Harry K. Edwards: A mixed integer mathematical programming model solution using branch and bound techniques (abstract only). 364
- Narayan Murthy: Min-max sort: a simple sorting method (abstract only). 365
- Christos Nikolopoulos: The theoretical distribution of the Goodman-Kruskal statistic (abstract only). 367
- C. B. Balogh, M. E. Balogh: A relational data model to represent meaning in natural language sentences (abstract only). 368
- Behrooz K. Seyed-Abbassi, John C. Thompson: Grammatical relational database model (abstract only). 369
- D. R. Beuerman: Database prototyping and implementation (abstract only). 370
- Sang Hyuk Son: Reliable distributed database systems (abstract only). 371
- R. B. Abhyankar, R. L. Kashyap: Inter-relational information and incompleteness in relational databases (abstract only). 372
- James E. Benjamin: Comparative analysis of dBase by students (abstract only). 373
- Trong Wu: Space saving key-lock access control system (abstract only). 374
- Bernard Huet: Integration of problem-solving entities and processing entities in a coherent model; basis of a method of application (abstract only). 376
- Jerry D. Smith: Implementing knowledge bases on secondary storage (abstract only). 377
- Frank D. Anger, Rita V. Rodríguez, Douglas D. Dankel II: Toward more efficient and flexible expert systems via database design (abstract only). 378
- Michael L. Morgan, Michael L. Arington: MEND (abstract only): a self-improving diagnostic with deep knowledge. 379
- James R. Slagle, Michael R. Wick: A journalistic explanation facility for an expert system shell (abstract only). 380
- Thomas R. Leap: Modula-2 input/output procedure using polymorphic and open-ended data type extensions (abstract only). 381
- Edward L. Bosworth Jr.: The adaptability of Ada as a language for expert systems (abstract only). 382
- Kenneth R. Lee: Simultaneous presentation in text generation (abstract only). 383
- James A. Davis: A functional language architecture that supports fine-grain parallelism (extended abstract). 384
- David J. Thuente: Critique of SIMAN as a programming language (abstract only). 385
- Gregory A. Frascadore: Combining explanation based generalization with the learning of macro operators (abstract only). 386
- Amos O. Olagunju: In search of heuristics for keyword detection (abstract only): my source of discontent. 387
- Roger L. Norton: Information systems as implementations (abstract only). 388
- Michael V. Doran, Steven W. Sheasby, Victor J. Law: SLAW (abstract only): a language free environment - future directions and research. 389
- T. F. Higginbotham: Software protection of micro computer software (abstract only). 390
- M. B. Ayati: On the identity of decision support systems (abstract only). 391
- Xiaobo Li: A probabilistic similarity index between binary vectors for questionnaire data analysis (abstract only). 392
- Chaman L. Sabharwal: Computation of pressure distribution on the surface of a vehicle (abstract only). 393
- James D. Factor, Chaman L. Sabharwal: Representation of an arbitrary tubular surface for CAD/CAM (abstract only). 394
- Neelima Shrikhande: Shape from projected light grid (abstract only). 399
- L. W. Brinn: A polygon matching problem in computer vision (abstract only). 400
- Georges G. Grinstein: IGKS (abstract only): an integrated image processing and graphics environment. 401
- Thomas Philip: Using animated color graphics to illustrate software and hardware organizations (abstract only). 402
- Begonia Bi-Hsia Tai, Leonard H. Weiner: PCDEC, an interactive decision table system for personal computers (abstract only). 404
- Domenick J. Pinto, Sandra K. Honda: A comparison of the effects of structured vs. non-structured and modularized vs. non-modularized programs on run time (abstract only). 405
- Darleen V. Pigford, Greg R. Baur: The design of an applications development system for a laser videodisc workstation (abstract only). 407
- David A. Scanlan: A niche for structured flowcharts (abstract only). 408
- Linda Rising: A comparison of two object-oriented design methodologies (abstract only). 409
- John A. Cross: Peer group software reviews in university education for software engineering (abstract only). 410
- Michael V. Doran: An expert tutor in the SLAW programming environment (abstract only). 411
- Kathleen O'Neil Lossau: KAOS (abstract only): a knowledge aided operator's system for the VM operator's console. 412
- R. Sadananda, Nizam Uddin Ahmed: Towards conceptualisation of physical object propositions (abstract only). 413
- Madhukar N. Thakur, John Dinsmore: Time representation based on knowledge partitioning (abstract only). 414
- Marc J. Lipman, Robert L. Sedlmeyer: Knowledge and reasoning in graph theory research (abstract only). 415
- Kai-Hsiung Chang: A multi-agent planning system (abstract only). 416
- Joy M. Callan: Do women fear computers? (abstract only). 417
- Enrique V. Kortright: Expert-VSim (abstract only): an expert simulation environment. 418
- Patrick D. Krolak: Lincoln log factory of the future (LIFOF) (abstract only). 421
- Wen-Kai Chung, William B. Day: The process allocation in parallel interpretation of logic programs (abstract only). 422
- Zhixi Fang, Xiaobo Li: A parallel processing approach to image object labeling problems (abstract only). 423
- Roger Olmstead: Compilers and parallel architectures (abstract only): sequential to parallel mapping strategies. 424
- Pierre Jouvelot: Semantic parallelization (abstract only): a non-standard denotational approach for imperative programs parallelization. 425
- Raghava G. Gowda: Structured techniques for IMIS (Integrated Maintenance Information System) software development - a case study. 427
- T. F. Higginbotham: The changing role of the university computer center (abstract only). 428
- Clinton R. Foulk: Teaching assembly language on the Macintosh (abstract only). 429
- Harvey Glass: On the use of personal computers in teaching the principles of concurrent processing (abstract only). 430
- Raghava G. Gowda, Leon E. Winslow: Software engineering at the University of Dayton (abstract only). 431
- J. Paul Myers Jr.: Adaptive approaches to structural software testing (abstract only). 432
- Mahmoud A. Manzoul, Jia-Yuan Han: Realization of a multi-valued inner product step processor using CCD's (abstract only). 433
- Mahmoud A. Manzoul: A quaternary complex number CCD adder (abstract only). 434
- Rosalee Nerheim: A parallel architecture for rapid image generation and analysis (abstract only). 435
- Doron Tal: A multiprogramming stand alone systolic data flow machine (abstract only). 436
- R. Chaudhuri, Hartmut Höft: On rational solution of the state equation of a finite automation (abstract only). 437
- Chang Nian Zhang, Behrooz Shirazi, David Y. Y. Yun: Computing multiple modulo summation (abstract only): a new algorithm, its VLSI designs and applications. 438
- David M. Mount, Ruth Silverman: Algorithms for covering and packing and applications to CAD/CAM (abstract only): preliminary results. 439
- H. Levinson, Ruth Silverman: Algorithms for paths in the lattice of topologies on finite sets (abstract only). 440
- Rhys Price Jones: Surviving the many-person dilemna (abstract only). 441
- Gerald J. Stuzin: An expert system for tuning a macroeconometric model (abstract only). 442
- Abraham Waksman: Simulating human problem solving which requires successive decisions (abstract only). 444
- Paul J. Will: A demographic and attitudinal profile of general education students in a CS survey course (abstract only). 445
- Henry Stewart Austin: Associations of student characteristics to measures of introductory Pascal computer programming achievement for suburban community college students (abstract only). 446
- Robert Leeper: Conducting a survey of community computer resources (abstract only). 447
- Jane M. Fritz: An evaluation of presentation methods for CAL (abstract only). 448
- Ashraful A. Chowdhury, C. Van Nelson, Clinton P. Fuelling, Roy L. McCormick: Predicting success of a beginning computer course using logistic regression (abstract only). 449
- Kathleen Pearson: Professional education for secondary computer science (abstract only). 450
- Dale K. Hockensmith: Conducting a survey of computer technology graduates (abstract only). 451
- J. M. Gardner, J. H. Morrel, K. E. Lagle: An expert system for evaluation of sports injuries (abstract only). 452
- S. Cole, Larry R. Medsker, J. H. Morrel: An expert system for selecting a development tool (abstract only). 454
- K. E. Lagle, J. M. Gardner, J. H. Morrel, Larry R. Medsker: Programming language selector (abstract only). 455
- Robert A. Schmitt: A reconfigurable software style expert system (abstract only). 457
- D. W. Jacobson: A distributed measurement technique for an operating ethernet network (abstract only). 458
- Abdulraouf Y. Al-Hallaq: Robustness of the destination tag based routing algorithm for the control of unique path networks (abstract only). 459
- Sanjiv Ahuja: On communication software testing (abstract only). 460
- Sherry Lesiker: Implementation of a local area network (abstract only). 461
- K. K. Bagchi, Pradip K. Das, B. B. Bhaumik: An approach to parallel architecture modelling (abstract only). 462
- Yesh C. Pendarkar: The porting of XINU to the system 370 VM/CMS environment (abstract only). 463-464
- H. W. Tyler, G. Ramakrishnan: Load leveling for control of distributed processing systems (abstract only). 465
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team