Computer Aided Systems Theory - EUROCAST 2005

Retrieval.- Fuzzy Adaptive Objects (Logic of Monitors).- A Model-Based Architecture for Fuzzy Temporal Diagnosis.- Extension of Ontologies Assisted by Automated Reasoning Systems.- A Software Architecture for Effective Document Identifier Reassignment.- An Ontology for Reusing Synthetic Tasks.- A Tractable Subclass of Fuzzy Constraint Networks.- Parallel State Space Generation and Exploration on Shared-Memory Architectures.- Towards Automated Controlling of Human Projectworking Based on Multiagent Systems.- Cryptography and Spectral Analysis.- Tree-Structured Legendre Multi-wavelets.- Remarks on Calculation of Autocorrelation on Finite Dyadic Groups by Local Transformations of Decision Diagrams.- A New Pseudo-Random Generator Based on Gollmann Cascades of Baker-Register-Machines.- An Excellent Permutation Operator for Cryptographic Applications.- Fault Cryptanalysis of ElGamal Signature Scheme.- Complexity-Theoretical Approaches to the Design and Analysis of Cryptographical Boolean Functions.- Algorithm for Proving the Knowledge of an Independent Vertex Set.- Improvement of the Edit Distance Attack to Clock-Controlled LFSR-Based Stream Ciphers.- Protocol Analysis for Concrete Environments.- Computer Vision.- Pattern Recognition in AVHRR Images by Means of Hibryd and Neuro-fuzzy Systems.- Image Processing Techniques for Braille Writing Recognition.- Retinal Based Authentication via Distributed Web Application.- Skeleton Extraction of 2D Objects Using Shock Wavefront Detection.- Cue Combination for Robust Real-Time Multiple Face Detection at Different Resolutions.- Evolutionary Color Constancy Algorithm Based on the Gamut Mapping Paradigm.- Vision Based Automatic Occupant Classification and Pose Recognition for Smart Airbag Deployment.- Biocomputing.- A Wiener Neuronal Model with Refractoriness.- On Myosin II Dynamics: From a Pulsating Ratchet to a Washboard Potential.- Feedback Effects in Simulated Stein's Coupled Neurons.- Upcrossing First Passage Times for Correlated Gaussian Processes.- Convergence of Iterations.- Semiautomatic Snake-Based Segmentation of Solid Breast Nodules on Ultrasonography.- Parallel Progressive Multiple Sequence Alignment.- Concepts and Systems Tools for Modelling Signal Processing in Vertebrate Retina.- Application of Multichannel Vision Concepts and Mechanisms in an Artificial Industrial Vision System.- Intelligent Vehicular Sytems.- Soft Computing and Geometrical Control for Computer Aided Driving.- A Monocular Solution to Vision-Based ACC in Road Vehicles.- Multi-objective Dynamic Optimization for Automatic Parallel Parking.- Electric Power Steering Automation for Autonomous Driving.- Computer Vision Application: Real Time Smart Traffic Light.- Permanency Memories in Scene Depth Analysis.- Pedestrian Detection for Intelligent Vehicles Based on Active Contour Models and Stereo Vision.- Fast Road Sign Detection Using Hough Transform for Assisted Driving of Road Vehicles.- Robotic Soccer, Robotics and Control.- Advances in Robotics.- Current and Future Trends and Challenges in Robot Soccer.- Strategy and Communication in Robotic Soccer Game.- Rete Algorithm Applied to Robotic Soccer.- Towards a Biomathematical Model of Intentional Autonomous Multiagent Systems.- A Controller Network for a Humanoid Robot.- Programming by Integration in Robotics.- A Mathematical Formalism for the Evaluation of C-Space for Redundant Robots.- Global Modal Logics for Multiagent Systems: A Logical Fibering Approach.- Improved Non-standard Discretization Methods for Nonlinear Dynamical Control Systems.- Hierarchical Control of a Distributed Solar Collector Field.- Explanatory Analysis of Data from a Distributed Solar Collector Field.