000 04473nam a22006015i 4500
001 978-3-540-47520-0
003 DE-He213
005 20160624102024.0
007 cr nn 008mamaa
008 121227s1992 gw | s |||| 0|eng d
020 _a9783540475200
_9978-3-540-47520-0
024 7 _a10.1007/3-540-56320-2
_2doi
050 4 _aQA76.9.C643
050 4 _aTK5105.5-5105.9
072 7 _aUT
_2bicssc
072 7 _aCOM067000
_2bisacsh
082 0 4 _a004.6
_223
245 1 0 _aFuture Tendencies in Computer Science, Control and Applied Mathematics
_h[electronic resource] :
_bInternational Conference on the Occasion of the 25th Anniversary of INRIA Paris, France, December 8–11, 1992 Proceedings /
_cedited by A. Bensoussan, J. -P. Verjus.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1992.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1992.
300 _aXVIII, 378 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v653
505 0 _aWorld mathematical year 2.000 and computer sciences -- Dependable parallel computing by randomization (Abstract) -- System dependability -- Technology, networks, and the library of the year 2000 -- Mosaic C: An experimental fine-grain multicomputer -- New frontiers in database system research -- Formal theories and software systems: Fundamental connections between Computer Science and Logic -- Time for concurrency -- Horizons of parallel computation -- Control software for virtual-circuit switches: Call processing -- What is knowledge representation, and where is it going? -- Creating a design science of Human-Computer Interaction -- Sensing robots -- Fundamentals of bicentric perspective -- Digital HDTV: A technical challenge -- Autonomous control -- Analog and digital computing -- Stochastic control and large deviations -- Differential-Geometric methods: A powerful set of new tools for optimal control -- Coordinating vehicles in an automated highway -- Opportunities and challenges in signal processing and analysis -- Neural computing and stochastic optimization -- Stabilization of Galerkin methods and applications to domain decomposition -- An efficient implementation of the spectral partitioning algorithm on connection machine systems.
520 _aThis 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.
650 0 _aComputer science.
650 0 _aComputer network architectures.
650 0 _aSoftware engineering.
650 0 _aInformation theory.
650 0 _aInformation systems.
650 0 _aElectronic data processing.
650 0 _aComputer aided design.
650 1 4 _aComputer Science.
650 2 4 _aComputer Systems Organization and Communication Networks.
650 2 4 _aSoftware Engineering/Programming and Operating Systems.
650 2 4 _aTheory of Computation.
650 2 4 _aInformation Systems and Communication Service.
650 2 4 _aComputing Methodologies.
650 2 4 _aComputer-Aided Engineering (CAD, CAE) and Design.
700 1 _aBensoussan, A.
_eeditor.
700 1 _aVerjus, J. -P.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540563204
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v653
856 4 0 _uhttp://dx.doi.org/10.1007/3-540-56320-2
942 _2EBK6094
_cEBK
999 _c35388
_d35388