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