Computer Aided Systems Theory – EUROCAST 2007: 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers

Rudolf F. Albrecht (auth.), Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia (eds.)3540758666, 9783540758662

The concept of CAST as Computer Aided Systems Theory was introduced by F. Pichler in the late 1980s to encompass computer-theoretical and practical developments as tools for problem-solving in system science. It was thought of as the third of three components (the other two being CAD and CAM) that together provide a complete picture of the path from computer and systems sciences to practical developments in science and engineering. Franz Pichler, of 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. This proved to be a very successful gathering of systems theorists, computer scientists and engineers from Europe, North America and Japan. It was agreed that EUROCAST international conferences would be organized every two years. Thus, successive EUROCAST meetings have taken place in Krems (1991), Las Palmas (1993), Innsbruck (1995), Las Palmas (1997), Vienna (1999), Las Palmas (2001), Las Palmas (2003) and Las Palmas (2005), in addition to an extra- European CAST Conference in Ottawa in 1994. Selected papers from those meetings were published in springer’s Lecture Notes in Computer Science series, as numbers 410, 585, 763, 1030, 1333, 1798, 2178, 2809 and 3643, and in several special issues of the international journal Cybernetics and Systems.

---

Table of contents :
Front Matter….Pages –
On Evolutionary Systems….Pages 1-9
A Systems Theoretic Approach to the Design of Scalable Cryptographic Hash Functions….Pages 10-17
Modelling an Activity in Wireless Sensors Network….Pages 18-25
Explanatory Model for the Break of Logic Equivalence by Irrational Agents in Elkan’s Paradox….Pages 26-33
Entropy-Based Modeling and Simulation of Evolution in Biological Systems….Pages 34-41
Logistic Regression as a Computational Tool for Dealing with Intransitivity….Pages 42-49
Synoptic Maps Forecast Using Spatio-temporal Models….Pages 50-56
Ontology-Based Modelling of Session Management Policies for Groupware Applications….Pages 57-64
Computer Aided Development and Simulation of a Remote Control VTOL Tiltwing Model Aircraft….Pages 65-72
A Simulation Study of New Security Schemes in Mobile Ad-Hoc NETworks….Pages 73-81
An Open Modular System for Monitoring Remote Sensors….Pages 82-89
A Structure for Generalized Space-Time Processing: The Feedforward Visual Case….Pages 90-96
Arrays and Continuous Attributes….Pages 97-104
Neuro-Immune-Endocrine (NIE) Models for Emergency Services Interoperatibility….Pages 105-112
Automatic Change Detection in Dynamical System with Chaos Based on Model, Fractal Dimension and Recurrence Plot….Pages 113-120
Picard Discretization of Nonlinear Systems: Symbolic or Numeric Implementation?….Pages 121-129
An Object-Oriented and Generic Compiler Generator….Pages 130-137
A k-NN Based Perception Scheme for Reinforcement Learning….Pages 138-145
On the Estimation of First-Passage Time Densities for a Class of Gauss-Markov Processes….Pages 146-153
Simulation of Myosin II Dynamics Modeled by a Pulsating Ratchet with Double-Well Potentials….Pages 154-162
Random Motion with Gamma-Distributed Alternating Velocities in Biological Modeling….Pages 163-170
A Prey-Predator Model for Immune Response and Drug Resistance in Tumor Growth….Pages 171-178
On First-Passage Problems for Asymmetric One-Dimensional Diffusions….Pages 179-186
Multivariate Imputation of Genotype Data Using Short and Long Range Disequilibrium….Pages 187-194
Neonatal EEG Sleep Stages Modelling by Temporal Profiles….Pages 195-201
On the Representation of Imperative Programs in a Logical Framework….Pages 202-209
Using Coq to Understand Nested Datatypes….Pages 210-216
Towards a Decentralized and Structured Network of P2P Public Information Screens….Pages 217-224
NowOnWeb: News Search and Summarization….Pages 225-232
Verification of Program Properties Using Different Theorem Provers: A Case Study….Pages 233-240
Temporal Equilibrium Logic: A First Approach….Pages 241-248
A Distributed Filesystem for Spare Storage….Pages 249-256
Generation of Indexes for Compiling Efficient Parsers from Formal Specifications….Pages 257-264
From Text to Knowledge….Pages 265-272
XML Rules for Enclitic Segmentation….Pages 273-281
Certified Genetic Algorithms: Crossover Operators for Permutations….Pages 282-289
Contextual Spelling Correction….Pages 290-296
Multiple Label Text Categorization on a Hierarchical Thesaurus….Pages 297-304
A Formal Foundation for Knowledge Integration of Defficent Information in the Semantic Web….Pages 305-312
Using Temporal Logic for Spatial Reasoning: Temporalized Propositional Neighborhood Logic….Pages 313-320
An Integrated Approach to Filtering Phishing E-mails….Pages 321-328
Formal Reasoning on a Web Coordination System….Pages 329-336
A Multi-agent System for Information Retrieval….Pages 337-344
Knowledge Integration from Multidimensional Data Sources….Pages 345-351
Evolution of the Design and Implementation of Tutor: A Web-Based Educational System for University Courses….Pages 352-359
Using Videogames in Special Education….Pages 360-367
Facing the Challenges of the European Higher Education Area: The dMath Project….Pages 368-375
A Study of Tool Support for the Evaluation of Programming Exercises….Pages 376-383
Aplying a Semantic Hypermedia Model to Adaptive Concept Maps in Education….Pages 384-391
Towards Virtual Course Evaluation Using Web Intelligence….Pages 392-399
KRRT: Knowledge Representation and Reasoning Tutor System….Pages 400-407
Fuzzy Adaptive Objects (Logic of Monitors as Agents)….Pages 408-414
E-Learning Platform as a Teaching Support in Psychology….Pages 415-422
Wiki Use in Learning for Topography Spanish Students….Pages 423-430
An Interactive Job Manager for Globus….Pages 431-442
Interactive Molecular Dynamics Simulations on the Grid….Pages 443-447
Extending the Globus Architecture with Role-Based Trust Management….Pages 448-456
GRID Software Solution for the Segmentation of the Coronary Artery Tree in Biplane Angiograms….Pages 457-464
An Intelligent Scatter with Estimation of Distribution for Tabu Search….Pages 465-472
A Framework of GRID Problem-Solving Environment Employing Robust Evolutionary Search….Pages 473-480
A Resources Virtualization Approach Supporting Uniform Access to Heterogeneous Grid Resources….Pages 481-487
Pattern-Based Verification for Trees….Pages 488-496
Using Verification Technology to Specify and Detect Malware….Pages 497-504
A Compositional Approach for Equivalence Checking of Sequential Circuits with Unknown Reset State and Overlapping Partitions….Pages 505-514
Efficient Model Checking of Applications with Input/Output….Pages 515-522
Ant Colony Optimization for Model Checking….Pages 523-530
On Combining 01X-Logic and QBF….Pages 531-538
Model Checking a Video–on–Demand Server Using McErlang….Pages 539-546
Compressing Propositional Proofs by Common Subproof Extraction….Pages 547-555
Verification of ACTL Properties by Bounded Model Checking….Pages 556-563
Application of Linear Hybrid Cellular Automata to Stream Ciphers….Pages 564-571
A Highly Nonlinear Cellular FSM-Combiner for Stream Ciphers….Pages 572-580
Variations on Neighborhoods in CA….Pages 581-588
Hardware Modelling of Cellular Automata: The Game of Life Case….Pages 589-595
Solving the Exploration’s Problem with Several Creatures More Efficiently….Pages 596-603
A New Time-Optimum Synchronization Algorithm for Two-Dimensional Cellular Arrays….Pages 604-611
3D Motion Estimation Using a Combination of Correlation and Variational Methods for PIV….Pages 612-620
Helicopter Flight Dynamics Using Soft Computing Models….Pages 621-628
Movement Identification Analysis Based on Motion Capture ….Pages 629-637
Algorithmic Lateral Inhibition Formal Model for Real-Time Motion Detection….Pages 638-645
Second Order Variational Optic Flow Estimation….Pages 646-653
An Application of Optical Flow: Slow Motion Effect on Streaming Image Sequences….Pages 654-659
Comparing Self-calibration Methods for Static Cameras….Pages 660-667
Automation of Snakes in Medical Images….Pages 668-675
Symmetric Optical Flow….Pages 676-683
Real-Time Stereo Visual SLAM in Large-Scale Environments Based on SIFT Fingerprints….Pages 684-691
Tool for Creation Realistic Animation of Human-Like Figures: TRAF….Pages 692-700
An Annotation Tool for Video Understanding….Pages 701-708
Temporal Constraints in Large Optical Flow Estimation….Pages 709-716
Comparing Improved Versions of ‘K-Means’ and ‘Subtractive’ Clustering in a Tracking Application….Pages 717-724
FPGA Real Time Lane Departure Warning Hardware System….Pages 725-732
Efficient Combination of the Fuzzy Hough Transform and the Burns Segment Detector….Pages 733-739
Using Fisher Kernel on 2D-Shape Identification….Pages 740-746
Benefits of Plugin-Based Heuristic Optimization Software Systems….Pages 747-754
Metaheuristic Approaches for Optimal Broadcasting Design in Metropolitan MANETs….Pages 755-763
The Influence of Data Implementation in the Performance of Evolutionary Algorithms….Pages 764-771
Heuristic Approach to Conflict Problem Solving in an Intelligent Multiagent System….Pages 772-779
Optimal Placement of Sensors for Trilateration: Regular Lattices vs Meta-heuristic Solutions….Pages 780-787
Selection Pressure Driven Sliding Window Behavior in Genetic Programming Based Structure Identification….Pages 788-795
Multi-Objective Evolutionary Algorithms Using the Working Point and the TOPSIS Method….Pages 796-803
Self-organizing Feature Maps to Solve the Undirected Rural Postman Problem….Pages 804-811
Optimization Methods for Large-Scale Production Scheduling Problems….Pages 812-819
Self-adaptive Population Size Adjustment for Genetic Algorithms….Pages 820-828
Parallel Tabu Search and the Multiobjective Capacitated Vehicle Routing Problem with Soft Time Windows….Pages 829-836
Bandit-Based Monte-Carlo Planning for the Single-Machine Total Weighted Tardiness Scheduling Problem….Pages 837-844
Using GAs to Obtain an Optimal Set of Codes for an Ultrasonic Local Positioning System….Pages 845-852
Using Omnidirectional BTS and Different Evolutionary Approaches to Solve the RND Problem….Pages 853-860
Fast Generation of Production Schedules on a Single Machine….Pages 861-869
Determining Orbital Elements of Extrasolar Planets by Evolution Strategies….Pages 870-877
Training Multiclass Classifiers by Maximizing the Volume Under the ROC Surface….Pages 878-885
Selective Association in Associative Memories – An Extension of the Model NEUNET….Pages 886-893
Towards Constraint-Based Preservation in Systems Specification….Pages 894-902
Automated Re-establishment of the Synchronization of Real and Simulated Project Workflow….Pages 903-911
Automated Modelling in Empirical Social Sciences Using a Genetic Algorithm….Pages 912-919
Extending the Growing Neural Gas Classifier for Context Recognition….Pages 920-927
Neural Network Based Path Detection for an FMCW Positioning System….Pages 928-935
Object Oriented Signal Data Structures in VLSI Implementations of Wireless Modems….Pages 936-943
A Bandwidth Efficiency Optimized Frequency Domain Equalization Concept for Single Carrier Transmission….Pages 944-951
Optimized Mapping Schemes for LDPC Coded Higher Order Modulated QAM Transmission….Pages 952-959
Texture-Based Filtering and Front-Propagation Techniques for the Segmentation of Ultrasound Images….Pages 960-967
”Chameleon” Software Defined Control Platform….Pages 968-975
Sampling Rate Conversion for Timing Adjustment in 3.5G Multimode Mobile Terminals….Pages 976-983
Accelerating Space Variant Gaussian Filtering on Graphics Processing Unit….Pages 984-991
Ant-Based Topology Convergence Algorithms for Resource Management in VANETs….Pages 992-1000
Simulation of a Signal Arbitration Algorithm for a Sensor Array….Pages 1001-1008
Mini Robots for Soccer….Pages 1009-1016
Embedded Robotic Solution: Integrating Robotics Interfaces with a High-Level CPU in a System-on-a-Chip….Pages 1017-1024
An Embedded Vision Sensor for Robot Soccer….Pages 1025-1032
MTVS: A Multi-task Active-Vision System….Pages 1033-1040
DES-Based Coordination of Space-Sharing Mobile Robots….Pages 1041-1048
CASIMIRO, The Sociable Robot….Pages 1049-1056
Processing of Myoelectric Signals by Feature Selection and Dimensionality Reduction for the Control of Powered Upper-Limb Prostheses….Pages 1057-1065
The Anglet Experiment: A Cybercar on the Beach….Pages 1066-1072
Crossroad Cooperative Driving Based on GPS and Wireless Communications….Pages 1073-1080
Free Space in Front of an Autonomous Guided Vehicle in Inner-City Conditions….Pages 1081-1088
Towards a Robust Vision-Based Obstacle Perception with Classifier Fusion in Cybercars….Pages 1089-1096
Using Self-adapting Navigation Data for Intelligent, Personalized Vehicle Guidance….Pages 1097-1104
Road Approximation in Euclidean and v -Disparity Space: A Comparative Study….Pages 1105-1112
Vision-Based Blind Spot Detection Using Optical Flow….Pages 1113-1118
Ego-Motion Computing for Vehicle Velocity Estimation….Pages 1119-1125
PSPRT: A Case of Pervasive System for Public Road Transport….Pages 1126-1133
Study of Correlation Among Several Traffic Parameters Using Evolutionary Algorithms: Traffic Flow, Greenhouse Emissions and Network Occupancy….Pages 1134-1141
Robust Obstacle Detection Based on Dense Disparity Maps….Pages 1142-1150
Cooperative Maneuver Study Between Autonomous Cars: Overtaking….Pages 1151-1158
Trajectory Planning in a Crossroads for a Fleet of Driverless Vehicles….Pages 1159-1166
Secure and Scalable Communication in Vehicle Ad Hoc Networks….Pages 1167-1174
Speed Supervisor for Intelligent Vehicles….Pages 1175-1182
Efficient On-Board Stereo Vision Pose Estimation….Pages 1183-1190
Complex Software Problem Solving by Means of Abstractive Techniques….Pages 1191-1198
Active MIB: Addressing Challenges of Wireless Mesh Networks….Pages 1199-1207
Fuzzy Integration of Web Data Sources for Data Warehousing….Pages 1208-1215
Comparison of WiFi Map Construction Methods for WiFi POMDP Navigation Systems….Pages 1216-1222
A Practical Agent-Based Approach for Pattern Layout Design….Pages 1223-1228
Back Matter….Pages –