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.
Author(s): J. L. Lions (auth.), A. Bensoussan, J. -P. Verjus (eds.)
Series: Lecture Notes in Computer Science 653
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1992
Language: English
Pages: 378
Tags: Computer Systems Organization and Communication Networks; Software Engineering/Programming and Operating Systems; Theory of Computation; Information Systems and Communication Service; Computing Methodologies; Computer-Aided Engineering (
World mathematical year 2.000 and computer sciences....Pages 1-16
Dependable parallel computing by randomization (Abstract)....Pages 17-20
System dependability....Pages 21-50
Technology, networks, and the library of the year 2000....Pages 51-67
Mosaic C: An experimental fine-grain multicomputer....Pages 69-85
New frontiers in database system research....Pages 87-101
Formal theories and software systems: Fundamental connections between Computer Science and Logic....Pages 103-127
Time for concurrency....Pages 129-153
Horizons of parallel computation....Pages 155-174
Control software for virtual-circuit switches: Call processing....Pages 175-186
What is knowledge representation, and where is it going?....Pages 187-203
Creating a design science of Human-Computer Interaction....Pages 205-215
Sensing robots....Pages 217-231
Fundamentals of bicentric perspective....Pages 233-251
Digital HDTV: A technical challenge....Pages 253-264
Autonomous control....Pages 265-278
Analog and digital computing....Pages 279-289
Stochastic control and large deviations....Pages 291-300
Differential-Geometric methods: A powerful set of new tools for optimal control....Pages 301-314
Coordinating vehicles in an automated highway....Pages 315-330
Opportunities and challenges in signal processing and analysis....Pages 331-338
Neural computing and stochastic optimization....Pages 339-342
Stabilization of Galerkin methods and applications to domain decomposition....Pages 343-355
An efficient implementation of the spectral partitioning algorithm on connection machine systems....Pages 357-371
