The concept of CAST, computer aided systems Theory, was introduced by F. Pichler of Linz in the late 1980s to include those computer theoretical and practical developments used as tools to solve problems in system science. It was considered as the third component (the other two being CAD and CAM) that would provide for a complete picture of the path from computer and systems sciences to practical developments in science and engineering. The University of Linz organized the first CAST workshop in April 1988, which demonstrated the acceptance of the concepts by the scientific and technical community. Next, the University of Las Palmas de Gran Canaria joined the University of Linz to organize the first international meeting on CAST (Las Palmas February 1989), under the name EUROCAST 1989, a very successful gathering of systems theorists, computer scientists and engineers from most European countries, North America and Japan. It was agreed that EUROCAST international conferences would be organized every two years. Thus, the following EUROCAST meetings took place in Krems (1991), Las Palmas (1993), Innsbruck (1995), Las Palmas (1997), Vienna (1999), Las Palmas (2001) and Las Palmas (2003) in addition to an extra-European CAST conference in Ottawa in 1994. Selected papers from those meetings were published as Springer Lecture Notes in Computer Science vols. 410, 585, 763, 1030, 1333, 1728, 2178 and 2809 and in several special issues of Cybernetics and Systems: an lnternational Journal.
Author(s): José Mira Mira (auth.), Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia (eds.)
Series: Lecture Notes in Computer Science 3643 : Theoretical Computer Science and General Issues
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2005
Language: English
Pages: 634
Tags: Simulation and Modeling; Computer-Aided Engineering (CAD, CAE) and Design; Artificial Intelligence (incl. Robotics); Logics and Meanings of Programs; Processor Architectures; Mathematical Logic and Formal Languages
Front Matter....Pages -
On the Physical Formal and Semantic Frontiers Between Human Knowing and Machine Knowing....Pages 1-8
Approximation Problems Categories....Pages 9-14
Computation of Partial Automata Through Span Composition....Pages 15-20
Degenerate Arrays: A Framework for Uncertain Data Tables....Pages 21-26
Neural Network Sensitivity Analysis Applied for the Reduction of the Sensor Matrix....Pages 27-32
Fuzzy Modeling for Coal Seams A Case Study for a Hard-Coal Mine....Pages 33-37
Optimization of a Class of Uncertain Systems Based on Uncertain Variables....Pages 38-43
Computational Simulation of Categorical Constructions....Pages 44-49
Composing Transitions into Transactions in UML Diagrams....Pages 50-55
Theory-Building with System Dynamics: Principles and Practices....Pages 56-62
Ontology Integration for Statistical Information....Pages 63-68
On Recursive Functions and Well–Founded Relations in the Calculus of Constructions....Pages 69-80
Longest Sorted Sequence Algorithm for Parallel Text Alignment....Pages 81-90
Information Retrieval and Large Text Structured Corpora....Pages 91-100
Meteorological Image Descriptors....Pages 101-110
Towards a Certified and Efficient Computing of Gröbner Bases....Pages 111-120
CheapTB: A Low Cost of Operation Distributed Filesystem....Pages 121-130
Spelling Correction on Technical Documents....Pages 131-139
Verification of Language Based Fault-Tolerance....Pages 140-149
Applying Stacking and Corpus Transformation to a Chunking Task....Pages 150-158
Extracting Computer Algebra Programs from Statements....Pages 159-168
Integrating Syntactic Information by Means of Data Fusion Techniques....Pages 169-178
Unsupervised Learning in Information Retrieval Using NOW Architectures....Pages 179-188
An Iterative Method for Mining Frequent Temporal Patterns....Pages 189-198
Data Mining with Scatter Search....Pages 199-204
Web Usage Mining Project for Improving Web-Based Learning Sites....Pages 205-210
Similarity Queries in Data Bases Using Metric Distances – from Modeling Semantics to Its Maintenance....Pages 211-216
A WEB-CASE Tool Prototype for Hybrid Software Development....Pages 217-222
An Augmentative Communication System Based on Adaptive Evolutionary Hypermedia Systems....Pages 223-228
The Gaps of the Thesaurus Wordnet Used in Information Retrieval....Pages 229-234
Fuzzy Adaptive Objects (Logic of Monitors)....Pages 235-240
A Model-Based Architecture for Fuzzy Temporal Diagnosis....Pages 241-246
Extension of Ontologies Assisted by Automated Reasoning Systems....Pages 247-253
A Software Architecture for Effective Document Identifier Reassignment....Pages 254-262
An Ontology for Reusing Synthetic Tasks....Pages 263-268
A Tractable Subclass of Fuzzy Constraint Networks....Pages 269-274
Parallel State Space Generation and Exploration on Shared-Memory Architectures....Pages 275-280
Towards Automated Controlling of Human Projectworking Based on Multiagent Systems....Pages 281-290
Tree-Structured Legendre Multi-wavelets....Pages 291-300
Remarks on Calculation of Autocorrelation on Finite Dyadic Groups by Local Transformations of Decision Diagrams....Pages 301-310
A New Pseudo-Random Generator Based on Gollmann Cascades of Baker-Register-Machines....Pages 311-316
An Excellent Permutation Operator for Cryptographic Applications....Pages 317-326
Fault Cryptanalysis of ElGamal Signature Scheme....Pages 327-336
Complexity-Theoretical Approaches to the Design and Analysis of Cryptographical Boolean Functions....Pages 337-345
Algorithm for Proving the Knowledge of an Independent Vertex Set....Pages 346-354
Improvement of the Edit Distance Attack to Clock-Controlled LFSR-Based Stream Ciphers....Pages 355-364
Protocol Analysis for Concrete Environments....Pages 365-372
Pattern Recognition in AVHRR Images by Means of Hibryd and Neuro-fuzzy Systems....Pages 373-378
Image Processing Techniques for Braille Writing Recognition....Pages 379-385
Retinal Based Authentication via Distributed Web Application....Pages 386-391
Skeleton Extraction of 2D Objects Using Shock Wavefront Detection....Pages 392-397
Cue Combination for Robust Real-Time Multiple Face Detection at Different Resolutions....Pages 398-403
Evolutionary Color Constancy Algorithm Based on the Gamut Mapping Paradigm....Pages 404-409
Vision Based Automatic Occupant Classification and Pose Recognition for Smart Airbag Deployment....Pages 410-415
A Wiener Neuronal Model with Refractoriness....Pages 416-425
On Myosin II Dynamics: From a Pulsating Ratchet to a Washboard Potential....Pages 426-435
Feedback Effects in Simulated Stein’s Coupled Neurons....Pages 436-446
Upcrossing First Passage Times for Correlated Gaussian Processes....Pages 447-456
Convergence of Iterations....Pages 457-466
Semiautomatic Snake-Based Segmentation of Solid Breast Nodules on Ultrasonography....Pages 467-472
Parallel Progressive Multiple Sequence Alignment....Pages 473-482
Concepts and Systems Tools for Modelling Signal Processing in Vertebrate Retina....Pages 483-491
Application of Multichannel Vision Concepts and Mechanisms in an Artificial Industrial Vision System....Pages 492-500
Soft Computing and Geometrical Control for Computer Aided Driving....Pages 501-506
A Monocular Solution to Vision-Based ACC in Road Vehicles....Pages 507-512
Multi-objective Dynamic Optimization for Automatic Parallel Parking....Pages 513-518
Electric Power Steering Automation for Autonomous Driving....Pages 519-524
Computer Vision Application: Real Time Smart Traffic Light....Pages 525-530
Permanency Memories in Scene Depth Analysis....Pages 531-536
Pedestrian Detection for Intelligent Vehicles Based on Active Contour Models and Stereo Vision....Pages 537-542
Fast Road Sign Detection Using Hough Transform for Assisted Driving of Road Vehicles....Pages 543-548
Advances in Robotics....Pages 549-558
Current and Future Trends and Challenges in Robot Soccer....Pages 559-564
Strategy and Communication in Robotic Soccer Game....Pages 565-570
Rete Algorithm Applied to Robotic Soccer....Pages 571-576
Towards a Biomathematical Model of Intentional Autonomous Multiagent Systems....Pages 577-583
A Controller Network for a Humanoid Robot....Pages 584-589
Programming by Integration in Robotics....Pages 590-595
A Mathematical Formalism for the Evaluation of C-Space for Redundant Robots....Pages 596-601
Global Modal Logics for Multiagent Systems: A Logical Fibering Approach....Pages 602-607
Improved Non-standard Discretization Methods for Nonlinear Dynamical Control Systems....Pages 608-613
Hierarchical Control of a Distributed Solar Collector Field....Pages 614-620
Explanatory Analysis of Data from a Distributed Solar Collector Field....Pages 621-626
Back Matter....Pages -
