default search action
12. EUROCAST 2009: Las Palmas de Gran Canaria, Canary Islands, Spain
- Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia:
Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers. Lecture Notes in Computer Science 5717, Springer 2009, ISBN 978-3-642-04771-8
Systems Theory and Simulation: Formal Approaches
- Josef Scharinger:
Kolmogorov Stream Ciphers. 1-8 - Germano Resconi, Zenon Chaczko:
Morphotronic System (Theory). 9-16 - Margaret Miró-Julià
:
Knowledge Discovery in Databases Using Multivalued Array Algebra. 17-24 - Roberto Moreno-Díaz, Arminda Moreno-Díaz
Local Space-Time Systems Simulation of Linear and Non-linear Retinal Processes. 25-32 - Gabriel de Blasio
Analytical Representation of Intrinsic Directionality in Retinal Cells. 33-40 - Franz Pichler:
Linear Complexity Measures for Multi-valued Cryptographic Data Streams by Application of the Rissanen Partial Realization Method. 41-46 - Dominik Jochinger:
A Software Implementation of the Rissanen Method for Partial Linear Systems Realization. 47-52 - Markus Schwaninger, Stefan N. Groesser:
New Frontiers in the Validation of Simulation Models-Structural Dominance Analysis. 53-62 - Rainer Findenig, Florian Eibensteiner
Optimizing the Hardware Usage of Parallel FSMs. 63-68 - Florian Eibensteiner
SynPSL: Behavioral Synthesis of PSL Assertions. 69-74 - José Antonio Martín H., Javier de Lope Asiaín
Learning Autonomous Helicopter Flight with Evolutionary Reinforcement Learning. 75-82 - Jan Nikodem:
Designing Communication Space in Wireless Sensor Network Based on Relational Attempt. 83-90 - Maciej Nikodem
Boundary Scan Security Enhancements for a Cryptographic Hardware. 91-97 - Jerzy W. Greblicki, Jerzy Kotowski:
Automated Design of Totally Self-Checking Sequential Circuits. 98-105 - Adrián Peñate Sánchez, Alexis Quesada-Arencibia
A General Purpouse Control System. 106-112
Computation and Simulation in Modelling Biological Systems
- Giuseppina Albano
On the First Exit Time Problem for a Gompertz-Type Tumor Growth. 113-120 - Antonio Di Crescenzo
A Neuronal Model with Excitatory and Inhibitory Inputs Governed by a Birth-Death Process. 121-128 - Roberta di Cesare, Virginia Giorno
Diffusion Processes Subject to Catastrophes. 129-136 - Víctor D. Díaz-Suárez, Carlos M. Travieso
Automatic System Identification of Tissue Abnormalities Based on 2D B-Mode Ultrasound Images. 137-142 - José Luís S. Da Fonseca
Vision-An Essay from a Computational View Point. 143-151 - Aniello Buonocore
On a Generalized Leaky Integrate-and-Fire Model for Single Neuron Activity. 152-158 - Andreas Schierwagen:
Mathematical and Computational Modeling of Neurons and Neuronal Ensembles. 159-166
Intelligent Information Processing
- Antonio Blanco, Enrique Freire Brañas, José Luis Freire, Javier París
The Foldl Operator as a Coequalizer Using Coq. 167-176 - José Manuel Casas, Manuel A. Insua, Manuel Ladra, Susana Ladra
Algorithm for Testing the Leibniz Algebra Structure. 177-186 - Beatriz Remeseiro
Automatic Drusen Detection from Digital Retinal Images: AMD Prevention. 187-194 - Maria Taboada
A Study of Extracting Knowledge from Guideline Documents. 195-202 - Jesús Aransay
Modelling Differential Structures in Proof Assistants: The Graded Case. 203-210 - Marcos Ortega
Vascular Landmark Detection in Retinal Images. 211-217 - David Horat, Alexis Quesada-Arencibia
Web Applications: A Proposal to Improve Response Time and Its Application to MOODLE. 218-225 - Octavio Santana Suárez, José Rafael Pérez Aguiar, Idafen Santana-Pérez
Functional Disambiguation Using the Syntactic Structures Algorithm for Each Functional Interpretation for Spanish Language. 226-230 - Reinhard Stumptner, Bernhard Freudenthaler, Josef Küng:
On Similarity in Case-Based Reasoning for Structural Health Monitoring. 231-238 - Javier París
A Distributed System for Massive Generation of Synthetic Video Using GPUs. 239-246 - M. Eduardo Ares
Using a Rank Fusion Technique to Improve Shot Boundary Detection Effectiveness. 247-254 - José M. Juárez, Patricia Martinez, Manuel Campos
Step-Guided Clinical Workflow Fulfilment Measure for Clinical Guidelines. 255-262 - Clara Benac Earle, Lars-Åke Fredlund
Debugging and Verification of Multi-Agent Systems. 263-270 - Alberto Salguero
Easing the Definition of N-Ary Relations for Supporting Spatio-Temporal Models in OWL. 271-278
Applied Formal Verification
- Cyrille Artho:
Separation of Transitions, Actions, and Exceptions in Model-Based Testing. 279-286 - Damiano Angeletti, Enrico Giunchiglia
Automatic Test Generation for Coverage Analysis Using CBMC. 287-294 - Vendula Hrubá, Bohuslav Krena
Self-healing Assurance Based on Bounded Model Checking. 295-303 - Robert Brummayer, Armin Biere
Effective Bit-Width and Under-Approximation. 304-311 - Klaus Wolfmaier, Rudolf Ramler, Gábor Guta, Heinz Dobler:
Observable Runtime Behavior for Defects Indicated by Automated Static Analysis. 312-319
Computer Vision and Image Processing
- David Balcones, David Fernández Llorca, Miguel Ángel Sotelo
Real-Time Vision-Based Vehicle Detection for Rear-End Collision Mitigation Systems. 320-325 - David Schleicher, Luis Miguel Bergasa
Real-Time Hierarchical GPS Aided Visual SLAM on Urban Environments. 326-333 - José Antonio Álvarez-Bermejo
Tomographic Image Reconstruction Using Abstractions. 334-341 - Daniel Valdés-Amaro, Abhir Bhalerao:
Unsupervised Clustering Using Diffusion Maps for Local Shape Modelling. 342-349 - José Luis Crespo, Pilar Bernardos, Eduardo Mora:
Sensibility Analysis of an Object Movement Forecast Approximation in Real Image Sequences. 350-357 - Juan Carlos Briceño, Carlos M. Travieso
Angular Contour Parameterization for Signature Identification. 358-365 - Roman Dudek, Carmelo Cuenca, Francisca Quintana
Image Sequences Noise Reduction: An Optical Flow Based Approach. 366-373
Mobile and Autonomous Systems: Robots and Cars
- Peter Kopacek
From Industrial to Ubiqitous Robots. 374-382 - José Maria Alonso
WiFi Localization System Using Fuzzy Rule-Based Classification. 383-390 - Fernando García
Vehicle Detection Based on Laser Radar. 391-397 - Gerhard Hoefer, Manfred Mauerkirchner:
Biomimetic Controller for Situated Robots Based on State-Driven Behaviour. 398-405 - Carmelo R. García, Ricardo Pérez, Álvaro Lorenz, Francisco Alayón Hernández
Supporting Information Services for Travellers of Public Transport by Road. 406-412 - Yolanda Sanz
Applying Reinforcement Learning to Multi-robot System Behavior Coordination. 413-420 - Javier Alonso
Safe Crossroads via Vehicle to Vehicle Communication. 421-428 - Candelaria Hernández-Goya
Cooperation Enforcement Schemes in Vehicular Ad-Hoc Networks. 429-436 - Yadira Quiñonez, Javier de Lope Asiaín
Cooperative and Competitive Behaviors in a Multi-robot System for Surveillance Tasks. 437-444 - Daniel Hernández-Sosa, Jorge Cabrera-Gámez
Control Action Continuity on Situation-Based Obstacle Avoidance. 445-452
Simulation Based System Optimization
- Javier J. Sánchez Medina
Traffic Signals in Traffic Circles: Simulation and Optimization Based Efficiency Study. 453-460 - Ralf Mosshammer, Ralf Eickhoff, Mario Huemer, Robert Weigel:
Integrated System and Network Simulation of a 5.8GHz Local Positioning System. 461-468 - Michael Lunglmayr, Jens Berkmann, Mario Huemer:
Simulation Based Optimization of Vertex Packing Decoding Algorithms. 469-476 - Christian Hofbauer, Yann Y. L. Lebrun, Valéry Ramon, André Bourdoux, François Horlin
Diversity Order of Spatial Multiplexing with Transmit Antenna Correlation Based Precoding. 477-484 - Francisco J. Cabrera Almeida
Software Simulator to Model an Energy Autonomous System. 485-491
Signal Processing Methods in Systems Design and Cybernetics
- Yasushi Endow:
On Stochastic Variation in Discrete Time Systems. 492-500 - Radomir S. Stankovic, Jaakko Astola
Convolution on Finite Groups and Fixed-Polarity Polynomial Expressions. 501-509 - Milena Stankovic, Suzana Stojkovic:
Reversible Synthesis through Shared Functional Decision Diagrams. 510-517 - Susanna Minasyan, Radomir S. Stankovic, Jaakko Astola
Ternary Haar-Like Transform and Its Application in Spectral Representation of Ternary-Valued Functions. 518-525 - Bernd Steinbach, Christian Posthoff:
Complete Sets of Hamiltonian Circuits for Classification of Documents. 526-533 - Corneliu Rusu
SPICE Simulation of Analog Filters: A Method for Designing Digital Filters. 534-539 - D. Michael Miller, Radomir S. Stankovic:
A Heterogeneous Decision Diagram Package. 540-547 - Claudio Moraga, Héctor Allende
Walsh Matrices in the Design of Industrial Experiments. 548-554 - Stefan Herrmann, Klaus Buchenrieder
Dynamic Behavior of Time-Domain Features for Prosthesis Control. 555-562 - Grzegorz Borowik, Tadeusz Luba:
Decomposing Pattern Matching Circuit. 563-570 - Przemyslaw Szecówka, Jadwiga Pedzinska-Rzany, Andrzej Wolczowski:
Hardware Approach to Artificial Hand Control Based on Selected DFT Points of Myopotential Signals. 571-578 - Václav Gerla
System Approach to Complex Signal Processing Task. 579-586
Polynomial Models in Control System Design
- Nicholas P. Karampetakis
Symbolic Computations on Rings of Rational Functions and Applications in Control Engineering. 587-594 - Miroslav Halás:
Nonlinear Systems: A Polynomial Approach. 595-602 - Marek Dlapa, Roman Prokop, Monika Bakosova:
Robust Control of a Two Tank System Using Algebraic Approach. 603-609 - Mikulás Huba
Comparing Algebraic and Constrained Pole Assignment Controllers for a Thermal System. 610-617 - Vladimír Zilka, Miroslav Halás, Mikulás Huba
Nonlinear Controllers for a Fluid Tank System. 618-625 - Karel Perutka
Pre-identification for Real-Time Control. 626-632 - Maris Tõnso
Realization of Continuous-Time Nonlinear Input-Output Equations: Polynomial Approach. 633-640
Heuristic Problem Solving
- Brigitte Rafael, Stefan Oertl, Michael Affenzeller
Using Heuristic Optimization for Segmentation of Symbolic Music. 641-648 - Andreas M. Chwatal, Günther R. Raidl:
Fitting Rectangular Signals to Time Series Data by Metaheuristic Algorithms. 649-656 - Stephan M. Winkler
Virtual Sensors for Emissions of a Diesel Engine Produced by Evolutionary System Identification. 657-664 - Martin Gruber, Günther R. Raidl:
Solving the Euclidean Bounded Diameter Minimum Spanning Tree Problem by Clustering-Based (Meta-)Heuristics. 665-672 - David Beltrán-Cano, Belén Melián-Batista, J. Marcos Moreno-Vega
Solving the Rectangle Packing Problem by an Iterative Hybrid Heuristic. 673-680 - Dennis Weyland, Leonora Bianchi, Luca Maria Gambardella:
New Approximation-Based Local Search Algorithms for the Probabilistic Traveling Salesman Problem. 681-688 - Patrick Ediger, Rolf Hoffmann, Mathias Halbach:
Evolving 6-State Automata for Optimal Behaviors of Creatures Compared to Exhaustive Search. 689-696 - Jerzy W. Greblicki, Jerzy Kotowski:
Analysis of the Properties of the Harmony Search Algorithm Carried Out on the One Dimensional Binary Knapsack Problem. 697-704 - Jerzy W. Greblicki, Jerzy Kotowski:
An Algorithm of Schedule Planning for Tanker Drivers. 705-712 - Mario Ruthmair
A Kruskal-Based Heuristic for the Rooted Delay-Constrained Minimum Spanning Tree Problem. 713-720 - Martin Ankerl, Alexander Hämmerle:
Applying Ant Colony Optimisation to Dynamic Pickup and Delivery. 721-728 - Stefan Wagner
Model Driven Rapid Prototyping of Heuristic Optimization Algorithms. 729-736 - Michael Kastner, Mohamed Wagdy Saleh, Stefan Wagner
Heuristic Methods for Searching and Clustering Hierarchical Workflows. 737-744 - Henryk Maciejewski
Model Instability in Microarray Gene Expression Class Prediction Studies. 745-752 - Witold Jacak, Karin Pröll:
Conflict Resolution in Multiagent Systems Based on Wireless Sensor Networks. 753-760 - Andreas Beham
Evolutionary Selection in Simulation-Based Optimization. 761-768 - Stephan Dreiseitl, Melanie Osl:
Feature Selection Based on Pairwise Classification Performance. 769-776 - Michael Affenzeller
On the Influence of Selection Schemes on the Genetic Diversity in Genetic Algorithms. 777-784 - José Manuel Chaves-González, Miguel A. Vega-Rodríguez
Solving a Real-World FAP Using the Scatter Search Metaheuristic. 785-792 - Gabriel Kronberger
On the Success Rate of Crossover Operators for Genetic Programming with Offspring Selection. 793-800 - Rene Mayrhofer
On Structural Identification of 2D Regression Functions for Indoor Bluetooth Localization. 801-808 - Antonio Gómez-Iglesias, Miguel A. Vega-Rodríguez
Grid-Enabled Mutation-Based Genetic Algorithm to Optimise Nuclear Fusion Devices. 809-816 - Monika Kofler, Stefan Wagner
Priority Rule Generation with a Genetic Algorithm to Minimize Sequence Dependent Setup Costs. 817-824 - Julio Brito
A GRASP-VNS Hybrid for the Fuzzy Vehicle Routing Problem with Time Windows. 825-832
Simulation and Formal Methods in Systems Design and Engineering
- Visar Januzaj
Performance Modelling for Avionics Systems. 833-840 - Vladimír Janousek
Object-Oriented Petri Nets-Based Modeling of Resources in Project Engineering. 841-848 - Radek Kocí, Vladimír Janousek
Simulation Based Design of Control Systems Using DEVS and Petri Nets. 849-856 - Andreas W. Liehr, Klaus Buchenrieder
Transforming UML-Based System Descriptions into Simulation Models as Part of System Development Frameworks. 857-864 - Jirí Hýsek, Milan Ceska, Vladimír Janousek
Model-Based Design and Verification of Reactive Systems. 865-872 - Marek A. Bawiec:
Resonant Tunnelling Diode-Based Circuits: Simulation and Synthesis. 873-880 - Laura M. Castro
A Practical Methodology for Integration Testing. 881-888
Models of Co-operative Engineering Systems
- Andrzej Wytyczak-Partyka, Jan Nikodem, Ryszard Klempous
Safety Oriented Laparoscopic Surgery Training System. 889-896 - Zenon Chaczko, Perez Moses, Christopher Chiu
Co-operative Extended Kohonen Mapping (EKM) for Wireless Sensor Networks. 897-904 - Zenon Chaczko, Germano Resconi:
Morphotronic System Applications. 905-912 - Sourendra Nath Sinha, Zenon Chaczko, Ryszard Klempous
SNIPER: A Wireless Sensor Network Simulator. 913-920 - Adam Handzlik, Tomasz Englert, Andrzej Jablonski:
Embedded Fortress - Software Environment for Intellectual Property Protection in Embedded Systems. 921-929 - Sebastian Rönnau, Uwe M. Borghoff
Collaborative XML Document Versioning. 930-937 - Ewa Szlachcic, Waldemar Zubik:
Parallel Distributed Genetic Algorithm for Expensive Multi-Objective Optimization Problems. 938-946
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.
last updated on 2024-12-30 19:36 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: