Future Tendencies in Computer Science, Control and Applied Mathematics

1. Front Matter

   PDF

2. World mathematical year 2.000 and computer sciences

   • J. L. Lions

   Pages 1-16

3. Dependable parallel computing by randomization (Abstract)

   • Michael O. Rabin

   Pages 17-20

4. System dependability

   • Brian Randell

   Pages 21-50

5. Technology, networks, and the library of the year 2000

   • Jerome H. Saltzer

   Pages 51-67

6. Mosaic C: An experimental fine-grain multicomputer

   • Charles L. Seitz

   Pages 69-85

7. New frontiers in database system research

   • Jeffrey D. Ullman

   Pages 87-101

8. Formal theories and software systems: Fundamental connections between Computer Science and Logic

   • Robert L. Constable

   Pages 103-127

9. Time for concurrency

   • Zohar Manna, Amir Pnueli

   Pages 129-153

10. Horizons of parallel computation

    • Gianfranco Bilardi, Franco P. Preparata

    Pages 155-174

11. Control software for virtual-circuit switches: Call processing

    • Roy Campbell, Sean Dorward, Anand Iyengar, Chuck Kalmanek, Gary Murakami, Ravi Sethi et al.

    Pages 175-186

12. What is knowledge representation, and where is it going?

    • Ronald J. Brachman

    Pages 187-203

13. Creating a design science of Human-Computer Interaction

    • John M. Carroll

    Pages 205-215

14. Sensing robots

    • Michael Brady

    Pages 217-231

15. Fundamentals of bicentric perspective

    • Jan J. Koenderink

    Pages 233-251

16. Digital HDTV: A technical challenge

    • Arun N. Netravali

    Pages 253-264

17. Autonomous control

    • K. J. Åström

    Pages 265-278

18. Analog and digital computing

    • Roger W. Brockett

    Pages 279-289

19. Stochastic control and large deviations

    • Wendell H. Fleming

    Pages 291-300

20. Differential-Geometric methods: A powerful set of new tools for optimal control

    • Héctor J. Sussmann

    Pages 301-314

This volume contains the proceedings of the International Conference on Research in Computer Science and Control, held on the occasion of the 25th anniversary of INRIA in December 1992. The objective of this conference was to bring together a large number of the world's leading specialists in information technology who are particularly active in the fields covered by INRIA research programmes, to present the state of the art and a prospective view of future research. The contributions in the volume are organized into the following areas: Parallel processing, databases, networks, and distributed systems; Symbolic computation, programming, and software engineering; Artificial intelligence, cognitive systems, and man-machine interaction; Robotics, image processing, and computer vision; Signal processing, control and manufacturing automation; Scientific computing, numerical software, and computer aided engineering.

• Automat
• Processing
• artificial intelligence
• automation
• computer vision
• databases
• distributed systems
• image processing
• robotics
• scientific computing

Policies and ethics