Computer Aided Systems Theory – EUROCAST 2005: 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers

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 -