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 - 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 - Ranjan Chaudhuri, Hartmut Höft:
On rational solution of the state equation of a finite automation (abstract only). 437 - Chang Nian Zhang, Behrooz A. 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 R. 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, Larry R. Medsker:
Groundwater model selector (abstract only). 453 - Stephen 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 - Douglas 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-18 20:55 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
