default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM Conference on Computer Science 1987: St. Louis, Missouri, USA
- Pat Davis, Vicki McClintock:
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 A. 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. Mahadeva 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 A. 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 W. 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, Paul 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, Harbans 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