


default search action
13. EUROCAST 2011: Las Palmas de Gran Canaria, Canary Islands, Spain
- Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia
:
Computer Aided Systems Theory - EUROCAST 2011 - 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I. Lecture Notes in Computer Science 6927, Springer 2012, ISBN 978-3-642-27548-7
Concepts and Formal Tools
- Margaret Miró-Julià
:
A Framework for Combining Multivalued Data: A Practical Approach. 1-8 - Franz Pichler:
On Modelling Metabolism-Repair by Convolution and Partial Realization. 9-17 - Peter Kopacek
:
Cost Oriented Humanoid Robots. 18-24 - Gabriel de Blasio
, Arminda Moreno-Díaz
, Roberto Moreno-Díaz Jr., Roberto Moreno-Díaz:
New Biomimetic Neural Structures for Artificial Neural Nets. 25-31
Software Applications
- Candelaria Hernández-Goya
, Pino Caballero-Gil
, Jezabel Molina-Gil
, Cándido Caballero-Gil
:
Extending OLSR Functionalities to PKI Management. 32-39 - Tomasz Surmacz
:
Bandwidth Usage Optimization for NNTP Protocol. 40-47 - Jan Nikodem:
The Dilemma of Choice in Management of Communication Processes in WSN. 48-55 - Fabio Martinelli, Paolo Mori
:
A Distributed Authorization System with Mobile Usage Control Policies. 56-63 - Dayana Lozada
, Jose Manuel Castillo, Alberto Salguero
, Francisco Araque, Cecilia Delgado, Marcia Noda, Gilberto Hernández
:
Fuzzy Logic for the Performance Assessment of the Innovation Management in Tourism. 64-71
Computation and Simulation in Modelling Biological Systems
- Antonio Di Crescenzo
, Maria Longobardi
:
Neuronal Data Analysis Based on the Empirical Cumulative Entropy. 72-79 - Virginia Giorno
, Amelia G. Nobile
, Luigi M. Ricciardi:
On the Construction of Densities for Time Non-homogeneous Diffusion Processes. 80-87 - Sándor Fridli, Levente Lócsi
, Ferenc Schipp:
Rational Function Systems in ECG Processing. 88-95 - Aniello Buonocore
, Luigia Caputo, Enrica Pirozzi
:
First-Passage-Time for Gauss-Diffusion Processes via Integrated Analytical, Simulation and Numerical Methods. 96-104 - Monica Roman
:
Modelling Aspects and Structural Properties of a Fed-Batch Bioprocess. 105-112
Intelligent Information Processing
- Jónathan Heras
, Vico Pascual
, Julio Rubio
:
A Certified Module to Study Digital Images with the Kenzo System. 113-120 - Abraham Rodríguez-Rodríguez
, Nicolás Iglesias García, José María Quinteiro-González:
Modelling the Psychographic Behaviour of Users Using Ontologies in Web Marketing Services. 121-128 - Markus Schwaninger, Christoph Mandl:
Understanding the System Dynamics of High-Technology Markets: Pólya Processes with Positive Feedback, Path Dependence and Lock-In. 129-136 - Andreas Pomarolli, Stefan Anderlik, Josef Küng:
R2RIF - Rule Integration Plugin for Protégé OWL. 137-144 - Qiao Chen, Heinz Dobler:
GenComp - A Generic Transformation System. 145-152 - Nico Krebs, Lothar Schmitz, Uwe M. Borghoff
:
Implementing the Universal Virtual Computer. 153-160 - Reinhard Stumptner, Bernhard Freudenthaler, Jürgen Hönigl, Karl Rehrl
, Josef Küng:
Using GPS Trajectories to Create a Dynamic Network of Significant Locations as an Abstraction of Road Maps. 161-168 - José Luis Freire-Nistal, Antonio Blanco Ferro, J. M. Molinelli Barba, Enrique Freire Brañas:
On the Confluence of the Graphic Calculus with Penrose Diagrams (I). 169-176 - Francisca Grimón, Marylin Giugni, Joaquín Fernández, Josep Maria Monguet
:
System for Recommendation of Information Based on a Management Content Model Using Software Agents. 177-183 - Miroslaw Szaban
, Franciszek Seredynski
:
Dynamic Cellular Automata-Based S-Boxes. 184-191 - Dusan Kolár, Sárka Kvetonová:
People Transfer in City Transport Modeled via CPN. 192-199 - Norbert Walchhofer, Karl Anton Froeschl, Kurt Hornik:
Adaptive Change Estimation in the Context of Online Market Monitoring. 200-207 - Kamil Matousek, Petr Kremen, Josef Küng, Reinhard Stumptner, Stefan Anderlik, Bernhard Freudenthaler:
On Transforming a Knowledge Base from Topic Maps to OWL. 208-215
Heuristic Problem Solving
- Gerald A. Zwettler, Paul Track, Florian Waschaurek, Richard Woschitz, Elmar Hagmann, Stefan Hinterholzer:
Automated Building Construction Design Optimization for Reduction of Construction Costs and Energy Demand. 216-223 - Álvaro Rubio-Largo
, Miguel A. Vega-Rodríguez
, Juan Antonio Gómez Pulido
, Juan Manuel Sánchez-Pérez:
Using a Multiobjective OpenMP+MPI DE for the Static RWA Problem. 224-231 - David L. González-Álvarez, Miguel A. Vega-Rodríguez
, Juan Antonio Gómez Pulido
, Juan Manuel Sánchez-Pérez:
Discovering DNA Motifs with a Parallel Shared Memory Differential Evolution. 232-239 - Brigitte Rafael, Stefan Oertl, Michael Affenzeller
, Stefan Wagner
:
Optimization of Parameter Settings for Genetic Algorithms in Music Segmentation. 240-247 - Johannes Inführ, Günther R. Raidl:
Automatic Generation of 2-AntWars Players with Genetic Programming. 248-255 - Martin Berlakovich, Mario Ruthmair
, Günther R. Raidl:
A Multilevel Heuristic for the Rooted Delay-Constrained Minimum Spanning Tree Problem. 256-263 - Alexandru-Ciprian Zavoianu
, Gabriel Kronberger
, Michael Kommenda
, Daniela Zaharie
, Michael Affenzeller
:
Improving the Parsimony of Regression Models for an Enhanced Genetic Programming Process. 264-271 - Miguel Cárdenas-Montes
, Miguel A. Vega-Rodríguez
, Juan José Rodríguez-Vázquez, Antonio Gómez-Iglesias:
GPU-Based Evaluation to Accelerate Particle Swarm Algorithm. 272-279 - Galina Merkuryeva
, Vitaly Bolshakov:
Simulation-Based Fitness Landscape Analysis and Optimisation for Vehicle Scheduling Problem. 280-286 - Bin Hu, Günther R. Raidl:
An Evolutionary Algorithm with Solution Archive for the Generalized Minimum Spanning Tree Problem. 287-294 - Markus Leitner
, Günther R. Raidl:
Variable Neighborhood and Greedy Randomized Adaptive Search for Capacitated Connected Facility Location. 295-302 - Patrick Ediger, Rolf Hoffmann, Sylvia Grüner:
Effectively Evolving Finite State Machines Compared to Enumeration. 303-310 - Stephan Hutterer, Michael Affenzeller
, Franz Auinger:
Heuristic Power Scheduling of Electric Vehicle Battery Charging Based on Discrete Event Simulation. 311-318 - Gabriel Luque
, Francisco Luna
, Enrique Alba
, Sergio Nesmachnow
:
Exploring the Accuracy of a Parallel Cooperative Model for Trajectory-Based Metaheuristics. 319-326 - Stefan Vonolfen, Andreas Beham, Michael Affenzeller, Stefan Wagner, Andreas Mayr:
Combination and Comparison of Different Genetic Encodings for the Vehicle Routing Problem. 327-334 - Stephan M. Winkler
, Michael Affenzeller
, Gabriel Kronberger
, Michael Kommenda
, Stefan Wagner
, Witold Jacak, Herbert Stekel:
Analysis of Selected Evolutionary Algorithms in Feature Selection and Parameter Optimization for Data Based Tumor Marker Modeling. 335-342 - Witold Jacak, Karin Pröll:
Neural Networks Based System for Cancer Diagnosis Support. 343-350 - Mario Ruthmair
, Günther R. Raidl:
A Memetic Algorithm and a Solution Archive for the Rooted Delay-Constrained Minimum Spanning Tree Problem. 351-358 - Stephan Dreiseitl, Melanie Osl:
Effects of Data Grouping on Calibration Measures of Classifiers. 359-366 - Christoph Neumüller, Stefan Wagner
, Gabriel Kronberger
, Michael Affenzeller
:
Parameter Meta-optimization of Metaheuristic Optimization Algorithms. 367-374 - Enrique Alba
, Pablo Vidal
:
Systolic Optimization on GPU Platforms. 375-383 - Rudolf Ramler, Thomas Natschläger:
Applying Heuristic Approaches for Predicting Defect-Prone Software Components. 384-391 - Sandro Pirkwieser, Günther R. Raidl, Jens Gottlieb
:
Improved Packing and Routing of Vehicles with Compartments. 392-399 - Michael Kommenda
, Gabriel Kronberger
, Christoph Feilmayr, Leonhard Schickmair, Michael Affenzeller
, Stephan M. Winkler
, Stefan Wagner
:
Application of Symbolic Regression on Blast Furnace and Temper Mill Datasets. 400-407 - Viktoria Dorfer
, Stephan M. Winkler
, Thomas Kern, Gerald Petz, Patrizia Faschang:
Analysis of Single-Objective and Multi-Objective Evolutionary Algorithms in Keyword Cluster Optimization. 408-415 - Andreas Hölzlwimmer, Hannes Brandstätter-Müller, Bahram Parsapour, Gerald Lirk, Peter Kulczycki:
A Heuristic Scheduling and Resource Management System for Solving Bioinformatical Problems via High Performance Computing on Heterogeneous Multi-platform Hardware. 416-423 - Erik Pitzer, Michael Affenzeller
, Andreas Beham
, Stefan Wagner
:
Comprehensive and Automatic Fitness Landscape Analysis Using HeuristicLab. 424-431 - Clara M. Campos Rodríguez
, José A. Moreno-Pérez
, Dolores-Rosa Santos-Peñate
:
Particle Swarm Optimization with Two Swarms for the Discrete (r|p)-Centroid Problem. 432-439 - Julio Brito
, F. Javier Martínez, José A. Moreno-Pérez
, José L. Verdegay:
ACO-GRASP-VNS Metaheuristic for VRP with Fuzzy Windows Time Constraints. 440-447 - Dennis Weyland, Roberto Montemanni
, Luca Maria Gambardella:
Using Statistical Tests for Improving State-of-the-Art Heuristics for the Probabilistic Traveling Salesman Problem with Deadlines. 448-455 - Andreas M. Chwatal, Sandro Pirkwieser:
Solving the Two-Dimensional Bin-Packing Problem with Variable Bin Sizes by Greedy Randomized Adaptive Search Procedures and Variable Neighborhood Search. 456-463 - Gabriel Kronberger
, Michael Affenzeller
:
Market Basket Analysis of Retail Data: Supervised Learning Approach. 464-471
Computer Aided Systems Optimization
- Andreas Weiss:
A Flexible and Reliable Radar Simulator in Matlab OOP for Optimizing Tracking Algorithms. 472-476 - Alexander Onic, Mario Huemer:
Frequency Estimation beyond Nyquist Using Sparse Approximation Methods. 477-484 - Robert Priewasser, Matteo Agostinelli, Stefano Marsili:
Refinement of Simulation Models for Point-of-Load DC-DC Converters to Enable Accurate Simulation-Based Compensator Design. 485-490 - Thomas Schlechter
:
Optimized Filter Design for a Filter Bank Based Blocker Detection Concept for LTE Systems. 491-496 - Bartosz Wojciechowski, Maciej Nikodem
, Tomasz Surmacz
:
Clustering and Data Aggregation as Factors of Wireless Sensor Network Lifetime. 497-504 - Marek A. Bawiec, Bartosz Wojciechowski, Maciej Nikodem
, Janusz Biernat:
Synthesis of Logic Circuits Based on Negative Differential Resistance Property. 505-512 - Michael Lunglmayr, Mario Huemer:
Simulation Based Optimization of Signal Processing for RFID. 513-518
Model-Based System Design, Simulation, and Verification
- Jan Fiedor, Bohuslav Krena
, Zdenek Letko, Tomás Vojnar
:
A Uniform Classification of Common Concurrency Errors. 519-526 - Kamil Dudka, Petr Peringer, Tomás Vojnar
:
An Easy to Use Infrastructure for Building Static Analysis Tools. 527-534 - Xin Chen, Erika Ábrahám
:
Choice of Directions for the Approximation of Reachable Sets for Hybrid Systems. 535-542 - Petr Novosad, Milan Ceska:
Unfoldings of Bounded Hybrid Petri Nets. 543-550 - Agata Brzozowska, Jerzy W. Greblicki, Jerzy Kotowski:
State Encoding and Minimization Methodology for Self-Checking Sequential Machines. 551-558 - Jan Fiedor, Marek Gach, Milan Ceska:
A Novel Approach to Modechart Verification of Real-Time Systems. 559-567 - Agata Brzozowska, Jerzy W. Greblicki, Jerzy Kotowski:
Cloud Computing in Educational Applications Methods of Virtual Desktops Deployment. 568-575
Computer Vision and Image Processing
- Sergio Alvarez, Miguel Ángel Sotelo
, David Fernández Llorca
, Raúl Quintero, Oscar Marcos Martín:
Monocular Vision-Based Target Detection on Dynamic Transport Infrastructures. 576-583 - Alejandro Fraga Míguez, Noelia Barreira
, Marcos Ortega
, Manuel G. Penedo
, María J. Carreira
:
Precise Segmentation of the Optic Disc in Retinal Fundus Images. 584-591 - Juan José Rodríguez-Vázquez, Sixto Romero-Sánchez, Miguel Cárdenas-Montes
:
Speeding Up a Chaos-Based Image Encryption Algorithm Using GPGPU. 592-599 - Miguel Gavilán, David Balcones, Miguel Ángel Sotelo
, David Fernández Llorca
, Oscar Marcos Martín, Carlos Fernández, Iván García Daza, Raúl Quintero:
Surface Classification for Road Distress Detection System Enhancement. 600-607 - Javier Sánchez
:
Analysis of Recent Advances in Optical Flow Estimation Methods. 608-615 - Alba Fernández, Marcos Ortega
, Brais Cancela
, Manuel G. Penedo
:
Contextual and Skin Color Region Information for Face and Arms Location. 616-623 - Florian Eibensteiner
, Jürgen Kogler
, Christoph Sulzbachner, Josef Scharinger:
Stereo-Vision Algorithm Based on Bio-Inspired Silicon Retinas for Implementation in Hardware. 624-631

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.