000 05098nam a22005775i 4500
001 978-3-540-49588-8
003 DE-He213
005 20160624102044.0
007 cr nn 008mamaa
008 121227s1996 gw | s |||| 0|eng d
020 _a9783540495888
_9978-3-540-49588-8
024 7 _a10.1007/BFb0037392
_2doi
050 4 _aTK5105.5-5105.9
072 7 _aUKN
_2bicssc
072 7 _aCOM075000
_2bisacsh
082 0 4 _a004.6
_223
245 1 0 _aSOFSEM'96: Theory and Practice of Informatics
_h[electronic resource] :
_b23rd Seminar on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 23–30, 1996 Proceedings /
_cedited by Keith G. Jeffery, Jaroslav Král, Miroslav Bartošek.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1996.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1996.
300 _aXII, 500 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 ;
_v1175
505 0 _aA unified view to string matching algorithms -- Communication in parallel systems -- An overview of the Tigger object-support operating system framework -- The arias distributed shared memory: An overview -- CORBA and object services -- Decision-theoretic reasoning and the human-computer interface: Advances in embedded intelligent agents -- Probabilistic approaches to motion planning -- Learning in order to reason: The approach -- Database semantics in heterogeneous environment -- Business case processing — Rationale, survey and trends -- Data Mining and the Keso project -- Computer Visualization — Concepts, trends and current research -- High performance computing — The computational chemistry perspective -- Iterative methods for unsymmetric linear systems -- Core technologies for system renovation -- Trends in game tree search -- A visual approach to VDM -- Statecharts: Past, present, future -- Scalable fault tolerance -- A deductive database support to the specification of concurrent systems -- Interprocess communication in the T4 system -- A formal representation for state diagrams in the OMT methodology -- Feasible real random access machines -- Temporal conversion functions for multitemporal relational databases -- An output sensitive solution to the set union and intersection problem -- On the semantics of multistage interconnection networks -- Decision trees, knowledge rules and some related data mining algorithms -- Regularity is decidable for normed BPA and normed BPP processes in polynomial time -- A new proposal of concurrent process calculus -- On the specification of visual languages: Multisets as first-class citizens -- Restarting automata with rewriting -- On the role of orthogonality in the GMRES method -- Efficient tree pattern unification -- A light-weight formalism for the specification of reactive systems -- Knowledge discovery in alarm data analysis -- Aunt's problem: Table rounding -- A seven-head dragon for optimal pattern searching -- Choosing reference views for image-based representation -- Recognizing graph products and bundles -- Genetic algorithms-based creation of fuzzy-rule bases for the car control -- A transaction model for mobile and active database systems.
520 _aThis book constitutes the proceedings of the 23rd International Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM '96, held in Milovy, Czech Republic, in November 1996. The volume presents a unique collection of 19 invited papers competently surveying the field. These papers are organized in sections on fundamentals, distributed and parallel computing, AI and control systems, databases and electronic documents, scientific computing and visualization, programming and software engineering. Also included are 22 refereed and thoroughly revised contributed research papers selected by the program committee for inclusion in the proceedings.
650 0 _aComputer science.
650 0 _aComputer Communication Networks.
650 0 _aSoftware engineering.
650 0 _aInformation theory.
650 0 _aInformation systems.
650 0 _aArtificial intelligence.
650 1 4 _aComputer Science.
650 2 4 _aComputer 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 _aArtificial Intelligence (incl. Robotics).
700 1 _aJeffery, Keith G.
_eeditor.
700 1 _aKrál, Jaroslav.
_eeditor.
700 1 _aBartošek, Miroslav.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540619949
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v1175
856 4 0 _uhttp://dx.doi.org/10.1007/BFb0037392
942 _2EBK6826
_cEBK
999 _c36120
_d36120