| Description |
1 online resource |
| Series |
Lecture notes in computer science, 0302-9743 ; 6927 |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 6927.
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
| Contents |
Machine generated contents note: Framework for Combining Multivalued Data: A Practical Approach -- On Modelling Metabolism-Repair by Convolution and Partial Realization / Margaret Mir̤-Julỉ -- Cost Oriented Humanoid Robots / Franz Pichler -- New Biomimetic Neural Structures for Artificial Neural Nets / P. Kopacek -- Extending OLSR Functionalities to PKI Management / Gabriel de Blasio / Arminda Moreno-Diaz / Roberto Moreno-Diaz Jr / Roberto Moreno-Diaz -- Bandwidth Usage Optimization for NNTP Protocol / C. Herǹndez-Goya / P. Caballero-Gil / J. Molina-Gil / C. Caballero-Gil -- Dilemma of Choice in Management of Communication Processes in WSN / Tomasz Surmacz -- Distributed Authorization System with Mobile Usage Control Policies / Jan Nikodem -- Fuzzy Logic for the Performance Assessment of the Innovation Management in Tourism / Fabio Martinelli / Paolo Mori -- Neuronal Data Analysis Based on the Empirical Cumulative Entropy / Dayana Lozada / Jose Manuel Castillo / Alberto Salguero / Francisco Araque / Cecilia Delgado / Marcia Noda / Gilberto Herǹndez -- On the Construction of Densities for Time Non-homogeneous Diffusion Processes / Antonio Di Crescenzo / Maria Longobardi -- Rational Function Systems in ECG Processing / Virginia Giorno / Amelia C. Nobile / Luigi M. Ricciardi -- First-Passage-Time for Gauss-Diffusion Processes via Integrated Analytical, Simulation and Numerical Methods / S̀ndor Fridli / Levente L̤csi / Ferenc Schipp -- Modelling Aspects and Structural Properties of a Fed-Batch Bioprocess / Aniello Buonocore / Luigia Caputo / Enrica Pirozzi -- Certified Module to Study Digital Images with the Kenzo System / Monica Roman -- Modelling the Psychographic Behaviour of Users Using Ontologies in Web Marketing Services / J̤nathan Heras / Vico Pascual / Julio Rubio |
|
Note continued: Understanding the System Dynamics of High-Technology Markets: Pólya Processes with Positive Feedback, Path Dependence and Lock-in / Abraham Rodriguez Rodriguez / Nicolás Iglesias Garcia / José Maria Quinteiro-González -- R2RIF -- Rule Integration Plugin for Protégé OWL / Markus Schwaninger / Christoph Mandl -- GenComp -- A Generic Transformation System / Andreas Pomarolli / Stefan Anderlik / Josef Küng -- Implementing the Universal Virtual Computer / Qiao Chen / Heinz Dobler -- Using GPS Trajectories to Create a Dynamic Network of Significant Locations as an Abstraction of Road Maps / Nico Krebs / Lothar Schmitz / Uwe M. Borghoff -- On the Confluence of the Graphic Calculus with Penrose Diagrams (I) / Reinhard Stumptner / Bernhard Freudenthaler / Jürgen Hönigl / Karl Rehrl / Josef Küng -- System for Recommendation of Information Based on a Management Content Model Using Software Agents / J.L. Freire Nistal / A. Blanco Ferro / J.M. Molinelli Barba / E. Freire Brañas -- Dynamic Cellular Automata-Based S-Boxes / Francisca Grimón / Marylin Giugni / Joaquin Fernández / Joseph Monguet -- People Transfer in City Transport Modeled via CPN / Miroslaw Szaban / Franciszek Seredynski -- Adaptive Change Estimation in the Context of Online Market Monitoring / Du[š]an Kolár / [Š]árka Kvetonová -- On Transforming a Knowledge Base from Topic Maps to OWL / Norbert Walchhofer / Karl Anton Froeschl / Kurt Hornik -- Automated Building Construction Design Optimization for Reduction of Construction Costs and Energy Demand / Kamil Matou[š]ek / Petr Kremen / Josef Küng / Reinhard Stumptner / Stefan Anderlik / Bernhard Freudenthaler -- Using a Multiobjective OpenMP+MPI DE for the Static RWA Problem / Gerald Zwettler / Paul Track / Florian Waschaurek / Richard Woschitz / Elmar Hagmann / Stefan Hinterholzer |
|
Note continued: Discovering DNA Motifs with a Parallel Shared Memory Differential Evolution / Álvaro Rubio-Largo / Miguel A. Vega-Rodriguez / Juan A. G̀mez-Pulido / Juan M. S̀nchez-P̌rez -- Optimization of Parameter Settings for Genetic Algorithms in Music Segmentation / David L. Gonz̀lez-Álvarez / Miguel A. Vega-Rodriguez / Juan A. G̤mez-Pulido / Juan M. S̀nchez-P̌rez -- Automatic Generation of 2-Ant Wars Players with Genetic Programming / Brigitte Rafael / Stefan Oertl / Michael Affenzeller / Stefan Wagner -- Multilevel Heuristic for the Rooted Delay-Constrained Minimum Spanning Tree Problem / Johannes Inf r / G ther R. Raidl -- Improving the Parsimony of Regression Models for an Enhanced Genetic Programming Process / Martin Berlakovich / Mario Ruthmair / G ther R. Raidl -- GPU-Based Evaluation to Accelerate Particle Swarm Algorithm / Alexandra-Ciprian Zavoianu / Gabriel Kronberger / Michael Kommenda / Daniela Zaharie / Michael Affenzeller -- Simulation-Based Fitness Landscape Analysis and Optimisation for Vehicle Scheduling Problem / Miguel C̀rdenas-Montes / Miguel A. Vega-Rodriguez / Juan Još Rodriguez-V̀zquez / Antonio G̤mez-Iglesias -- Evolutionary Algorithm with Solution Archive for the Generalized Minimum Spanning Tree Problem / Galina Merkurgeva / Vitaly Bolshakov -- Variable Neighborhood and Greedy Randomized Adaptive Search for Capacitated Connected Facility Location / Bin Hu / G ther R. Raidl -- Effectively Evolving Finite State Machines Compared to Enumeration / Markus Leitner / G ther R. Raidl -- Heuristic Power Scheduling of Electric Vehicle Battery Charging Based on Discrete Event Simulation / Patrick Ediger / Rolf Hoffmann / Sylvia Gr er -- Exploring the Accuracy of a Parallel Cooperative Model for Trajectory-Based Metaheuristics / Stephan Hutterer / Michael Affenzeller / Franz Auinger |
|
Note continued: Combination and Comparison of Different Genetic Encodings for the Vehicle Routing Problem / Gabriel Luque / Francisco Luna / Enrique Alba / Sergio Nesmachnow -- Analysis of Selected Evolutionary Algorithms in Feature Selection and Parameter Optimization for Data Based Tumor Marker Modeling / Stefan Vonolfen / Andreas Beham / Michael Affenzeller / Stefan Wagner / Andreas Mayr -- Neural Networks Based System for Cancer Diagnosis Support / Stephan M. Winkler / Michael Affenzeller / Gabriel Kronberger / Michael Kommenda / Stefan Wagner / Witold Jacak / Herbert Stekel -- Memetic Algorithm and a Solution Archive for the Rooted Delay-Constrained Minimum Spanning Tree Problem / Witold Jacak and Karin Pṟll -- Effects of Data Grouping on Calibration Measures of Classifiers / Mario Ruthmair / G ther R. Raidl -- Parameter Meta-optimization of Metaheuristic Optimization Algorithms / Stephan Dreiseitl / Melanie Osl -- Systolic Optimization on CPU Platforms / Christoph Neum ler / Stefan Wagner / Gabriel Kronberger / Michael Affenzeller -- Applying Heuristic Approaches for Predicting Defect-Prone Software Components / Enrique Alba / Pablo Vidal -- Improved Packing and Routing of Vehicles with Compartments / Rudolf Ramler / Thomas Natschl̃ger -- Application of Symbolic Regression on Blast Furnace and Temper Mill Datasets / Sandro Pirkwieser / G ther R. Raidl / Jens Gottlieb -- Analysis of Single-Objective and Multi-Objective Evolutionary Algorithms in Keyword Cluster Optimization / Michael Kommenda / Gabriel Kronberger / Christoph Feilmayr / Leonhard Schickmair / Michael Affenzeller / Stephan M. Winkler / Stefan Wagner -- Heuristic Scheduling and Resource Management System for Solving Bioinformatical Problems via High Performance Computing on Heterogeneous Multi-platform Hardware / Viktoria Dorfer / Stephan M. Winkler / Thomas Kern / Gerald Petz / Patrizia Faschang |
|
Note continued: Comprehensive and Automatic Fitness Landscape Analysis Using HeuristicLab / Andreas H̲lzlwimmer / Hannes Brandst̃tter-M ler / Bahram Parsapour / Gerald Lirk / Peter Kulczycki -- Particle Swarm Optimization with Two Swarms for the Discrete (r/p)-Centroid Problem / Erik Pitzer / Michael Affenzeller / Andreas Beharn / Stefan Wagner -- ACO-GRASP-VNS Metaheuristic for VRP with Fuzzy Windows Time Constraints / Clara Campos-Rodriguez / Još A. Moreno-P̌rez / Dolores R. Santos-Pęate -- Using Statistical Tests for Improving State-of-the-Art Heuristics for the Probabilistic Traveling Salesman Problem with Deadlines / J. Brito / F.J. Martinez / Još A. Moreno-P̌rez / J.L. Verdegay -- Solving the Two-Dimensional Bin-Packing Problem with Variable Bin Sizes by Greedy Randomized Adaptive Search Procedures and Variable Neighborhood Search / Dennis Weyland / Roberto Montemanni / Luca Maria Gambardella -- Market Basket Analysis of Retail Data: Supervised Learning Approach / Andreas M. Chwatal / Sandro Pirkwieser -- Flexible and Reliable Radar Simulator in Matlab OOP for Optimizing Tracking Algorithms / Gabriel Kronberger / Michael Affenzeller -- Frequency Estimation beyond Nyquist Using Sparse Approximation Methods / Andreas Weiss -- Refinement of Simulation Models for Point-of-Load DC-DC Converters to Enable Accurate Simulation-Based. Compensator Design / Alexander Onic / Mario Huemer -- Optimized Filter Design for a Filter Bank Based Blocker Detection Concept for LTE Systems / Robert Priewasser / Mateo Agostinelli / Stefano Marsili -- Clustering and Data Aggregation as Factors of Wireless Sensor Network Lifetime / Thomas Schlechter -- Synthesis of Logic Circuits Based on Negative Differential Resistance Property / Barton Wojciechowski / Maciej Nikodem / Tomasz Surmacz |
|
Note continued: Simulation Based Optimization of Signal Processing for RFID / Marek A. Bawiec / Bartosz Wojciechowski / Maciej Nikodem / Janusz Biernat -- Uniform Classification of Common Concurrency Errors / Michael Lunglmayr / Mario Huemer -- Easy to Use Infrastructure for Building Static Analysis Tools / Jan Fiedor / Bohuslav Krena / Zdenek Letko / Tomá[š] Vojnar -- Choice of Directions for the Approximation of Reachable Sets for Hybrid Systems / Kamil Dudka / Petr Peringer / Tomá[š] Vojnar -- Unfoldings of Bounded Hybrid Petri Nets / Xin Chen / Erika Ábrahám -- State Encoding and Minimization Methodology for Self-Checking Sequential Machines / Petr Novosad / Milan Ce[š]ka -- Novel Approach to Modechart Verification of Real-Time Systems / Agata Brzozowska / Jerzy Greblicki / Jerzy Kotowski -- Cloud Computing in Educational Applications Methods of Virtual Desktops Deployment / Jan Fiedor / Marek Gach / Milan Ce[š]ka -- Monocular Vision-Based Target Detection on Dynamic Transport Infrastructures / Agata Brzozowska / Jerzy Greblicki / Jerzy Kotowski -- Precise Segmentation of the Optic Disc in Retinal Fundus Images / S. Álvarez / M.A. Sotelo / D.F. Llorca / R. Quintero / O. Marcos -- Speeding Up a Chaos-Based Image Encryption Algorithm Using GPGPU / A. Fraga / N. Barreira / M. Ortega / M.G. Penedo / M.J. Carreira -- Surface Classification for Road Distress Detection System Enhancement / Juan José Rodriguez-Vázquez / Sixto Romero-Sánchez / Miguel Cárdenas-Montes -- Analysis of Recent Advances in Optical Flow Estimation Methods / M. Gavilán / D. Balcones / M.A. Sotelo / D.F. Llorca / O. Marcos / C. Fernández / I. Garcia / R. Quintero -- Contextual and Skin Color Region Information for Face and Arms Location / Javier Sánchez |
|
Note continued: Stereo-Vision Algorithm Based oil Bio-Inspired Silicon Retinas for Implementation in Hardware / A. Fernandez / M. Ortega / B. Cancela / M.G. Penedo |
| Summary |
Annotation The two-volume proceedings, LNCS 6927 and LNCS 6928, constitute the papers presented at the 13th International Conference on Computer Aided Systems Theory, EUROCAST 2011, held in February 2011 in Las Palmas de Gran Canaria, Spain. The total of 160 papers presented were carefully reviewed and selected for inclusion in the books. The contributions are organized in topical sections on concepts and formal tools; software applications; computation and simulation in modelling biological systems; intelligent information processing; heurist problem solving; computer aided systems optimization; model-based system design, simulation, and verification; computer vision and image processing; modelling and control of mechatronic systems; biomimetic software systems; computer-based methods for clinical and academic medicine; modeling and design of complex digital systems; mobile and autonomous transportation systems; traffic behaviour, modelling and optimization; mobile computing platforms and technologies; and engineering systems applications |
| Analysis |
Computer science |
|
Artificial intelligence |
|
Computer simulation |
|
Computer vision |
|
Optical pattern recognition |
|
Computer aided design |
|
Simulation and Modeling |
|
Pattern Recognition |
|
Image Processing and Computer Vision |
|
Computer Imaging, Vision, Pattern Recognition and Graphics |
|
Computer-Aided Engineering (CAD, CAE) and Design |
| Bibliography |
Includes bibliographical references and author index |
| Notes |
English |
| Subject |
Computer-aided engineering -- Congresses
|
|
Computer-aided design -- Congresses
|
|
System analysis -- Congresses
|
|
Artificial intelligence -- Congresses
|
|
Computer-aided engineering.
|
|
Computer Simulation
|
|
Artificial Intelligence
|
|
simulation.
|
|
artificial intelligence.
|
|
computer-aided engineering.
|
|
Informatique.
|
|
Artificial intelligence
|
|
Computer-aided design
|
|
Computer-aided engineering
|
|
System analysis
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Moreno-Díaz, Roberto.
|
|
Pichler, Franz, 1936-
|
|
Quesada Arencibia, Alexis.
|
| ISBN |
9783642275494 |
|
3642275494 |
