default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12. 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, Gabriel de Blasio:
Local Space-Time Systems Simulation of Linear and Non-linear Retinal Processes. 25-32 - Gabriel de Blasio, Roberto Moreno-Díaz Jr., Roberto Moreno-Díaz:
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, Markus Pfaff:
Optimizing the Hardware Usage of Parallel FSMs. 63-68 - Florian Eibensteiner, Rainer Findenig, Markus Pfaff:
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, Roberto Moreno-Díaz Jr.:
A General Purpouse Control System. 106-112
Computation and Simulation in Modelling Biological Systems
- Giuseppina Albano, Virginia Giorno:
On the First Exit Time Problem for a Gompertz-Type Tumor Growth. 113-120 - Antonio Di Crescenzo, Barbara Martinucci:
A Neuronal Model with Excitatory and Inhibitory Inputs Governed by a Birth-Death Process. 121-128 - Roberta di Cesare, Virginia Giorno, Amelia G. Nobile:
Diffusion Processes Subject to Catastrophes. 129-136 - Víctor D. Díaz-Suárez, Carlos M. Travieso, Javier González-Fernández, Miguel A. Ferrer, Luis Gómez, Jesús B. Alonso:
Automatic System Identification of Tissue Abnormalities Based on 2D B-Mode Ultrasound Images. 137-142 - José Luís S. Da Fonseca, José Barahona da Fonseca, Isabel Barahona da Fonseca:
Vision-An Essay from a Computational View Point. 143-151 - Aniello Buonocore, Luigia Caputo, Enrica Pirozzi, Luigi M. Ricciardi:
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, Noelia Barreira, David Calvo, Marcos Ortega, Manuel G. Penedo:
Automatic Drusen Detection from Digital Retinal Images: AMD Prevention. 187-194 - Maria Taboada, Maria Meizoso, Diego Martínez Hernández, S. Tellado:
A Study of Extracting Knowledge from Guideline Documents. 195-202 - Jesús Aransay, César Domínguez:
Modelling Differential Structures in Proof Assistants: The Graded Case. 203-210 - Marcos Ortega, José Rouco, Jorge Novo, Manuel G. Penedo:
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, Rubén Quesada López:
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, Víctor M. Gulías, Carlos Abalde:
A Distributed System for Massive Generation of Synthetic Video Using GPUs. 239-246 - M. Eduardo Ares, Alvaro Barreiro:
Using a Rank Fusion Technique to Improve Shot Boundary Detection Effectiveness. 247-254 - José M. Juárez, Patricia Martinez, Manuel Campos, José T. Palma:
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, Cecilia Delgado, Francisco Araque:
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, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina:
Automatic Test Generation for Coverage Analysis Using CBMC. 287-294 - Vendula Hrubá, Bohuslav Krena, Tomás Vojnar:
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, Miguel Gavilán, Sergio Alvarez, Ignacio Parra, Manuel Ocaña:
Real-Time Vision-Based Vehicle Detection for Rear-End Collision Mitigation Systems. 320-325 - David Schleicher, Luis Miguel Bergasa, Manuel Ocaña, Rafael Barea, Elena López Guillén:
Real-Time Hierarchical GPS Aided Visual SLAM on Urban Environments. 326-333 - José Antonio Álvarez-Bermejo, Javier Roca Piera:
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, Miguel A. Ferrer, Jesús B. Alonso, Jesús Francisco Vargas-Bonilla:
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, Manuel Ocaña, Miguel Ángel Sotelo, Luis Miguel Bergasa, Luis Magdalena:
WiFi Localization System Using Fuzzy Rule-Based Classification. 383-390 - Fernando García, Pietro Cerri, Alberto Broggi, Jose M. Armingol, Arturo de la Escalera:
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, Gabino Padrón:
Supporting Information Services for Travellers of Public Transport by Road. 406-412 - Yolanda Sanz, Javier de Lope Asiaín, Darío Maravall:
Applying Reinforcement Learning to Multi-robot System Behavior Coordination. 413-420 - Javier Alonso, Vicente Milanés Montero, Enrique Onieva, Joshué Pérez, Ricardo García:
Safe Crossroads via Vehicle to Vehicle Communication. 421-428 - Candelaria Hernández-Goya, Pino Caballero-Gil, Jezabel Molina-Gil, Cándido Caballero-Gil:
Cooperation Enforcement Schemes in Vehicular Ad-Hoc Networks. 429-436 - Yadira Quiñonez, Javier de Lope Asiaín, Darío Maravall:
Cooperative and Competitive Behaviors in a Multi-robot System for Surveillance Tasks. 437-444 - Daniel Hernández-Sosa, Jorge Cabrera-Gámez, Antonio Carlos Domínguez-Brito, José Isern González:
Control Action Continuity on Situation-Based Obstacle Avoidance. 445-452
Simulation Based System Optimization
- Javier J. Sánchez Medina, Manuel J. Galán Moreno, Moisés Díaz Cabrera, Enrique Rubio Royo:
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, Mario Huemer:
Diversity Order of Spatial Multiplexing with Transmit Antenna Correlation Based Precoding. 477-484 - Francisco J. Cabrera Almeida, Víctor Araña, Lourdes Suárez, Gonzalo Gutiérrez, Carlos M. Travieso:
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, Claudio Moraga:
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, Lacrimioara Grama, Jarmo Takala:
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, Vladana Djordjevic, Lenka Lhotská, Vladimir Krajca:
System Approach to Complex Signal Processing Task. 579-586
Polynomial Models in Control System Design
- Nicholas P. Karampetakis, Efstathios N. Antoniou, Antonis-Ioannis G. Vardulakis, Stavros Vologiannidis:
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, Frantisek Jelenciak, Peter Tapák:
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, Ülle Kotta:
Realization of Continuous-Time Nonlinear Input-Output Equations: Polynomial Approach. 633-640
Heuristic Problem Solving
- Brigitte Rafael, Stefan Oertl, Michael Affenzeller, Stefan Wagner:
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, Markus Hirsch, Michael Affenzeller, Luigi del Re, Stefan Wagner:
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, Günther R. Raidl:
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, Gabriel Kronberger, Andreas Beham, Stephan M. Winkler, Michael Affenzeller:
Model Driven Rapid Prototyping of Heuristic Optimization Algorithms. 729-736 - Michael Kastner, Mohamed Wagdy Saleh, Stefan Wagner, Michael Affenzeller, Witold Jacak:
Heuristic Methods for Searching and Clustering Hierarchical Workflows. 737-744 - Henryk Maciejewski, Piotr Twaróg:
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, Monika Kofler, Michael Affenzeller, Stefan Wagner:
Evolutionary Selection in Simulation-Based Optimization. 761-768 - Stephan Dreiseitl, Melanie Osl:
Feature Selection Based on Pairwise Classification Performance. 769-776 - Michael Affenzeller, Stephan M. Winkler, Andreas Beham, Stefan Wagner:
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, Juan Antonio Gómez Pulido, Juan Manuel Sánchez-Pérez:
Solving a Real-World FAP Using the Scatter Search Metaheuristic. 785-792 - Gabriel Kronberger, Stephan M. Winkler, Michael Affenzeller, Andreas Beham, Stefan Wagner:
On the Success Rate of Crossover Operators for Genetic Programming with Offspring Selection. 793-800 - Rene Mayrhofer, Stephan M. Winkler, Helmut Hlavacs, Michael Affenzeller, Stefan Schneider:
On Structural Identification of 2D Regression Functions for Indoor Bluetooth Localization. 801-808 - Antonio Gómez-Iglesias, Miguel A. Vega-Rodríguez, Francisco Castejón-Magaña, Miguel Cárdenas-Montes, Enrique Morales-Ramos:
Grid-Enabled Mutation-Based Genetic Algorithm to Optimise Nuclear Fusion Devices. 809-816 - Monika Kofler, Stefan Wagner, Andreas Beham, Gabriel Kronberger, Michael Affenzeller:
Priority Rule Generation with a Genetic Algorithm to Minimize Sequence Dependent Setup Costs. 817-824 - Julio Brito, F. Javier Martínez, José Andrés Moreno-Pérez, José L. Verdegay:
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, Ralf Mauersberger, Florian Biechele:
Performance Modelling for Avionics Systems. 833-840 - Vladimír Janousek, Sárka Kvetonová:
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, Miguel A. Francisco, Víctor M. Gulías:
A Practical Methodology for Integration Testing. 881-888
Models of Co-operative Engineering Systems
- Andrzej Wytyczak-Partyka, Jan Nikodem, Ryszard Klempous, Jerzy W. Rozenblit, Radoslaw Klempous, Imre J. Rudas:
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 2025-02-07 23: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:
