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

- Thomas Sudkamp, Robert Shanahan:
Analysis of heurisitc search models.
7-15

- 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

- Raj Sekhar Pamula, Pradip K. Srimani:
Checkpointing strategies for database systems.
88-97

- 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

- Sreerama K. Karukonda, Edward T. Lee, Peter P. Chen:
Design of a pictorial knowledgebase.
114-119

- 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

- Wei Si Jiang, William G. Wee:
Commonsense reasoning in Prolog.
138-143

- 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

- A. Mahanti, K. Ray:
Heuristic search in networks with modifiable estimate.
166-174

- 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

- Farhad Shahrokhi, David W. Matula:
On solving large maximum concurrent flow problems.
205-209

- 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

- Jiwen Guan, Victor R. Lesser:
On efficient balanced codes.
245-248

- Elizabeth A. Hansen, Max R. Raines:
A computer based model of life transitions.
249-253

- 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

- Donald J. Bagert, Donald K. Friesen:
A multi-language syntax-directed editor.
300-302

- 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

- M. C. Lee, P. A. Samet:
Intelligent computer-based instruction.
315-319

- 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

- Hideki Sato, Hitoshi Matsumoto, Hiroki Iciki:
Project management expert system (abstract only).
355

- 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

- Wei Si Jiang, William G. Wee:
A frame-based approach to hardware verification (abstract only).
359

- Haerim Lee, Warren Moseley:
A parallel inference engine (PIE) (abstract only).
360

- 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

- Robert L. Sedlmeyer, Marc J. Lipman:
Property computation in Grapple (abstract only).
366

- 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

- R. B. Abhyankar, N. Baharam:
Logic programming in LISP with controlled search (abstract only).
375

- 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

- T. K. Ho, Edward T. Lee, T. T. Ho:
Syntactic approach to image analysis (abstract only).
395

- Edward T. Lee, R. T. Wu, C. C. Huang:
Image measurement and recognition (abstract only).
396

- Douglas S. Green, David C. Brown:
Qualitative reasoning about fit (abstract only).
397

- Karl Rehmer, Linda Rising:
A geometry package in Ada (abstract only).
398

- 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

- James Harris, Galen Rupp:
Expert systems in lease accounting (abstract only).
403

- 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

- Yin-min Wei, Edgar Howell:
What is the proper size of a program module? (abstract only).
406

- 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

- Mahmoud A. Manzoul, Venkateshwar B. Rao:
A fuzzy-power factor correction (abstract only).
419

- Robert A. Fleck Jr., Ruth Ann P. Fleck:
Robots and management techniques (abstract only).
420

- 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

- Aron K. Insinga, Karen A. Lemone:
Parsing in a multiprocessor environment (abstract only).
426

- 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

- Prabodh K. Goel, Bruce R. Long:
Computer use and grades (abstract only).
443

- 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

- B. Pille, L. R. Medsker:
Groundwater model selector (abstract only).
453

- 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

- T. Reid, Larry R. Medsker:
College guidance counselor (abstract only).
456

- 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

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