Soldek / Saeed / Pejas Advanced Computer Systems

Eighth International Conference, ACS’ 2001 Mielno, Poland October 17–19, 2001 Proceedings
Erscheinungsjahr 2012
ISBN: 978-1-4419-8530-9
Verlag: Springer US
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, Band 664, 500 Seiten, eBook

Reihe: The Springer International Series in Engineering and Computer Science

Advanced Computer Systems is a collection of forty selected papers presented to the Eighth International Conference on Computer Systems, October 2001 in Mielno, Poland. These papers provide a comprehensive summary of practice and research progress in information technologies: Recognition, Security and Safety concentrates on the widely-known problems of information systems security.Methods of Artificial Intelligence presents methods and algorithms which are the basics for the applications of artificial intelligence environments.Intelligent Agents and Distributed Activities includes laboratory research on multiagent intelligent systems as well as upon their applications in searching information, negotiating and supporting decision.Distributed Productions Networks and Modeling Complex Systems present production processes in distributed shared virtual environment, virtual solution of integer optimization problems, and a queuing approach to performance optimization in the distributed production network.

Zielgruppe

Research

Autoren/Hrsg.

Soldek, Jerzy

Saeed, Khalid

Pejas, Jerzy

Inhaltsverzeichnis

1 Methods of Artificial Intelligence.- Fuzzy Expert Systems: Economic and Financial Applications.- Backprojection of data vectors using a given covariance matrix.- Peculiarities of Genetic Algorithm Usage When Synthesizing Neural and Fuzzy Regulators.- Application of the Probabilistic RBF Neural Network in Multidimensional Classification Problems.- Visual Solution of Integer Optimization Problems.- Two methods of robust estimation of a covariance matrix — a practice study for some liver data.- Visualisation of multivariate data using parallel coordinate plots and Kohonen’s SOM’s. Which is better?.- Application of semantic analysis of Polish speech for purpose of automatic gender identification.- 2 Intelligent Agents and Distributed Activities.- Agent Based Freight Distrbution System.- Improvement of The User Interface for Autonomous Load Distributing Algorithm.- The ROLCoDE framework used in a computational distributed calculation.- Some Tasks of Intelligent Tutoring Systems Design for Civil Aviation Pilots.- Presence Production in a Distributed Shared Virtual Environment for Exploring Mathematics.- Basic workflow model at distributed intelligent production and its verification.- MEME: An Adaptive Email-based Knowledge Sharing System for Educational Institutions.- 3 Distributed Production Networks and Modelling Complex Systems.- Models and Methods of Optimal Planning of Sales Volume for Manufacture With Probability Character of Technological Process.- Approximation-Decomposition Method for Modelling Thermal Systems.- An analysis of performance of CAN (Controller Area Network) Fieldbus.- Effective Methods of Temporal Data Representation in Data Warehouse Systems.- Outsourcing it and Virtualization in E-Business Solutions (Selected Issues).- Algorithmic Models forSupervectoring Calculation in Solving Base DSP Problems.- 4 Computer Graphics and Pattern Recognition.- Perception-Driven Global Illumination and Rendering Computation.- Real-Time Shadow Casting in Virtual Studio.- JaTrac — an exercise in designing educational raytracer.- A Few Approaches To Face Detection In Face Recognition Systems.- 5 Computer Security and Safety.- Software support for collaborative risk management.- New Experimental Results in Differential — Linear Cryptanalysis of Reduced Variants of DES.- A Complete Logic ofAuthentication.- Generating Bent Functions.- Multilevel Lattice-Based Authorization in Distributed Supervisory and Control Systems.- Specification of timed authentication protocols with colored Petri nets.- A Combinatorial Algorithm for Sharing a Key.- Distributed Password.- 6 Logic Synthesis and Simulation.- Utilizing High-Level Information for Formal Hardware Verification.- Tabular Teclmiques for MVLogic.- A Method of Analysis of Operational Petri Nets.- Method and Validation for VHDL Case Statement Optimization.- Algorithms of Generation Boolean Equations for a Multiplication Operation.- Consideration of Task’s Deadline for Scheduling Method with Used Processors Limitation.- Author Index.