Lawrence A. Jehn, Larry A. Crum (Eds.):
Proceedings of the 14th ACM Annual Conference on Computer Science, Cincinnati, Ohio, USA, 1986.
ACM 1986, ISBN 0-89791-177-6 BibTeX
@proceedings{DBLP:conf/acm/1986,
editor = {Lawrence A. Jehn and
Larry A. Crum},
title = {Proceedings of the 14th ACM Annual Conference on Computer Science,
Cincinnati, Ohio, USA, 1986},
booktitle = {ACM Conference on Computer Science},
publisher = {ACM},
year = {1986},
isbn = {0-89791-177-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- Robert A. Kowalski:
The limitation of logic.
7-13
Electronic Edition (ACM DL) BibTeX
- William A. Kornfeld:
The purpose and promise of logic programming.
15-17
Electronic Edition (ACM DL) BibTeX
- Kenneth A. Bowen:
New directions in logic programming.
19-27
Electronic Edition (ACM DL) BibTeX
- A. Nico Habermann:
Technological advances in software engineering.
29-37
Electronic Edition (ACM DL) BibTeX
- Richard E. Fairley:
The role of academe in software engineering education.
39-52
Electronic Edition (ACM DL) BibTeX
- Laszlo A. Belady:
Software engineer, the system designer.
53-55
Electronic Edition (ACM DL) BibTeX
- L. M. Sweet:
A model for growth in the intelligent automation industry: case studies in robotics and artificial intelligence.
57-59
Electronic Edition (ACM DL) BibTeX
- Tomás Lozano-Pérez, Rodney A. Brooks:
An approach to automatic robot programming.
61-69
Electronic Edition (ACM DL) BibTeX
- Takeo Kanade, Charles E. Thorpe, William Whittaker:
Autonomous land vehicle project at CMU.
71-80
Electronic Edition (ACM DL) BibTeX
- John C. Thompson, Dongpil Shin:
Data flow relation processor for knowledge base machine.
83-92
Electronic Edition (ACM DL) BibTeX
- Sharilyn A. Thoreson, Arlen N. Long, John R. Kerns:
Performance of three dataflow computers.
93-99
Electronic Edition (ACM DL) BibTeX
- Wlodzimierz M. Zuberek:
M-timed Petri nets and Markov chains in modelling of computer systems.
101-106
Electronic Edition (ACM DL) BibTeX
- Rajiv Gupta, Mary Lou Soffa:
SHAPE: a highly adaptable and parallel system.
107-114
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Kang Ji-chang:
Supercomputer with analog-computer-like architecture.
121-127
Electronic Edition (ACM DL) BibTeX
- A. Yavuz Oruç, M. Yaman Oruç:
Linear-time algorithms for programming cellular permutation arrays.
129-136
Electronic Edition (ACM DL) BibTeX
- A. Yavuz Oruç, M. Mittal:
New algorithms for realizing paths and permutations through cube-connected networks.
137-146
Electronic Edition (ACM DL) BibTeX
- Suchai Thanawastien, Pradip K. Srimani:
A class of modified single stage S/E networks.
147-154
Electronic Edition (ACM DL) BibTeX
- Thomas Sudkamp:
Grammars for functional languages.
155-164
Electronic Edition (ACM DL) BibTeX
- A. F. Sanders:
Activity productions for graph grammars.
165-171
Electronic Edition (ACM DL) BibTeX
- Keith E. Humenik, Roger S. Pinkham:
Production probability estimators for context-free grammars.
173-181
Electronic Edition (ACM DL) BibTeX
- Robert D. Dixon, David Hemmendinger:
Analyzing synchronization problems by using event histories as languages.
183-188
Electronic Edition (ACM DL) BibTeX
- Francesco Gregoretti, Zary Segall:
Programming for observability support in a parallel programming environment.
189-197
Electronic Edition (ACM DL) BibTeX
- Luigi V. Mancini, Maciej Koutny:
Formal specification of N-modular redundancy.
199-204
Electronic Edition (ACM DL) BibTeX
- Sanjiv Taneja, Bruce W. Weide:
Graphical description and run-time environments for Real-Time software.
205-211
Electronic Edition (ACM DL) BibTeX
- Robert G. Reynolds, Drew Roberts:
PARTIAL: a tool to support the metrics driven design of Ada programs.
213-220
Electronic Edition (ACM DL) BibTeX
- Chen-Yu Sheu:
Knowledge-based query processing in object bases.
221-225
Electronic Edition (ACM DL) BibTeX
- José Carlos Ferreira Maia Neves, George F. Lugger, João M. Carvalho:
A formalism for views in a logic data base.
227-231
Electronic Edition (ACM DL) BibTeX
- Robert C. Shock:
An algorithm for batch updates.
233-236
Electronic Edition (ACM DL) BibTeX
- Paul Hartono Singgih, Howard B. Demuth, Martin T. Hagan, Roger L. Wainwright:
Parallel merge-sort algorithms on the HEP.
237-244
Electronic Edition (ACM DL) BibTeX
- Massoud Hakami:
Revised tree sort.
245-249
Electronic Edition (ACM DL) BibTeX
- Bipin C. Desai, Pankaj Goyal, Fereidoon Sadri:
Use of composite index in DDBMS.
251-260
Electronic Edition (ACM DL) BibTeX
- Mohammad A. Ketabchi, Valdis Berzins, Salvatore T. March:
ODM: an object oriented data model for design databases.
261-269
Electronic Edition (ACM DL) BibTeX
- Victor J. Streeter:
Some relational query language design issues and the language MQL.
271-276
Electronic Edition (ACM DL) BibTeX
- Shahram Javey:
Specification of discontinuities with conditional expressions.
277-285
Electronic Edition (ACM DL) BibTeX
- Rex E. Gantenbein, Douglas W. Jones:
Dynamic binding of separately compiled objects under program control.
287-292
Electronic Edition (ACM DL) BibTeX
- Kay-Ulrich Felgentreu, Wolfram-Manfred Lippe:
Dynamic optimization of covered tail recursive functions in applicative languages.
293-299
Electronic Edition (ACM DL) BibTeX
- Henry W. Davis, Randy B. Pollack, Dennis J. Golden:
A technique for comparing search algorithm run-times.
301-308
Electronic Edition (ACM DL) BibTeX
- Amitava Bagchi, Anup K. Sen:
Heuristic search in general tree structures: an average case analysis.
309-318
Electronic Edition (ACM DL) BibTeX
- Harold W. Martin:
Polynomial evaluations of bi-valued game trees.
319-326
Electronic Edition (ACM DL) BibTeX
- Marc J. Lipman, Robert L. Sedlmeyer:
Developments in an expert system for graph theory investigation.
327-330
Electronic Edition (ACM DL) BibTeX
- Klaus K. Obermeier:
GROK - a knowledge-based text processing system.
331-339
Electronic Edition (ACM DL) BibTeX
- Gerard K. Rambally:
A theory of student modelling in instructional expert systems.
341-348
Electronic Edition (ACM DL) BibTeX
- Robert B. Terwilliger, Roy H. Campbell:
PLEASE: Predictable Logic based ExecutAble SpeCifications.
349-358
Electronic Edition (ACM DL) BibTeX
- Won D. Lee, Sylvian R. Ray:
Probabilistic rule generator.
359-366
Electronic Edition (ACM DL) BibTeX
- Alex Meystel, A. Guez, G. Hillel:
Minimum time path planning for robot motion in obstacle strewn environment.
367-376
Electronic Edition (ACM DL) BibTeX
- Norman E. Gibbs, Clyde Chittister, James S. Collofello, Gary A. Ford, A. Joseph Turner:
The Software Engineering Institute (panel session).
379-380
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Dennis Goldenson, Ravinder Chandhok, David Garlan, Philip L. Miller, Mark C. Tucker:
Integrated programming environments based on structure editing (panel session).
385
Electronic Edition (ACM DL) BibTeX
- C. Lee Giles, Alan Huang, Fred J. Leonberger, John A. Neff:
Future directions in optical computing (panel session).
387
Electronic Edition (ACM DL) BibTeX
- Bipin C. Desai, Claude Fransson, Najah Naffah, Gordon E. Stokes, George White:
AI in office automation (panel session).
389-390
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- William Mitchell, John Beidler, Christine Shannon, Waldo Roth, Bob Cupper, Tom Harbron:
Accreditation of small college computing programs(panel session).
395-396
Electronic Edition (ACM DL) BibTeX
- Sharon Cogdill, Pamela S. Kirshen, J. Mack Adams, John Beidler, Nell B. Dale, Malcolm Lane, Karen A. Lemone, James Quasney, Don Spencer:
Publishing a computer science textbook (panel session).
397-398
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Yuan Shi, Noah S. Prywes:
Programming in evolving distributed environments (abstract).
405
Electronic Edition (ACM DL) BibTeX
- Doris L. Carver:
The effect of software development practices on cost estimates (abstract).
406
Electronic Edition (ACM DL) BibTeX
- Prabhaker Mateti, Gerald M. Radack:
Integrating data structure diagrams into source level debuggers (abstract).
407
Electronic Edition (ACM DL) BibTeX
- Bon K. Sy, Martin E. Kaliski:
An uncertainty-based software testing model using test universe partitions (abstract).
408
Electronic Edition (ACM DL) BibTeX
- David W. Biers, Samuel M. Bower, Frank J. DaPolito, Donald J. Polzella:
The assesment of software usability (abstract).
409
Electronic Edition (ACM DL) BibTeX
- Linda L. Werner:
A study of 'hard to find' data processing errors (abstract).
410
Electronic Edition (ACM DL) BibTeX
- Mark A. Roth:
Theoretical Advances in non-1NF Relational Databases.
411
Electronic Edition (ACM DL) BibTeX
- Mehdi Owrang, Les L. Miller:
Query translation in a heterogeneous distributed database based on hypergraph models models(abstract).
412
Electronic Edition (ACM DL) BibTeX
- Shashi K. Gadia:
Temporal element as a primitive for time in temporal databases and its application in query optimization (abstract).
413
Electronic Edition (ACM DL) BibTeX
- James F. Blahnik:
Relational joins on non-keyed fields (abstract).
414
Electronic Edition (ACM DL) BibTeX
- Chen-Hua Chung:
N-Schema Approach - a generalized model for database architecture (abstract).
415
Electronic Edition (ACM DL) BibTeX
- Peter C. Jones, Paul E. Jones:
Linguistic Correlates of data structures (abstract): the THAT language.
416
Electronic Edition (ACM DL) BibTeX
- Harold E. Bullock, Pradip Dey, Kevin D. Reilly:
A "bee hive" model for heterogenous knowledge in expert systems (abstract).
417
Electronic Edition (ACM DL) BibTeX
- Judith L. Solano, Jack E. Leitner, Kathaleen C. Bloom:
expert system for the application of nursing diagnosis to clinical practice (abstract).
418
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- David C. Brown:
Expert system problem-solving applications (abstract).
420
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Roger E. Messick, James H. Ripper:
An expert assistant for qualitive curve generation in engineering (abstract).
422
Electronic Edition (ACM DL) BibTeX
- Stuart A. Friedberg:
Hierarchical process composition (abstract).
423
Electronic Edition (ACM DL) BibTeX
- Hany H. Ammar:
Performance models of parallel and distributed processing systems (abstract).
424
Electronic Edition (ACM DL) BibTeX
- J. A. Davis:
An internetwork system that supports replicated data (abstract).
425
Electronic Edition (ACM DL) BibTeX
- D. W. Jacobson:
Network protocol analysis (abstract).
426
Electronic Edition (ACM DL) BibTeX
- Hasan S. AlKhatib:
A tokenless ring protocol for local area networks (abstract).
427
Electronic Edition (ACM DL) BibTeX
- Michael A. Baltrush, Anita J. La Salle:
Advances in communications (abstract): implementing the X.400 standard.
428
Electronic Edition (ACM DL) BibTeX
- Stanislaw Jarzabek:
Generation of software production environments (abstract).
429
Electronic Edition (ACM DL) BibTeX
- Gayle J. Yaverbaum, Oya Culpan:
Current research motivational constraints in the user environment (abstract): are they present.
430
Electronic Edition (ACM DL) BibTeX
- Raghava G. Gowda, James A. Senn, Stanley L. Saxton:
Group cohesiveness and software productivity (abstract).
431
Electronic Edition (ACM DL) BibTeX
- Alan W. Carpenter Sr.:
A multiple-product production simulation system for the micro-computer environment (abstract).
432
Electronic Edition (ACM DL) BibTeX
- Donald J. Bagert:
IMEGS (abstract): an incremental multi-language editor generator and system.
433
Electronic Edition (ACM DL) BibTeX
- A. Gregory Starling, Roy J. Fuller:
Permutations for parallel algorithms (abstract).
434
Electronic Edition (ACM DL) BibTeX
- Starrett C. Kennedy:
Engineered computer language (abstract): beyond structured programming.
434
Electronic Edition (ACM DL) BibTeX
- Yuksel Uckan:
An intelligent system for data base management (abstract).
435
Electronic Edition (ACM DL) BibTeX
- Wei Si Jiang, William G. Wee:
An approach to exploiting a database as a frame-like knowledge base (abstract).
436
Electronic Edition (ACM DL) BibTeX
- Jerry D. Smith:
Robust knowledge bases (abstract).
437
Electronic Edition (ACM DL) BibTeX
- Ralph Zimmermann Jr., Jerry Canada Jr.:
AND and OR parallelism in dprolog (abstract).
438
Electronic Edition (ACM DL) BibTeX
- Klaus K. Obermeier, David de Hilster:
DIID - Data independent interface for database (abstract).
439
Electronic Edition (ACM DL) BibTeX
- Li-Yan Yuan:
A design method for nested relations (abstract).
440
Electronic Edition (ACM DL) BibTeX
- Mohammad Meybodi, Kenneth Williams:
Parallel processors applied to string transformations (abstract).
441
Electronic Edition (ACM DL) BibTeX
- Tangqui Li, Hon Wai Chun, Jing Peng, Xiru Zhang:
Segmentation in Chinese natural language understanding using a massively parallel approach (abstract).
442
Electronic Edition (ACM DL) BibTeX
- Hon Wai Chun:
Representing temportal sequence and duration in massively parallel networks (abstract).
444
Electronic Edition (ACM DL) BibTeX
- William S. Curran:
Parallel micros (abstract).
445
Electronic Edition (ACM DL) BibTeX
- Simin H. Pakzad:
Fault tolerance analysis of rearrangeable interconnection networks (abstracts).
446
Electronic Edition (ACM DL) BibTeX
- S. Venkatesan:
Convex polygon cover problem (abstract).
447
Electronic Edition (ACM DL) BibTeX
- Fuhua Cheng, Wein-Chung Jiaan:
Finding the intersection points of a line with a polygon and its applications (abstract).
448
Electronic Edition (ACM DL) BibTeX
- R. Chaudhuri:
Some results on the state space approach to a finite automata (abstract).
449
Electronic Edition (ACM DL) BibTeX
- Hari B. Bidasaria:
New approach in dimensionality reduction in a general pattern recognition problem (abstract).
450
Electronic Edition (ACM DL) BibTeX
- P. F. Lai, J. H. Fang, F. Tsay:
Waveform correlation using relational tree (abstract).
451
Electronic Edition (ACM DL) BibTeX
- Aaron R. Todd:
A paradigm for search algorithms (abstract).
452
Electronic Edition (ACM DL) BibTeX
- Narendra N. Datar, Uday G. Gujar, Virendra C. Bhavsar:
Analytical representation of three dimensional objects (abstract).
453
Electronic Edition (ACM DL) BibTeX
- Zhixi Fang, Xiaobo Li:
Parallel image processing algorithms (abstract).
454
Electronic Edition (ACM DL) BibTeX
- Ai-Chang Lu, Martin J. Biernat, Thom Grace:
Two algorithms for image display using redefinable character sets (abstract).
455
Electronic Edition (ACM DL) BibTeX
- Paul T. Vesely:
Computer graphics support of a new era in flight test ground stations (abstract).
456
Electronic Edition (ACM DL) BibTeX
- Yao-Tang Liao:
The PRIME 9955 implementation of the graphical kernel system (abstract).
457
Electronic Edition (ACM DL) BibTeX
- Ramin Zabih, Raj Jain:
A performance comparison of the window systems of two LISP machines (abstract).
458
Electronic Edition (ACM DL) BibTeX
- Khalid J. Siddiqui, D. R. Hay, Ching Y. Suen:
Evaluation of materials using a rule-based non-destructive monitoring system (abstract).
459
Electronic Edition (ACM DL) BibTeX
- Richard E. Neapolitan:
Models for reasoning under uncertainty (abstract).
460
Electronic Edition (ACM DL) BibTeX
- Raymond D. Gumb:
Popperian conditional probability functions for expert systems (abstract).
461
Electronic Edition (ACM DL) BibTeX
- Hon Wai Chun, Alejandro Mimo, Harry Wu:
ISCS - an intelligent system configuration shell (abstract).
462
Electronic Edition (ACM DL) BibTeX
- G. Arthur Mihram, Danielle Mihram:
Artificial intelligence and the fifth generation, some wrong ways, the correct way (abstract).
463
Electronic Edition (ACM DL) BibTeX
- Zhixi Fang, Jitender S. Deogun:
Closure properties of certain classes of languages under bi-language form.
464
Electronic Edition (ACM DL) BibTeX
- Frederick J. Bourgeois III, Leornard K. Nicholson:
A programming language for cryptography (abstract).
465
Electronic Edition (ACM DL) BibTeX
- William F. Dowling:
Attribute grammar interpretation as a model of computation (abstract).
466
Electronic Edition (ACM DL) BibTeX
- A. V. Levitin:
Investigating a new vocabulary-length equation (abstract).
467
Electronic Edition (ACM DL) BibTeX
- Michael J. Dedina, Howard C. Nusbaum:
PRONOUNCE (abstract): a program for pronunciation by analogy.
468
Electronic Edition (ACM DL) BibTeX
- Susan R. Harroff, Stephen C. Harroff:
Logo (abstract): creating a microworld for language experimentation.
469
Electronic Edition (ACM DL) BibTeX
- Robert B. Terwilliger, Roy H. Campbell:
ENCOMPASS (abstract): a SAGA based environment for the composition of programs and specifications.
470
Electronic Edition (ACM DL) BibTeX
- Zbigniew J. Gackowski:
Specification sequence of computer information system components least constraining the designers' freedom in search of solutions (abstract).
471
Electronic Edition (ACM DL) BibTeX
- Francoise Youssefi:
TPS (abstract): a tool for communicating software requirements.
472
Electronic Edition (ACM DL) BibTeX
- John A. Cross:
An electronic environment for group effort in software documentation (abstract).
473
Electronic Edition (ACM DL) BibTeX
- Frances E. Hunt, Cynthia R. Marling:
CaseDL (abstract): a design tool for specification and prototyping.
474
Electronic Edition (ACM DL) BibTeX
- Jeffrey J. P. Tsai, Waldo C. Kabat:
Verification of software specifications using automated reasoning techniques (abstract).
475
Electronic Edition (ACM DL) BibTeX
- Sally L. Lloyd:
Hash coding for dictionary storage and word-matching used in decoding substitution ciphers (with application to OCR) (abstract).
476
Electronic Edition (ACM DL) BibTeX
- Blair A. Rowley:
Data compression using hash code generated tables (abstract).
477
Electronic Edition (ACM DL) BibTeX
- S. Srinivasan:
A faster recovery from hash table (abstract).
478
Electronic Edition (ACM DL) BibTeX
- Trong Wu, Robert Neufeld:
Design of a polyphase sort (abstract).
479
Electronic Edition (ACM DL) BibTeX
- Richard K. Brewer:
An order f(K)N sort (abstract).
480
Electronic Edition (ACM DL) BibTeX
- Kelly D. Crawford, Roger L. Wainwright:
Parallel sorting algorithms for insertion shell and heapsort on the HEP (abstract).
481
Electronic Edition (ACM DL) BibTeX
- Won D. Lee, Sylvian R. Ray:
Probabilistic interference for variable certainty decisions (abstract).
482
Electronic Edition (ACM DL) BibTeX
- William G. Gehman:
Ambiguous algorithms (abstract).
483
Electronic Edition (ACM DL) BibTeX
- Leon Sterling:
Meta-interpreters for expert systems (abstract).
484
Electronic Edition (ACM DL) BibTeX
- Christos A. Papachristou:
Expert system approach to VLSI cell design (abstract).
485
Electronic Edition (ACM DL) BibTeX
- Paul J. Drongowski:
A VLSI architect's assistant (abstract).
486
Electronic Edition (ACM DL) BibTeX
- B. Murali Dharan:
Imagination as event generation (abstract).
487
Electronic Edition (ACM DL) BibTeX
- Brian Smith, Dominic Soda, George W. Zobrist:
Lexical analysis using table look-up (abstract).
488
Electronic Edition (ACM DL) BibTeX
- Teodor Rus, Kurt Hansen:
An algebraic approach for assembler construction (abstract).
489
Electronic Edition (ACM DL) BibTeX
- Margaret S. Geroch, Frances L. Van Scoy:
Specialized commands for a syntax-directed editor (abstract).
490
Electronic Edition (ACM DL) BibTeX
- W. Douglas Findley, V. Santhanam:
A practical algorithm for generating LR parsers maintaining immediate error detection (abstract).
491
Electronic Edition (ACM DL) BibTeX
- C. Shanmugamani, Robert W. Neufeld, V. Santhanam:
Error recovery in LL(1) parsers using probabilistic grammar (abstract).
492
Electronic Edition (ACM DL) BibTeX
- Richard L. Vore, V. Santhanam:
A generic compiler symbol management facilityy (abstract).
493
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Gurdeep S. Hura:
Petri nets: a graph model for the representation and analysis of concurrent systems (abstract).
495
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Stavros A. Zenios, John M. Mulvey:
Nonlinear network programming on a vector supercomputer (abstract).
497
Electronic Edition (ACM DL) BibTeX
- Sunil R. Das:
On random testing of sequential digital logic with a high confidence measure (abstract).
498
Electronic Edition (ACM DL) BibTeX
- Amjad Umar:
Software engineering for distributed applications (abstract).
499
Electronic Edition (ACM DL) BibTeX
- Mary P. Bivens:
An approach to incremental register allocation (abstract).
500
Electronic Edition (ACM DL) BibTeX
- Massoud Omidvar, John Y. Cheung:
The neural network as a prototype in the design of nonconventional computer architecture for artificial intelligence applications (abstract).
501
Electronic Edition (ACM DL) BibTeX
- Mike Bakan, Alan Cotterman, Kim Howell, Kuldip Rattan:
A computer vision system for WSU robot (abstract).
502
Electronic Edition (ACM DL) BibTeX
- Hu Lei, Xia Zhenuhua:
A voice input microcomputer system (VIMS) (abstract).
503
Electronic Edition (ACM DL) BibTeX
- Brian E. Weinrich, A. S. Rogowski:
Use of conditional simulation techniques in assessingpermeability of a compacted clay liner (abstract).
504
Electronic Edition (ACM DL) BibTeX
- Anne C. Steele, George P. Grill, Gwen S. Loy:
Gatekeeping (abstract): the technology challenge in the medium-sized firm.
505
Electronic Edition (ACM DL) BibTeX
- Alex Bykat:
Designing an intelligent operating system consultant and teacher (abstract).
506
Electronic Edition (ACM DL) BibTeX
- Alonzo Johnson, Hsing-Yang Lee, John Dryer:
Automated double oral auction using I.B.M PC network (abstract).
507
Electronic Edition (ACM DL) BibTeX
- D. R. Beuerman:
REDBOP.2 (abstract).
508
Electronic Edition (ACM DL) BibTeX
- Daniel C. St. Clair, Dominic Soda:
Modeling dynamic entities in relational databases (abstract).
509
Electronic Edition (ACM DL) BibTeX
- James Nechvatal:
An approximation method for knapsack problems (abstract).
510
Electronic Edition (ACM DL) BibTeX
- Curt M. White:
Design of a blocked asynchronous protocol for distributed problem solving (abstract).
511
Electronic Edition (ACM DL) BibTeX
- H. Mary Micco, Rebecca A. Ruschel:
A survey of undergraduate computer science/information science programs in the North East United States (abstract).
512
Electronic Edition (ACM DL) BibTeX
- Janet Hartman:
An analysis of concerns of college instructors in a computer science retraining program (abstract).
513
Electronic Edition (ACM DL) BibTeX
- J. Michael McGrew, Mohd Mustaffa, Vincent Pedraza, John Raab:
CATSY (abstract): an electronic alternative to the chalkboard.
514
Electronic Edition (ACM DL) BibTeX
- Barry Burd:
Teaching Ada to beginning programmers (abstract).
515
Electronic Edition (ACM DL) BibTeX
- Emery Gathers:
Successful placement of freshman computer science majors (abstract).
516
Electronic Edition (ACM DL) BibTeX
- Sukhen Dey, Lawrence R. Mand:
Mathematics background, prior language exposure, and perceived success in introductory computer science courses (abstract).
517
Electronic Edition (ACM DL) BibTeX
- Ming Zhang, Jiaruo Wan, Xiaofeng Sheng, Minjin Wu:
Design and application of classroom instruction information pro cessing system (abstract).
518
Electronic Edition (ACM DL) BibTeX
- Steve Dudley, Ronnie McGaughey:
A solution to a contemporary problem (abstract).
519
Electronic Edition (ACM DL) BibTeX
- George M. Whitson, Pam Taylor:
A study of techniques used to obtain bibliographies in computer science (abstract).
520
Electronic Edition (ACM DL) BibTeX
- David Bellin:
Young Hackers (abstract): geniuses or criminal?
521
Electronic Edition (ACM DL) BibTeX
- Patrick J. C. Lamont:
F. L. Pilling and computer graphics (abstract).
522
Electronic Edition (ACM DL) BibTeX
Copyright © Sat May 16 22:55:56 2009
by Michael Ley (ley@uni-trier.de)