default search action
ACM 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
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
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
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
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-19 20:53 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: