13. EUROCAST 2011: Las Palmas de Gran Canaria, Canary Islands, Spain

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 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
  
• Alvaro 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. J. 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, R. Quintero, O. Marcos:
  Monocular Vision-Based Target Detection on Dynamic Transport Infrastructures. 576-583
  
• A. Fraga, 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, D. Balcones, Miguel Ángel Sotelo, David Fernández Llorca, O. Marcos, Carlos Fernández, I. García, R. 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
  

Last update Fri May 25 05:59:05 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page