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ç, Millind 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, Allon 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 R. 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 - Douglas 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 - Sally L. Lloyd:
Hash coding for dictionary storage and word-matching used in decoding substitution ciphers (with application to OCR) (abstract). 476 - Blair A. Rowley:
Data compression using hash code generated tables (abstract). 477 - S. Srinivasan:
A faster recovery from hash table (abstract). 478 - Trong Wu, Robert W. Neufeld:
Design of a polyphase sort (abstract). 479 - Richard K. Brewer:
An order f(K)N sort (abstract). 480 - Kelly D. Crawford, Roger L. Wainwright:
Parallel sorting algorithms for insertion shell and heapsort on the HEP (abstract). 481 - Won D. Lee, Sylvian R. Ray:
Probabilistic interference for variable certainty decisions (abstract). 482 - William G. Gehman:
Ambiguous algorithms (abstract). 483 - Leon Sterling:
Meta-interpreters for expert systems (abstract). 484 - Christos A. Papachristou:
Expert system approach to VLSI cell design (abstract). 485 - Paul J. Drongowski:
A VLSI architect's assistant (abstract). 486 - B. Murali Dharan:
Imagination as event generation (abstract). 487 - Brian Smith, Dominic Soda, George W. Zobrist:
Lexical analysis using table look-up (abstract). 488 - Teodor Rus, Kurt Hansen:
An algebraic approach for assembler construction (abstract). 489 - Margaret S. Geroch, Frances L. Van Scoy:
Specialized commands for a syntax-directed editor (abstract). 490 - W. Douglas Findley, V. Santhanam:
A practical algorithm for generating LR parsers maintaining immediate error detection (abstract). 491 - C. Shanmugamani, Robert W. Neufeld, V. Santhanam:
Error recovery in LL(1) parsers using probabilistic grammar (abstract). 492 - Richard L. Vore, V. Santhanam:
A generic compiler symbol management facilityy (abstract). 493 - Farhad Shahrokhi:
An efficient flow routing algorithm to solve the maximum concurrent flow problem with applications to the packed switched telecommunication networks and cluster analysis (abstract). 494 - Gurdeep S. Hura:
Petri nets: a graph model for the representation and analysis of concurrent systems (abstract). 495 - Amar dev Amar, Vasanti A. Jategaonkar:
Algorithm variable and fixed charges (abstract): a case of branch-and-bound methodology for single processor scheduling system. 496 - Stavros A. Zenios, John M. Mulvey:
Nonlinear network programming on a vector supercomputer (abstract). 497 - Sunil R. Das:
On random testing of sequential digital logic with a high confidence measure (abstract). 498 - Amjad Umar:
Software engineering for distributed applications (abstract). 499 - Mary P. Bivens:
An approach to incremental register allocation (abstract). 500 - Massoud Omidvar, John Y. Cheung:
The neural network as a prototype in the design of nonconventional computer architecture for artificial intelligence applications (abstract). 501 - Mike Bakan, Alan Cotterman, Kim Howell, Kuldip S. Rattan:
A computer vision system for WSU robot (abstract). 502 - Hu Lei, Xia Zhenuhua:
A voice input microcomputer system (VIMS) (abstract). 503 - Brian E. Weinrich, A. S. Rogowski:
Use of conditional simulation techniques in assessingpermeability of a compacted clay liner (abstract). 504 - Anne C. Steele, George P. Grill, Gwen S. Loy:
Gatekeeping (abstract): the technology challenge in the medium-sized firm. 505 - Alex Bykat:
Designing an intelligent operating system consultant and teacher (abstract). 506 - Alonzo Johnson, Hsing-Yang Lee, John Dryer:
Automated double oral auction using I.B.M PC network (abstract). 507 - D. R. Beuerman:
REDBOP.2 (abstract). 508 - Daniel C. St. Clair, Dominic Soda:
Modeling dynamic entities in relational databases (abstract). 509 - James Nechvatal:
An approximation method for knapsack problems (abstract). 510 - Curt M. White:
Design of a blocked asynchronous protocol for distributed problem solving (abstract). 511 - H. Mary Micco, Rebecca A. Ruschel:
A survey of undergraduate computer science/information science programs in the North East United States (abstract). 512 - Janet Hartman:
An analysis of concerns of college instructors in a computer science retraining program (abstract). 513 - J. Michael McGrew, Mohd Mustaffa, Vincent Pedraza, John Raab:
CATSY (abstract): an electronic alternative to the chalkboard. 514 - Barry Burd:
Teaching Ada to beginning programmers (abstract). 515 - Emery Gathers:
Successful placement of freshman computer science majors (abstract). 516 - Sukhen Dey, Lawrence R. Mand:
Mathematics background, prior language exposure, and perceived success in introductory computer science courses (abstract). 517 - Ming Zhang, Jiaruo Wan, Xiaofeng Sheng, Minjin Wu:
Design and application of classroom instruction information pro cessing system (abstract). 518 - Steve Dudley, Ronnie McGaughey:
A solution to a contemporary problem (abstract). 519 - George M. Whitson, Pam Taylor:
A study of techniques used to obtain bibliographies in computer science (abstract). 520 - David Bellin:
Young Hackers (abstract): geniuses or criminal? 521 - Patrick J. C. Lamont:
F. L. Pilling and computer graphics (abstract). 522
a service of 
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-04-22 20:01 CEST 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:
