Computer Aided Systems Theory - EUROCAST 2007

Systems Theory and Simulation: Formal Approaches.- On Evolutionary Systems.- A Systems Theoretic Approach to the Design of Scalable Cryptographic Hash Functions.- Modelling an Activity in Wireless Sensors Network.- Explanatory Model for the Break of Logic Equivalence by Irrational Agents in Elkan’s Paradox.- Entropy-Based Modeling and Simulation of Evolution in Biological Systems.- Logistic Regression as a Computational Tool for Dealing with Intransitivity.- Synoptic Maps Forecast Using Spatio-temporal Models.- Ontology-Based Modelling of Session Management Policies for Groupware Applications.- Computer Aided Development and Simulation of a Remote Control VTOL Tiltwing Model Aircraft.- A Simulation Study of New Security Schemes in Mobile Ad-Hoc NETworks.- An Open Modular System for Monitoring Remote Sensors.- A Structure for Generalized Space-Time Processing: The Feedforward Visual Case.- Arrays and Continuous Attributes.- Neuro-Immune-Endocrine (NIE) Models for Emergency Services Interoperatibility.- Automatic Change Detection in Dynamical System with Chaos Based on Model, Fractal Dimension and Recurrence Plot.- Picard Discretization of Nonlinear Systems: Symbolic or Numeric Implementation?.- An Object-Oriented and Generic Compiler Generator.- A k-NN Based Perception Scheme for Reinforcement Learning.- Computation and Simulation in Modelling Biological Systems.- On the Estimation of First-Passage Time Densities for a Class of Gauss-Markov Processes.- Simulation of Myosin II Dynamics Modeled by a Pulsating Ratchet with Double-Well Potentials.- Random Motion with Gamma-Distributed Alternating Velocities in Biological Modeling.- A Prey-Predator Model for Immune Response and Drug Resistance in Tumor Growth.- On First-Passage Problems for Asymmetric One-Dimensional Diffusions.- Multivariate Imputation of Genotype Data Using Short and Long Range Disequilibrium.- Neonatal EEG Sleep Stages Modelling by Temporal Profiles.- Intelligent Information Processing.- On the Representation of Imperative Programs in a Logical Framework.- Using Coq to Understand Nested Datatypes.- Towards a Decentralized and Structured Network of P2P Public Information Screens.- NowOnWeb: News Search and Summarization.- Verification of Program Properties Using Different Theorem Provers: A Case Study.- Temporal Equilibrium Logic: A First Approach.- A Distributed Filesystem for Spare Storage.- Generation of Indexes for Compiling Efficient Parsers from Formal Specifications.- From Text to Knowledge.- XML Rules for Enclitic Segmentation.- Certified Genetic Algorithms: Crossover Operators for Permutations.- Contextual Spelling Correction.- Multiple Label Text Categorization on a Hierarchical Thesaurus.- A Formal Foundation for Knowledge Integration of Defficent Information in the Semantic Web.- Using Temporal Logic for Spatial Reasoning: Temporalized Propositional Neighborhood Logic.- An Integrated Approach to Filtering Phishing E-mails.- Formal Reasoning on a Web Coordination System.- A Multi-agent System for Information Retrieval.- Knowledge Integration from Multidimensional Data Sources.- Computers in Education.- Evolution of the Design and Implementation of Tutor: A Web-Based Educational System for University Courses.- Using Videogames in Special Education.- Facing the Challenges of the European Higher Education Area: The dMath Project.- A Study of Tool Support for the Evaluation of Programming Exercises.- Aplying a Semantic Hypermedia Model to Adaptive Concept Maps in Education.- Towards Virtual Course Evaluation Using Web Intelligence.- KRRT: Knowledge Representation and Reasoning Tutor System.- Fuzzy Adaptive Objects (Logic of Monitors as Agents).- E-Learning Platform as a Teaching Support in Psychology.- Wiki Use in Learning for Topography Spanish Students.- Grid Computing.- An Interactive Job Manager for Globus.- Interactive Molecular Dynamics Simulations on the Grid.- Extending the Globus Architecture with Role-Based Trust Management.- GRID Software Solution for the Segmentation of the Coronary Artery Tree in Biplane Angiograms.- An Intelligent Scatter with Estimation of Distribution for Tabu Search.- A Framework of GRID Problem-Solving Environment Employing Robust Evolutionary Search.- A Resources Virtualization Approach Supporting Uniform Access to Heterogeneous Grid Resources.- Applied Formal Verification.- Pattern-Based Verification for Trees.- Using Verification Technology to Specify and Detect Malware.- A Compositional Approach for Equivalence Checking of Sequential Circuits with Unknown Reset State and Overlapping Partitions.- Efficient Model Checking of Applications with Input/Output.- Ant Colony Optimization for Model Checking.- On Combining 01X-Logic and QBF.- Model Checking a Video–on–Demand Server Using McErlang.- Compressing Propositional Proofs by Common Subproof Extraction.- Verification of ACTL Properties by Bounded Model Checking.- Cellular Automata.- Application of Linear Hybrid Cellular Automata to Stream Ciphers.- A Highly Nonlinear Cellular FSM-Combiner for Stream Ciphers.- Variations on Neighborhoods in CA.- Hardware Modelling of Cellular Automata: The Game of Life Case.- Solving the Exploration’s Problem with Several Creatures More Efficiently.- A New Time-Optimum Synchronization Algorithm for Two-Dimensional Cellular Arrays.- Computer Vision.- 3D Motion Estimation Using a Combination of Correlation and Variational Methods for PIV.- Helicopter Flight Dynamics Using Soft Computing Models.- Movement Identification Analysis Based on Motion Capture.- Algorithmic Lateral Inhibition Formal Model for Real-Time Motion Detection.- Second Order Variational Optic Flow Estimation.- An Application of Optical Flow: Slow Motion Effect on Streaming Image Sequences.- Comparing Self-calibration Methods for Static Cameras.- Automation of Snakes in Medical Images.- Symmetric Optical Flow.- Real-Time Stereo Visual SLAM in Large-Scale Environments Based on SIFT Fingerprints.- Tool for Creation Realistic Animation of Human-Like Figures: TRAF.- An Annotation Tool for Video Understanding.- Temporal Constraints in Large Optical Flow Estimation.- Comparing Improved Versions of ‘K-Means’ and ‘Subtractive’ Clustering in a Tracking Application.- FPGA Real Time Lane Departure Warning Hardware System.- Efficient Combination of the Fuzzy Hough Transform and the Burns Segment Detector.- Using Fisher Kernel on 2D-Shape Identification.- Heuristic Problem Solving.- Benefits of Plugin-Based Heuristic Optimization Software Systems.- Metaheuristic Approaches for Optimal Broadcasting Design in Metropolitan MANETs.- The Influence of Data Implementation in the Performance of Evolutionary Algorithms.- Heuristic Approach to Conflict Problem Solving in an Intelligent Multiagent System.- Optimal Placement of Sensors for Trilateration: Regular Lattices vs Meta-heuristic Solutions.- Selection Pressure Driven Sliding Window Behavior in Genetic Programming Based Structure Identification.- Multi-Objective Evolutionary Algorithms Using the Working Point and the TOPSIS Method.- Self-organizing Feature Maps to Solve the Undirected Rural Postman Problem.- Optimization Methods for Large-Scale Production Scheduling Problems.- Self-adaptive Population Size Adjustment for Genetic Algorithms.- Parallel Tabu Search and the Multiobjective Capacitated Vehicle Routing Problem with Soft Time Windows.- Bandit-Based Monte-Carlo Planning for the Single-Machine Total Weighted Tardiness Scheduling Problem.- Using GAs to Obtain an Optimal Set of Codes for an Ultrasonic Local Positioning System.- Using Omnidirectional BTS and Different Evolutionary Approaches to Solve the RND Problem.- Fast Generation of Production Schedules on a Single Machine.- Determining Orbital Elements of Extrasolar Planets by Evolution Strategies.- Training Multiclass Classifiers by Maximizing the Volume Under the ROC Surface.- Selective Association in Associative Memories – An Extension of the Model NEUNET.- Towards Constraint-Based Preservation in Systems Specification.- Automated Re-establishment of the Synchronization of Real and Simulated Project Workflow.- Automated Modelling in Empirical Social Sciences Using a Genetic Algorithm.- Extending the Growing Neural Gas Classifier for Context Recognition.- Signal Processing Architectures.- Neural Network Based Path Detection for an FMCW Positioning System.- Object Oriented Signal Data Structures in VLSI Implementations of Wireless Modems.- A Bandwidth Efficiency Optimized Frequency Domain Equalization Concept for Single Carrier Transmission.- Optimized Mapping Schemes for LDPC Coded Higher Order Modulated QAM Transmission.- Texture-Based Filtering and Front-Propagation Techniques for the Segmentation of Ultrasound Images.- ”Chameleon” Software Defined Control Platform.- Sampling Rate Conversion for Timing Adjustment in 3.5G Multimode Mobile Terminals.- Accelerating Space Variant Gaussian Filtering on Graphics Processing Unit.- Ant-Based Topology Convergence Algorithms for Resource Management in VANETs.- Simulation of a Signal Arbitration Algorithm for a Sensor Array.- Robotics and Robotic Soccer.- Mini Robots for Soccer.- Embedded Robotic Solution: Integrating Robotics Interfaces with a High-Level CPU in a System-on-a-Chip.- An Embedded Vision Sensor for Robot Soccer.- MTVS: A Multi-task Active-Vision System.- DES-Based Coordination of Space-Sharing Mobile Robots.- CASIMIRO, The Sociable Robot.- Processing of Myoelectric Signals by Feature Selection and Dimensionality Reduction for the Control of Powered Upper-Limb Prostheses.- Cybercars and Intelligent Vehicles.- The Anglet Experiment: A Cybercar on the Beach.- Crossroad Cooperative Driving Based on GPS and Wireless Communications.- Free Space in Front of an Autonomous Guided Vehicle in Inner-City Conditions.- Towards a Robust Vision-Based Obstacle Perception with Classifier Fusion in Cybercars.- Using Self-adapting Navigation Data for Intelligent, Personalized Vehicle Guidance.- Road Approximation in Euclidean and v-Disparity Space: A Comparative Study.- Vision-Based Blind Spot Detection Using Optical Flow.- Ego-Motion Computing for Vehicle Velocity Estimation.- PSPRT: A Case of Pervasive System for Public Road Transport.- Study of Correlation Among Several Traffic Parameters Using Evolutionary Algorithms: Traffic Flow, Greenhouse Emissions and Network Occupancy.- Robust Obstacle Detection Based on Dense Disparity Maps.- Cooperative Maneuver Study Between Autonomous Cars: Overtaking.- Trajectory Planning in a Crossroads for a Fleet of Driverless Vehicles.- Secure and Scalable Communication in Vehicle Ad Hoc Networks.- Speed Supervisor for Intelligent Vehicles.- Efficient On-Board Stereo Vision Pose Estimation.- Artificial Intelligence Components.- Complex Software Problem Solving by Means of Abstractive Techniques.- Active MIB: Addressing Challenges of Wireless Mesh Networks.- Fuzzy Integration of Web Data Sources for Data Warehousing.- Comparison of WiFi Map Construction Methods for WiFi POMDP Navigation Systems.- A Practical Agent-Based Approach for Pattern Layout Design.