Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM Conference on Computer Science 1986: Cincinnati, Ohio, USA
- Lawrence A. Jehn, Larry A. Crum:
Proceedings of the 14th ACM Annual Conference on Computer Science, Cincinnati, Ohio, USA, 1986. ACM 1986, ISBN 0-89791-177-6
- Robert A. Kowalski:
The limitation of logic. 7-13 - William A. Kornfeld:
The purpose and promise of logic programming. 15-17 - Kenneth A. Bowen:
New directions in logic programming. 19-27 - A. Nico Habermann:
Technological advances in software engineering. 29-37 - Richard E. Fairley:
The role of academe in software engineering education. 39-52 - Laszlo A. Belady:
Software engineer, the system designer. 53-55 - L. M. Sweet:
A model for growth in the intelligent automation industry: case studies in robotics and artificial intelligence. 57-59 - Tomás Lozano-Pérez, Rodney A. Brooks:
An approach to automatic robot programming. 61-69 - Takeo Kanade, Charles E. Thorpe, William Whittaker:
Autonomous land vehicle project at CMU. 71-80 - John C. Thompson, Dongpil Shin:
Data flow relation processor for knowledge base machine. 83-92 - Sharilyn A. Thoreson, Arlen N. Long, John R. Kerns:
Performance of three dataflow computers. 93-99 - Wlodzimierz M. Zuberek:
M-timed Petri nets and Markov chains in modelling of computer systems. 101-106 - Rajiv Gupta, Mary Lou Soffa:
SHAPE: a highly adaptable and parallel system. 107-114 - Marius V. A. Hâncu, Kenneth C. Smith:
DYPP - A VLSI supercomputer architecture supporting two-level fault tolerance, program graph injection and data levitation concepts. 115-120 - Kang Ji-chang:
Supercomputer with analog-computer-like architecture. 121-127 - A. Yavuz Oruç, M. Yaman Oruç:
Linear-time algorithms for programming cellular permutation arrays. 129-136 - A. Yavuz Oruç, M. Mittal:
New algorithms for realizing paths and permutations through cube-connected networks. 137-146 - Suchai Thanawastien, Pradip K. Srimani:
A class of modified single stage S/E networks. 147-154 - Thomas A. Sudkamp:
Grammars for functional languages. 155-164 - A. F. Sanders:
Activity productions for graph grammars. 165-171 - Keith E. Humenik, Roger S. Pinkham:
Production probability estimators for context-free grammars. 173-181 - Robert D. Dixon, David Hemmendinger:
Analyzing synchronization problems by using event histories as languages. 183-188 - Francesco Gregoretti, Zary Segall:
Programming for observability support in a parallel programming environment. 189-197 - Luigi V. Mancini, Maciej Koutny:
Formal specification of N-modular redundancy. 199-204 - Sanjiv Taneja, Bruce W. Weide:
Graphical description and run-time environments for Real-Time software. 205-211 - Robert G. Reynolds, Drew Roberts:
PARTIAL: a tool to support the metrics driven design of Ada programs. 213-220 - Phillip Chen-Yu Sheu:
Knowledge-based query processing in object bases. 221-225 - José Carlos Ferreira Maia Neves, George F. Lugger, João M. Carvalho:
A formalism for views in a logic data base. 227-231 - Robert C. Shock:
An algorithm for batch updates. 233-236 - Paul Hartono Singgih, Howard B. Demuth, Martin T. Hagan, Roger L. Wainwright:
Parallel merge-sort algorithms on the HEP. 237-244 - Massoud Hakami:
Revised tree sort. 245-249 - Bipin C. Desai, Pankaj Goyal, Fereidoon Sadri:
Use of composite index in DDBMS. 251-260 - Mohammad A. Ketabchi, Valdis Berzins, Salvatore T. March:
ODM: an object oriented data model for design databases. 261-269 - Victor J. Streeter:
Some relational query language design issues and the language MQL. 271-276 - Shahram Javey:
Specification of discontinuities with conditional expressions. 277-285 - Rex E. Gantenbein, Douglas W. Jones:
Dynamic binding of separately compiled objects under program control. 287-292 - Kay-Ulrich Felgentreu, Wolfram-Manfred Lippe:
Dynamic optimization of covered tail recursive functions in applicative languages. 293-299 - Henry W. Davis, Randy B. Pollack, Dennis J. Golden:
A technique for comparing search algorithm run-times. 301-308 - Amitava Bagchi, Anup K. Sen:
Heuristic search in general tree structures: an average case analysis. 309-318 - Harold W. Martin:
Polynomial evaluations of bi-valued game trees. 319-326 - Marc J. Lipman, Robert L. Sedlmeyer:
Developments in an expert system for graph theory investigation. 327-330 - Klaus K. Obermeier:
GROK - a knowledge-based text processing system. 331-339 - Gerard K. Rambally:
A theory of student modelling in instructional expert systems. 341-348 - Robert B. Terwilliger, Roy H. Campbell:
PLEASE: Predictable Logic based ExecutAble SpeCifications. 349-358 - Won D. Lee, Sylvian R. Ray:
Probabilistic rule generator. 359-366 - Alex Meystel, A. Guez, G. Hillel:
Minimum time path planning for robot motion in obstacle strewn environment. 367-376 - Norman E. Gibbs, Clyde Chittister, James S. Collofello, Gary A. Ford, A. Joseph Turner:
The Software Engineering Institute (panel session). 379-380 - Judy Bamberger, Richard E. Fairley, Joe Mason, Charles McKay, Dudrey Smith:
Are the universities meeting the needs of the industry? Is industry holding up its end of the deal? (panel session). 381-384 - Dennis Goldenson, Ravinder Chandhok, David Garlan, Philip L. Miller, Mark C. Tucker:
Integrated programming environments based on structure editing (panel session). 385 - C. Lee Giles
, Alan Huang, Fred J. Leonberger, John A. Neff:
Future directions in optical computing (panel session). 387 - Bipin C. Desai, Claude Fransson, Najah Naffah, Gordon E. Stokes, George White:
AI in office automation (panel session). 389-390 - Richard D. Edmiston, Douglas Comer, Deborah Estrin:
CSNET (panel session): using inter-organization networks to support research and advanced development in computer science. 391-392 - Frank H. Young, Stephen J. Garland, Robert Poland, David C. Rine:
Advanced placement in Computer Science (panel session): college level computer science in the high schools. 393 - William M. Mitchell, John Beidler, Christine Shannon, R. Waldo Roth, Bob Cupper, Tom Harbron:
Accreditation of small college computing programs(panel session). 395-396 - Sharon Cogdill, Pamela S. Kirshen, J. Mack Adams, John Beidler, Nell B. Dale, Malcolm G. Lane, Karen A. Lemone, James Quasney, Don Spencer:
Publishing a computer science textbook (panel session). 397-398 - Gerald L. Engel, Robert L. Cannon, Robert D. Cupper, John F. Dalphin, Greg W. Scragg, Ted Sjoerdsma, A. Joe Turner:
Computer Science Accreditation and Liberal Arts Programs. 399-402 - Yuan Shi, Noah S. Prywes:
Programming in evolving distributed environments (abstract). 405 - Doris L. Carver:
The effect of software development practices on cost estimates (abstract). 406 - Prabhaker Mateti, Gerald M. Radack:
Integrating data structure diagrams into source level debuggers (abstract). 407 - Bon K. Sy, Martin E. Kaliski:
An uncertainty-based software testing model using test universe partitions (abstract). 408 - David W. Biers, Samuel M. Bower, Frank J. DaPolito, Donald J. Polzella:
The assesment of software usability (abstract). 409 - Linda L. Werner:
A study of 'hard to find' data processing errors (abstract). 410 - Mark A. Roth:
Theoretical Advances in non-1NF Relational Databases. 411 - Mehdi Owrang, Les L. Miller:
Query translation in a heterogeneous distributed database based on hypergraph models models(abstract). 412 - Shashi K. Gadia:
Temporal element as a primitive for time in temporal databases and its application in query optimization (abstract). 413 - James F. Blahnik:
Relational joins on non-keyed fields (abstract). 414 - Chen-Hua Chung:
N-Schema Approach - a generalized model for database architecture (abstract). 415 - Peter C. Jones, Paul E. Jones Jr.:
Linguistic Correlates of data structures (abstract): the THAT language. 416 - Harold E. Bullock, Pradip Dey, Kevin D. Reilly:
A "bee hive" model for heterogenous knowledge in expert systems (abstract). 417 - Judith L. Solano, Jack E. Leitner, Kathaleen C. Bloom:
expert system for the application of nursing diagnosis to clinical practice (abstract). 418 - Daniel C. St. Clair, Virginia Johnson, Albert Watterstroem:
UIL - ESP - AD (abstract): an expert system for analysis and diagnoses of a space staion powersubsystem. 419 - David C. Brown:
Expert system problem-solving applications (abstract). 420 - James R. Slagle, John M. Long, Michael R. Wick, John P. Matts, Arthur S. Leon:
An expert system for treadmill excercise ECG test analysis (abtracts). 421 - Roger E. Messick, James H. Ripper:
An expert assistant for qualitive curve generation in engineering (abstract). 422 - Stuart A. Friedberg:
Hierarchical process composition (abstract). 423 - Hany H. Ammar:
Performance models of parallel and distributed processing systems (abstract). 424 - J. A. Davis:
An internetwork system that supports replicated data (abstract). 425 - D. W. Jacobson:
Network protocol analysis (abstract). 426 - Hasan S. AlKhatib:
A tokenless ring protocol for local area networks (abstract). 427 - Michael A. Baltrush, Anita J. La Salle:
Advances in communications (abstract): implementing the X.400 standard. 428 - Stanislaw Jarzabek:
Generation of software production environments (abstract). 429 - Gayle J. Yaverbaum, Oya Culpan:
Current research motivational constraints in the user environment (abstract): are they present. 430 - Raghava G. Gowda, James A. Senn, Stanley L. Saxton:
Group cohesiveness and software productivity (abstract). 431 - Alan W. Carpenter:
A multiple-product production simulation system for the micro-computer environment (abstract). 432 - Donald J. Bagert:
IMEGS (abstract): an incremental multi-language editor generator and system. 433 - A. Gregory Starling, Roy J. Fuller:
Permutations for parallel algorithms (abstract). 434 - Starrett C. Kennedy:
Engineered computer language (abstract): beyond structured programming. 434 - Yuksel Uckan:
An intelligent system for data base management (abstract). 435 - Wei Si Jiang, William G. Wee:
An approach to exploiting a database as a frame-like knowledge base (abstract). 436 - Jerry D. Smith:
Robust knowledge bases (abstract). 437 - Ralph Zimmermann Jr., Jerry Canada Jr.:
AND and OR parallelism in dprolog (abstract). 438 - Klaus K. Obermeier, David de Hilster:
DIID - Data independent interface for database (abstract). 439 - Li-Yan Yuan:
A design method for nested relations (abstract). 440 - Mohammad Reza Meybodi, Kenneth Williams:
Parallel processors applied to string transformations (abstract). 441 - Tangqui Li, Hon Wai Chun, Jing Peng, Xiru Zhang:
Segmentation in Chinese natural language understanding using a massively parallel approach (abstract). 442 - Hon Wai Chun:
Representing temportal sequence and duration in massively parallel networks (abstract). 444 - William S. Curran:
Parallel micros (abstract). 445 - Simin H. Pakzad:
Fault tolerance analysis of rearrangeable interconnection networks (abstracts). 446 - S. Venkatesan:
Convex polygon cover problem (abstract). 447 - Fuhua Cheng, Wein-Chung Jiaan:
Finding the intersection points of a line with a polygon and its applications (abstract). 448 - R. Chaudhuri:
Some results on the state space approach to a finite automata (abstract). 449 - Hari B. Bidasaria:
New approach in dimensionality reduction in a general pattern recognition problem (abstract). 450 - P. F. Lai, J. H. Fang, F. Tsay:
Waveform correlation using relational tree (abstract). 451 - Aaron R. Todd:
A paradigm for search algorithms (abstract). 452 - Narendra N. Datar, Uday G. Gujar, Virendra C. Bhavsar:
Analytical representation of three dimensional objects (abstract). 453 - Zhixi Fang, Xiaobo Li:
Parallel image processing algorithms (abstract). 454 - Ai-Chang Lu, Martin J. Biernat, Thom Grace:
Two algorithms for image display using redefinable character sets (abstract). 455 - Paul T. Vesely:
Computer graphics support of a new era in flight test ground stations (abstract). 456 - Yao-Tang Liao:
The PRIME 9955 implementation of the graphical kernel system (abstract). 457 - Ramin Zabih, Raj Jain:
A performance comparison of the window systems of two LISP machines (abstract). 458 - Khalid J. Siddiqui, D. R. Hay, Ching Y. Suen:
Evaluation of materials using a rule-based non-destructive monitoring system (abstract). 459 - Richard E. Neapolitan:
Models for reasoning under uncertainty (abstract). 460 - Raymond D. Gumb:
Popperian conditional probability functions for expert systems (abstract). 461 - Hon Wai Chun, Alejandro Mimo, Harry Wu:
ISCS - an intelligent system configuration shell (abstract). 462 - G. Arthur Mihram, Danielle Mihram:
Artificial intelligence and the fifth generation, some wrong ways, the correct way (abstract). 463 - Zhixi Fang, Jitender S. Deogun:
Closure properties of certain classes of languages under bi-language form. 464 - Frederick J. Bourgeois III, Leornard K. Nicholson:
A programming language for cryptography (abstract). 465 - William F. Dowling:
Attribute grammar interpretation as a model of computation (abstract). 466 - A. V. Levitin:
Investigating a new vocabulary-length equation (abstract). 467 - Michael J. Dedina, Howard C. Nusbaum:
PRONOUNCE (abstract): a program for pronunciation by analogy. 468 - Susan R. Harroff, Stephen C. Harroff:
Logo (abstract): creating a microworld for language experimentation. 469 - Robert B. Terwilliger, Roy H. Campbell:
ENCOMPASS (abstract): a SAGA based environment for the composition of programs and specifications. 470 - Zbigniew J. Gackowski:
Specification sequence of computer information system components least constraining the designers' freedom in search of solutions (abstract). 471 - Francoise Youssefi:
TPS (abstract): a tool for communicating software requirements. 472 - John A. Cross:
An electronic environment for group effort in software documentation (abstract). 473 - Frances E. Hunt, Cynthia R. Marling:
CaseDL (abstract): a design tool for specification and prototyping. 474 - Jeffrey J. P. Tsai, Waldo C. Kabat:
Verification of software specifications using automated reasoning techniques (abstract). 475