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
Last update Mon May 20 22:22:48 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page
- Phillip C.-Y. Sheu:
Conjunctive planning problems with constrained goal interactions.
- Thomas Sudkamp, Robert Shanahan:
Analysis of heurisitc search models.
- Frank N. Kautzmann III:
A methodology for multiple rule system integration and resolutions within a singular knowledge base.
- Neven Jurkovic:
An intelligent tutor for high-school algebra.
- T. M. Rao, Sharon Coleman, Carol Hollenbeck:
ADVISOR - an expert system for student advisement.
- Mary Micco:
An undergraduate curriculum in expert systems design or knowledge engineering.
- Yoshifumi Ooyama, Masahiro Miyazaki, Satoru Ikehara:
Natural language processing in a Japanese text-to-speech system.
- Lynne E. Davis, Joseph Woodland:
Retirement savings plan advisor: a knowledge-based expert system for tax deferred savings investing.
- Gautam Biswas, Manton M. Matthews, Antang Huang:
An assistance system for UNIX text formatters.
- Günther Blaschek, Gustav Pomberger:
Moses: a graphics oriented software development environment.
- Alan Heirich:
UIG: the User Interface Generator.
- Sushil V. Pillai, Ramanatham Gudipati, Leszek Lilien:
Design issues and an architecture for a heterogenous multidatabase system.
- James R. Rowland, Gregg T. Vesonder:
Incremental conceptual clustering from existing databases.
- Raj Sekhar Pamula, Pradip K. Srimani:
Checkpointing strategies for database systems.
- Richard J. Reid:
Interactive digital-simulation laboratory gains special components.
- Yoram Ofek:
A family of conservative codes with block delimiters for decoding without a phase-locked loop.
- Herbert H. Snyder, Ralph W. Wilkerson:
A symbolic computation method of analytic solution of the mixed Direchlet-Neumann-Robin problem for LaPlace's equation.
- Sreerama K. Karukonda, Edward T. Lee, Peter P. Chen:
Design of a pictorial knowledgebase.
- Carolyn R. Watters, Michael A. Shepherd, W. Robertson, K. H. Lee:
An expert system for bibliographic retrieval using Prolog.
- Ronald L. Sobczak, Manton M. Matthews, Gautam Biswas:
A response generation mechanism for an intelligent active assistance system.
- Lee A. Becker, Luke Immes:
An approach to automating knowledge acquisition for expert systems: annotated traces -> diagnostic hierarchies.
- Wei Si Jiang, William G. Wee:
Commonsense reasoning in Prolog.
- Stuart Hirshfield:
Coordinating existing expert systems.
- Yuan Y. Sung:
Sensitivity problem in dynamic file organization.
- Bogdan D. Czejdo, Ramez Elmasri, Marek Rusinkiewicz, David W. Embley:
An algebraic language for graphical query formulation using an extended entity-relationship model.
- C. Alec Chang, Michael S. Leonard, H. Brian Hwarng, Tzong-Huie Shiau:
A pegging method for decomposing relations in databases.
- A. Mahanti, K. Ray:
Heuristic search in networks with modifiable estimate.
- Peter J. Varman, Kshitij Doshi:
Improved parallel algorithms for the depth-first search and monotone circuit value problems.
- Roger L. Wainwright:
Quicksort algorithms with an early exit for sorted subfiles.
- Hilda M. Standley:
A very high level language for large-grained data flow.
- Chyuan Samuel Hsieh, Elizabeth A. Unger:
Manifolds: a very high-level conceptual framework of interprocess synchronization and communication.
- Farhad Shahrokhi, David W. Matula:
On solving large maximum concurrent flow problems.
- John C. Thompson, Reza Sanati-Mehrizy:
Formalization of operations and function definitions in a functional programming language for data structures.
- Kelly J. Dotson:
A pivotal function approach to estimation and prediction for a model of software reliability.
- Mary Anne O'Connor, Karen A. Lemone:
A method to improve testing and debugging in robotic programs using attribute grammars.
- Liwu Li, T. Anthony Marsland:
A parallel algorithm for finding a maximum flow in 0-1 networks.
- Ralph W. Wilkerson:
A routing algorithm for three stage rearrangeable Clos networks.
- Arvin Park, Krishnaswamy Balasubramanian:
Improved sorting algorithms for parallel computers.
- Jiwen Guan, Victor R. Lesser:
On efficient balanced codes.
- Elizabeth A. Hansen, Max R. Raines:
A computer based model of life transitions.
- Harold W. Martin, Terrance L. Seethoff:
On optimal algorithms for solving bi-valued game trees.
- Wlodzimierz M. Zuberek:
Modified M-timed Petri nets in modelling and performance evaluation of systems.
- Charles M. Shub:
Exploring operating system internals with workstations.
- Jan Kazimierczak:
Concept and synthesis of an operating system nucleus implemented in computer hardware.
- Warren Harrison:
An extensible static analysis tool for COBOL programs.
- Dewayne E. Perry, Gail E. Kaiser:
Infuse: a tool for automatically managing and coordinating source changes in large systems.
- Donald J. Bagert, Donald K. Friesen:
A multi-language syntax-directed editor.
- Randall E. Kobetich:
Information for competitive advantage: implications for computer science education.
- Melvin Simms:
A partnership - school and computer science work experiences: a career component to the curriculum.
- Donna M. Kaminski:
Brit bits: computer science in British further education.
- M. C. Lee, P. A. Samet:
Intelligent computer-based instruction.
- Eli Cohen:
What is computer literacy: the sham, the imposter, and the misdirected.
- Stephen R. Ruth, Ella P. Gardner, Barry Render:
Examining the problems of computer-based anxiety: a systemic approach.
- John Sigle:
Bringing algorithms to life.
- Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard G. Hamlet:
Teaching principles of computer programming.
- Andrew Tellop:
Two methods of instruction for an introductory computer programming course: a language oriented vs a non-language oriented method of instruction.
- Richard Pikes:
The role of truth maintenance in model-based reasoning (abstract only).
- Mustafa A. Kamal:
Intelligent systems for statistical process control in steel (abstract only).
- Gerard Kiernan, Arnold Koltun, George Psihountas, Edward N. Schwartz:
Manhattanville College expert academic advisor - preliminary report (abstract only).
- Elizabeth S. Adams, Mary W. Gray:
Liability for malfunction of medical expert systems - why an expert system is like a power saw (abstract only).
- William R. Gerlt:
ARMS: arbitrary robot modelling system (abstract only).
- Hideki Sato, Hitoshi Matsumoto, Hiroki Iciki:
Project management expert system (abstract only).
- Gail F. Halkias, Kevin D. Reilly:
Human factors considerations in the design of a multiple source expert system for military applications (abstract only).
- Dennis S. Mok:
The design of a packet capturing system for measuring IEEE802.5 Token-Ring performances (abstract only).
- M. M. Chawla, R. Subramanian, H. L. Sathi:
A fourth order spline method for singular two-point boundary value problems (abstract only).
- Wei Si Jiang, William G. Wee:
A frame-based approach to hardware verification (abstract only).
- Haerim Lee, Warren Moseley:
A parallel inference engine (PIE) (abstract only).
- R. Shantaram, John Stewart:
An algorithm to minimally decompose a rectilinear figure into rectangles (abstract only).
- David Y. Y. Yun, Y. Yun, Chang Nian Zhang:
Formal verification of systolic networks using theorem proving techniques (abstract only).
- Ricardo Ferré:
An algebraic approach to multidimensional convolution (abstract only).
- Lung Chiang Wu, Harry K. Edwards:
A mixed integer mathematical programming model solution using branch and bound techniques (abstract only).
- Narayan Murthy:
Min-max sort: a simple sorting method (abstract only).
- Robert L. Sedlmeyer, Marc J. Lipman:
Property computation in Grapple (abstract only).
- Christos Nikolopoulos:
The theoretical distribution of the Goodman-Kruskal statistic (abstract only).
- C. B. Balogh, M. E. Balogh:
A relational data model to represent meaning in natural language sentences (abstract only).
- Behrooz K. Seyed-Abbassi, John C. Thompson:
Grammatical relational database model (abstract only).
- D. R. Beuerman:
Database prototyping and implementation (abstract only).
- Sang Hyuk Son:
Reliable distributed database systems (abstract only).
- R. B. Abhyankar, R. L. Kashyap:
Inter-relational information and incompleteness in relational databases (abstract only).
- James E. Benjamin:
Comparative analysis of dBase by students (abstract only).
- Trong Wu:
Space saving key-lock access control system (abstract only).
- R. B. Abhyankar, N. Baharam:
Logic programming in LISP with controlled search (abstract only).
- Bernard Huet:
Integration of problem-solving entities and processing entities in a coherent model; basis of a method of application (abstract only).
- Jerry D. Smith:
Implementing knowledge bases on secondary storage (abstract only).
- Frank D. Anger, Rita V. Rodríguez, Douglas D. Dankel II:
Toward more efficient and flexible expert systems via database design (abstract only).
- Michael L. Morgan, Michael L. Arington:
MEND (abstract only): a self-improving diagnostic with deep knowledge.
- James R. Slagle, Michael R. Wick:
A journalistic explanation facility for an expert system shell (abstract only).
- Thomas R. Leap:
Modula-2 input/output procedure using polymorphic and open-ended data type extensions (abstract only).
- Edward L. Bosworth Jr.:
The adaptability of Ada as a language for expert systems (abstract only).
- Kenneth R. Lee:
Simultaneous presentation in text generation (abstract only).
- James A. Davis:
A functional language architecture that supports fine-grain parallelism (extended abstract).
- David J. Thuente:
Critique of SIMAN as a programming language (abstract only).
- Gregory A. Frascadore:
Combining explanation based generalization with the learning of macro operators (abstract only).
- Amos O. Olagunju:
In search of heuristics for keyword detection (abstract only): my source of discontent.
- Roger L. Norton:
Information systems as implementations (abstract only).
- Michael V. Doran, Steven W. Sheasby, Victor J. Law:
SLAW (abstract only): a language free environment - future directions and research.
- T. F. Higginbotham:
Software protection of micro computer software (abstract only).
- M. B. Ayati:
On the identity of decision support systems (abstract only).
- Xiaobo Li:
A probabilistic similarity index between binary vectors for questionnaire data analysis (abstract only).
- Chaman L. Sabharwal:
Computation of pressure distribution on the surface of a vehicle (abstract only).
- James D. Factor, Chaman L. Sabharwal:
Representation of an arbitrary tubular surface for CAD/CAM (abstract only).
- T. K. Ho, Edward T. Lee, T. T. Ho:
Syntactic approach to image analysis (abstract only).
- Edward T. Lee, R. T. Wu, C. C. Huang:
Image measurement and recognition (abstract only).
- Douglas S. Green, David C. Brown:
Qualitative reasoning about fit (abstract only).
- Karl Rehmer, Linda Rising:
A geometry package in Ada (abstract only).
- Neelima Shrikhande:
Shape from projected light grid (abstract only).
- L. W. Brinn:
A polygon matching problem in computer vision (abstract only).
- Georges G. Grinstein:
IGKS (abstract only): an integrated image processing and graphics environment.
- Thomas Philip:
Using animated color graphics to illustrate software and hardware organizations (abstract only).
- James Harris, Galen Rupp:
Expert systems in lease accounting (abstract only).
- Begonia Bi-Hsia Tai, Leonard H. Weiner:
PCDEC, an interactive decision table system for personal computers (abstract only).
- 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).
- Yin-min Wei, Edgar Howell:
What is the proper size of a program module? (abstract only).
- Darleen V. Pigford, Greg R. Baur:
The design of an applications development system for a laser videodisc workstation (abstract only).
- David A. Scanlan:
A niche for structured flowcharts (abstract only).
- Linda Rising:
A comparison of two object-oriented design methodologies (abstract only).
- John A. Cross:
Peer group software reviews in university education for software engineering (abstract only).
- Michael V. Doran:
An expert tutor in the SLAW programming environment (abstract only).
- Kathleen O'Neil Lossau:
KAOS (abstract only): a knowledge aided operator's system for the VM operator's console.
- R. Sadananda, Nizam Uddin Ahmed:
Towards conceptualisation of physical object propositions (abstract only).
- Madhukar N. Thakur, John Dinsmore:
Time representation based on knowledge partitioning (abstract only).
- Marc J. Lipman, Robert L. Sedlmeyer:
Knowledge and reasoning in graph theory research (abstract only).
- Kai-Hsiung Chang:
A multi-agent planning system (abstract only).
- Joy M. Callan:
Do women fear computers? (abstract only).
- Enrique V. Kortright:
Expert-VSim (abstract only): an expert simulation environment.
- Mahmoud A. Manzoul, Venkateshwar B. Rao:
A fuzzy-power factor correction (abstract only).
- Robert A. Fleck Jr., Ruth Ann P. Fleck:
Robots and management techniques (abstract only).
- Patrick D. Krolak:
Lincoln log factory of the future (LIFOF) (abstract only).
- Wen-Kai Chung, William B. Day:
The process allocation in parallel interpretation of logic programs (abstract only).
- Zhixi Fang, Xiaobo Li:
A parallel processing approach to image object labeling problems (abstract only).
- Roger Olmstead:
Compilers and parallel architectures (abstract only): sequential to parallel mapping strategies.
- Pierre Jouvelot:
Semantic parallelization (abstract only): a non-standard denotational approach for imperative programs parallelization.
- Aron K. Insinga, Karen A. Lemone:
Parsing in a multiprocessor environment (abstract only).
- Raghava G. Gowda:
Structured techniques for IMIS (Integrated Maintenance Information System) software development - a case study.
- T. F. Higginbotham:
The changing role of the university computer center (abstract only).
- Clinton R. Foulk:
Teaching assembly language on the Macintosh (abstract only).
- Harvey Glass:
On the use of personal computers in teaching the principles of concurrent processing (abstract only).
- Raghava G. Gowda, Leon E. Winslow:
Software engineering at the University of Dayton (abstract only).
- J. Paul Myers Jr.:
Adaptive approaches to structural software testing (abstract only).
- Mahmoud A. Manzoul, Jia-Yuan Han:
Realization of a multi-valued inner product step processor using CCD's (abstract only).
- Mahmoud A. Manzoul:
A quaternary complex number CCD adder (abstract only).
- Rosalee Nerheim:
A parallel architecture for rapid image generation and analysis (abstract only).
- Doron Tal:
A multiprogramming stand alone systolic data flow machine (abstract only).
- R. Chaudhuri, Hartmut Höft:
On rational solution of the state equation of a finite automation (abstract only).
- Chang Nian Zhang, Behrooz Shirazi, David Y. Y. Yun:
Computing multiple modulo summation (abstract only): a new algorithm, its VLSI designs and applications.
- David M. Mount, Ruth Silverman:
Algorithms for covering and packing and applications to CAD/CAM (abstract only): preliminary results.
- H. Levinson, Ruth Silverman:
Algorithms for paths in the lattice of topologies on finite sets (abstract only).
- Rhys Price Jones:
Surviving the many-person dilemna (abstract only).
- Gerald J. Stuzin:
An expert system for tuning a macroeconometric model (abstract only).
- Prabodh K. Goel, Bruce R. Long:
Computer use and grades (abstract only).
- Abraham Waksman:
Simulating human problem solving which requires successive decisions (abstract only).
- Paul J. Will:
A demographic and attitudinal profile of general education students in a CS survey course (abstract only).
- Henry Stewart Austin:
Associations of student characteristics to measures of introductory Pascal computer programming achievement for suburban community college students (abstract only).
- Robert Leeper:
Conducting a survey of community computer resources (abstract only).
- Jane M. Fritz:
An evaluation of presentation methods for CAL (abstract only).
- Ashraful A. Chowdhury, C. Van Nelson, Clinton P. Fuelling, Roy L. McCormick:
Predicting success of a beginning computer course using logistic regression (abstract only).
- Kathleen Pearson:
Professional education for secondary computer science (abstract only).
- Dale K. Hockensmith:
Conducting a survey of computer technology graduates (abstract only).
- J. M. Gardner, J. H. Morrel, K. E. Lagle:
An expert system for evaluation of sports injuries (abstract only).
- B. Pille, L. R. Medsker:
Groundwater model selector (abstract only).
- S. Cole, Larry R. Medsker, J. H. Morrel:
An expert system for selecting a development tool (abstract only).
- K. E. Lagle, J. M. Gardner, J. H. Morrel, Larry R. Medsker:
Programming language selector (abstract only).
- T. Reid, Larry R. Medsker:
College guidance counselor (abstract only).
- Robert A. Schmitt:
A reconfigurable software style expert system (abstract only).
- D. W. Jacobson:
A distributed measurement technique for an operating ethernet network (abstract only).
- Abdulraouf Y. Al-Hallaq:
Robustness of the destination tag based routing algorithm for the control of unique path networks (abstract only).
- Sanjiv Ahuja:
On communication software testing (abstract only).
- Sherry Lesiker:
Implementation of a local area network (abstract only).
- K. K. Bagchi, Pradip K. Das, B. B. Bhaumik:
An approach to parallel architecture modelling (abstract only).
- Yesh C. Pendarkar:
The porting of XINU to the system 370 VM/CMS environment (abstract only).
- H. W. Tyler, G. Ramakrishnan:
Load leveling for control of distributed processing systems (abstract only).