default search action
11. EUROCAST 2007: Las Palmas de Gran Canaria, Canary Islands, Spain
- Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia:
Computer Aided Systems Theory - EUROCAST 2007, 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4739, Springer 2007, ISBN 978-3-540-75866-2
Systems Theory and Simulation: Formal Approaches
- Rudolf F. Albrecht:
On Evolutionary Systems. 1-9 - Josef Scharinger:
A Systems Theoretic Approach to the Design of Scalable Cryptographic Hash Functions. 10-17 - Jan Nikodem:
Modelling an Activity in Wireless Sensors Network. 18-25 - Germano Resconi, Boris Kovalerchuk:
Explanatory Model for the Break of Logic Equivalence by Irrational Agents in Elkan's Paradox. 26-33 - Stanislaw Sieniutycz:
Entropy-Based Modeling and Simulation of Evolution in Biological Systems. 34-41 - María Isabel Rodríguez-Galiano, Jacinto González-Pachón:
Logistic Regression as a Computational Tool for Dealing with Intransitivity. 42-49 - José Luis Crespo, Pilar Bernardos, Marta E. Zorrilla, Eduardo Mora:
Synoptic Maps Forecast Using Spatio-temporal Models. 50-56 - Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski-Rodríguez:
Ontology-Based Modelling of Session Management Policies for Groupware Applications. 57-64 - Angel Pérez de Madrid, P. Ruipérez, Miguel Romero, Carolina Mañoso, Roberto Hernández:
Computer Aided Development and Simulation of a Remote Control VTOL Tiltwing Model Aircraft. 65-72 - Pino Caballero-Gil, Cándido Caballero-Gil, Jezabel Molina-Gil, Alexis Quesada-Arencibia:
A Simulation Study of New Security Schemes in Mobile Ad-Hoc NETworks. 73-81 - Ignacio Solinis-Camalich, Alexis Quesada-Arencibia, José Carlos Rodríguez-Rodríguez, Roberto Moreno-Díaz Jr.:
An Open Modular System for Monitoring Remote Sensors. 82-89 - Roberto Moreno-Díaz, Arminda Moreno-Díaz, Gabriel de Blasio, David Freire-Obregón:
A Structure for Generalized Space-Time Processing: The Feedforward Visual Case. 90-96 - Margaret Miró-Julià:
Arrays and Continuous Attributes. 97-104 - Zenon Chaczko, Perez Moses:
Neuro-Immune-Endocrine (NIE) Models for Emergency Services Interoperatibility. 105-112 - Mateusz Tykierko:
Automatic Change Detection in Dynamical System with Chaos Based on Model, Fractal Dimension and Recurrence Plot. 113-120 - Jesús Rodríguez-Millán, Anna Patete, Carla González:
Picard Discretization of Nonlinear Systems: Symbolic or Numeric Implementation? 121-129 - Michael Pitzer, Heinz Dobler:
An Object-Oriented and Generic Compiler Generator. 130-137 - José Antonio Martín H., Javier de Lope Asiaín:
A k-NN Based Perception Scheme for Reinforcement Learning. 138-145
Computation and Simulation in Modelling Biological Systems
- Amelia G. Nobile, Enrica Pirozzi, Luigi M. Ricciardi:
On the Estimation of First-Passage Time Densities for a Class of Gauss-Markov Processes. 146-153 - Aniello Buonocore, Luigia Caputo, Enrica Pirozzi, Luigi M. Ricciardi:
Computation and Simulation in Modelling Biological Systems Simulation of Myosin II Dynamics Modeled by a Pulsating Ratchet with Double-Well Potentials. 154-162 - Antonio Di Crescenzo, Barbara Martinucci:
Random Motion with Gamma-Distributed Alternating Velocities in Biological Modeling. 163-170 - Giuseppina Albano, Virginia Giorno, C. Saturnino:
A Prey-Predator Model for Immune Response and Drug Resistance in Tumor Growth. 171-178 - Mario Abundo:
On First-Passage Problems for Asymmetric One-Dimensional Diffusions. 179-186 - María M. Abad-Grau, Paola Sebastiani:
Multivariate Imputation of Genotype Data Using Short and Long Range Disequilibrium. 187-194 - Vladimir Krajca, Svojmil Petránek, Jitka Mohylová, Karel Paul, Václav Gerla, Lenka Lhotská:
Neonatal EEG Sleep Stages Modelling by Temporal Profiles. 195-201
Intelligent Information Processing
- José Luis Freire-Nistal, Enrique Freire Brañas, Antonio Blanco Ferro, David Cabrero Souto:
On the Representation of Imperative Programs in a Logical Framework. 202-209 - Antonio Blanco, J. E. Freire, José Luis Freire:
Using Coq to Understand Nested Datatypes. 210-216 - Carlos Abalde, Víctor M. Gulías, Laura M. Castro:
Towards a Decentralized and Structured Network of P2P Public Information Screens. 217-224 - Javier Parapar, José M. Casanova, Alvaro Barreiro:
NowOnWeb: News Search and Summarization. 225-232 - J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro:
Verification of Program Properties Using Different Theorem Provers: A Case Study. 233-240 - Pedro Cabalar, Gilberto Pérez Vega:
Temporal Equilibrium Logic: A First Approach. 241-248 - Javier París, Víctor M. Gulías, Alberto Valderruten, J. Santiago Jorge:
A Distributed Filesystem for Spare Storage. 249-256 - Carlos Gómez-Rodríguez, Miguel A. Alonso, Manuel Vilares Ferro:
Generation of Indexes for Compiling Efficient Parsers from Formal Specifications. 257-264 - Milagros Fernández Gavilanes, Éric Villemonte de la Clergerie, Manuel Vilares Ferro:
From Text to Knowledge. 265-272 - Fco. Mario Barcala, Miguel A. Molinero, Eva Domínguez:
XML Rules for Enclitic Segmentation. 273-281 - Felicidad Aguado, José Luis Doncel, José María Molinelli, Gilberto Pérez, Concepción Vidal, Ana María Vieites:
Certified Genetic Algorithms: Crossover Operators for Permutations. 282-289 - Juan Otero, Jorge Graña, Manuel Vilares Ferro:
Contextual Spelling Correction. 290-296 - Francisco J. Ribadas, Erica Lloves, Victor M. Darriba:
Multiple Label Text Categorization on a Hierarchical Thesaurus. 297-304 - Joaquín Borrego-Díaz, Antonia M. Chávez-González:
A Formal Foundation for Knowledge Integration of Defficent Information in the Semantic Web. 305-312 - Antonio Morales Nicolás, Isabel Navarrete, Guido Sciavicco:
Using Temporal Logic for Spatial Reasoning: Temporalized Propositional Neighborhood Logic. 313-320 - M. Dolores del Castillo, Ángel Iglesias, Jose Ignacio Serrano:
An Integrated Approach to Filtering Phishing E-mails. 321-328 - Eloy J. Mata, Pedro Álvarez, José A. Bañares, Julio Rubio:
Formal Reasoning on a Web Coordination System. 329-336 - Lenka Lhotská, Laura Prieto:
A Multi-agent System for Information Retrieval. 337-344 - Wilfried Grossmann, Markus Moschner:
Knowledge Integration from Multidimensional Data Sources. 345-351
Computers in Education
- Roberto F. Arroyo, Miguel J. Hornos, Rosana Montes:
Evolution of the Design and Implementation of Tutor: A Web-Based Educational System for University Courses. 352-359 - José Luis González Sánchez, Marcelino J. Cabrera, Francisco L. Gutiérrez:
Using Videogames in Special Education. 360-367 - Angel Martín, Gerardo Rodriguez, Agustín de la Villa:
Facing the Challenges of the European Higher Education Area: The dMath Project. 368-375 - Heinz Dobler, Rudolf Ramler, Klaus Wolfmaier:
A Study of Tool Support for the Evaluation of Programming Exercises. 376-383 - Fernando Molina-Ortiz, Nuria Medina-Medina, Lina García-Cabrera:
Aplying a Semantic Hypermedia Model to Adaptive Concept Maps in Education. 384-391 - Marta E. Zorrilla, D. Marín, Elena Álvarez:
Towards Virtual Course Evaluation Using Web Intelligence. 392-399 - José-Antonio Alonso, Gonzalo A. Aranda-Corral, Francisco J. Martín-Mateos:
KRRT: Knowledge Representation and Reasoning Tutor System. 400-407 - Germano Resconi, Javier Alonso:
Fuzzy Adaptive Objects (Logic of Monitors as Agents). 408-414 - Alberto Salguero, Francisco Araque, Antonio Fernández-Parra, M. Isabel Jiménez, M. Carmen Vives:
E-Learning Platform as a Teaching Support in Psychology. 415-422 - Ignacio González Alonso, Mercedes R. Fernández Alcalá, Benigno Villa Fernández, José Antonio López Brugos:
Wiki Use in Learning for Topography Spanish Students. 423-430
Grid Computing
- Herbert Rosmanith, Dieter Kranzlmüller, Jens Volkert:
An Interactive Job Manager for Globus. 431-442 - Rene Kobler, Thomas Köckerbauer, Ulrich Omasits, Martin Neumann, Wolfgang Schreiner, Jens Volkert:
Interactive Molecular Dynamics Simulations on the Grid. 443-447 - Maurizio Colombo, Fabio Martinelli, Paolo Mori, Anna Vaccarelli:
Extending the Globus Architecture with Role-Based Trust Management. 448-456 - Bernhard Quatember, Martin Mayr:
GRID Software Solution for the Segmentation of the Coronary Artery Tree in Biplane Angiograms. 457-464 - Masaharu Munetomo, Yuta Satake, Kiyoshi Akama:
An Intelligent Scatter with Estimation of Distribution for Tabu Search. 465-472 - Masaharu Munetomo, Asim Munawar, Kiyoshi Akama:
A Framework of GRID Problem-Solving Environment Employing Robust Evolutionary Search. 473-480 - Cunhao Fang, Yaoxue Zhang, Song Cao:
A Resources Virtualization Approach Supporting Uniform Access to Heterogeneous Grid Resources. 481-487
Applied Formal Verification
- Milan Ceska, Pavel Erlebach, Tomás Vojnar:
Pattern-Based Verification for Trees. 488-496 - Andreas Holzer, Johannes Kinder, Helmut Veith:
Using Verification Technology to Specify and Detect Malware. 497-504 - Gabriel P. Bischoff, Karl S. Brace, Gianpiero Cabodi:
A Compositional Approach for Equivalence Checking of Sequential Circuits with Unknown Reset State and Overlapping Partitions. 505-514 - Cyrille Artho, Boris Zweimüller, Armin Biere, Etsuya Shibayama, Shinichi Honiden:
Efficient Model Checking of Applications with Input/Output. 515-522 - Enrique Alba, Francisco Chicano:
Ant Colony Optimization for Model Checking. 523-530 - Marc Herbstritt, Bernd Becker:
On Combining 01X-Logic and QBF. 531-538 - Lars-Åke Fredlund, Juan José Sánchez Penas:
Model Checking a Video-on-Demand Server Using McErlang. 539-546 - Carsten Sinz:
Compressing Propositional Proofs by Common Subproof Extraction. 547-555 - Wenhui Zhang:
Verification of ACTL Properties by Bounded Model Checking. 556-563
Cellular Automata
- Amparo Fúster-Sabater, Pino Caballero-Gil, Maria Eugenia Pazo-Robles:
Application of Linear Hybrid Cellular Automata to Stream Ciphers. 564-571 - Franz Pichler:
A Highly Nonlinear Cellular FSM-Combiner for Stream Ciphers. 572-580 - Thomas Worsch, Hidenosuke Nishio:
Variations on Neighborhoods in CA. 581-588 - Juan Antonio Gómez Pulido, Juan M. Matas-Santiago, Francisco Pérez-Rodríguez, Miguel A. Vega-Rodríguez, Juan Manuel Sánchez-Pérez, Francisco Fernández de Vega:
Hardware Modelling of Cellular Automata: The Game of Life Case. 589-595 - Mathias Halbach, Rolf Hoffmann:
Solving the Exploration's Problem with Several Creatures More Efficiently. 596-603 - Hiroshi Umeo, Hiroki Uchino:
A New Time-Optimum Synchronization Algorithm for Two-Dimensional Cellular Arrays. 604-611
Computer Vision
- Luis Álvarez, Carlos A. Castaño-Moraga, Miguel García, Karl Krissian, Luis Mazorra, Agustín Salgado, Javier Sánchez Pérez:
3D Motion Estimation Using a Combination of Correlation and Variational Methods for PIV. 612-620 - Javier de Lope Asiaín, Juan José San Martín, José Antonio Martín H.:
Helicopter Flight Dynamics Using Soft Computing Models. 621-628 - Ryszard Klempous:
Movement Identification Analysis Based on Motion Capture. 629-637 - María T. López, Antonio Fernández-Caballero, Miguel Angel Fernández, José Mira, Ana E. Delgado:
Algorithmic Lateral Inhibition Formal Model for Real-Time Motion Detection. 638-645 - Luis Álvarez, Carlos A. Castaño-Moraga, Miguel García, Karl Krissian, Luis Mazorra, Agustín Salgado, Javier Sánchez Pérez:
Second Order Variational Optic Flow Estimation. 646-653 - Roman Dudek, Carmelo Cuenca, Francisca Quintana:
An Application of Optical Flow: Slow Motion Effect on Streaming Image Sequences. 654-659 - José Isern González, Jorge Cabrera-Gámez, José Daniel Hernández Sosa, Antonio Carlos Domínguez-Brito:
Comparing Self-calibration Methods for Static Cameras. 660-667 - Julio Esclarín Monreal, Carolina García Antón:
Automation of Snakes in Medical Images. 668-675 - Luis Álvarez, Carlos A. Castaño-Moraga, Miguel García, Karl Krissian, Luis Mazorra, Agustín Salgado, Javier Sánchez Pérez:
Symmetric Optical Flow. 676-683 - David Schleicher, Luis Miguel Bergasa, Manuel Ocaña, Rafael Barea, María Elena López Guillén:
Real-Time Stereo Visual SLAM in Large-Scale Environments Based on SIFT Fingerprints. 684-691 - Ryszard Klempous:
Tool for Creation Realistic Animation of Human-Like Figures: TRAF. 692-700 - Mariano Rincón, Javier Martínez-Cantos:
An Annotation Tool for Video Understanding. 701-708 - Agustín Salgado, Javier Sánchez Pérez:
Temporal Constraints in Large Optical Flow Estimation. 709-716 - Marta Marrón Romera, Miguel Ángel Sotelo Vázquez, Juan Carlos García García:
Comparing Improved Versions of 'K-Means' and 'Subtractive' Clustering in a Tracking Application. 717-724 - Pedro Cobos Arribas, Felipe Jiménez Alonso:
FPGA Real Time Lane Departure Warning Hardware System. 725-732 - Marta Penas, María J. Carreira, Manuel G. Penedo, Noelia Barreira:
Efficient Combination of the Fuzzy Hough Transform and the Burns Segment Detector. 733-739 - Carlos M. Travieso, Juan Carlos Briceño, Miguel A. Ferrer, Jesús B. Alonso:
Using Fisher Kernel on 2D-Shape Identification. 740-746
Heuristic Problem Solving
- Stefan Wagner, Stephan M. Winkler, Erik Pitzer, Gabriel Kronberger, Andreas Beham, Roland Braune, Michael Affenzeller:
Benefits of Plugin-Based Heuristic Optimization Software Systems. 747-754 - Enrique Alba, Alejandro Cervantes, J. A. Gómez, Pedro Isasi, M. D. Jaraíz, Coromoto León, Gabriel Luque, Francisco Luna, Gara Miranda, Antonio J. Nebro, Raúl Pérez, Carlos Segura:
Metaheuristic Approaches for Optimal Broadcasting Design in Metropolitan MANETs. 755-763 - Enrique Alba, Edgardo Ferretti, Juan M. Molina:
The Influence of Data Implementation in the Performance of Evolutionary Algorithms. 764-771 - Witold Jacak, Karin Pröll:
Heuristic Approach to Conflict Problem Solving in an Intelligent Multiagent System. 772-779 - Javier O. Roa, Antonio Ramón Jiménez, Fernando Seco Granja, José Carlos Prieto, Joao L. Ealo:
Optimal Placement of Sensors for Trilateration: Regular Lattices vs Meta-heuristic Solutions. 780-787 - Stephan M. Winkler, Michael Affenzeller, Stefan Wagner:
Selection Pressure Driven Sliding Window Behavior in Genetic Programming Based Structure Identification. 788-795 - Máximo Méndez, Blas Galván:
Multi-Objective Evolutionary Algorithms Using the Working Point and the TOPSIS Method. 796-803 - María Luisa Pérez-Delgado, Juan C. Matos-Franco:
Self-organizing Feature Maps to Solve the Undirected Rural Postman Problem. 804-811 - Roland Braune, Stefan Wagner, Michael Affenzeller:
Optimization Methods for Large-Scale Production Scheduling Problems. 812-819 - Michael Affenzeller, Stefan Wagner, Stephan M. Winkler:
Self-adaptive Population Size Adjustment for Genetic Algorithms. 820-828 - Andreas Beham:
Parallel Tabu Search and the Multiobjective Capacitated Vehicle Routing Problem with Soft Time Windows. 829-836 - Gabriel Kronberger, Roland Braune:
Bandit-Based Monte-Carlo Planning for the Single-Machine Total Weighted Tardiness Scheduling Problem. 837-844 - Fernando J. Álvarez-Franco, Horacio M. González Velasco, Carlos J. García Orellana, Miguel Macías Macías, Ramón Gallardo Caballero:
Using GAs to Obtain an Optimal Set of Codes for an Ultrasonic Local Positioning System. 845-852 - Miguel A. Vega-Rodríguez, Juan Antonio Gómez Pulido, Enrique Alba, David Vega-Pérez, Silvio Priem-Mendes, Guillermo Molina:
Using Omnidirectional BTS and Different Evolutionary Approaches to Solve the RND Problem. 853-860 - Andreas Weidenhiller, Herbert Jodlbauer:
Fast Generation of Production Schedules on a Single Machine. 861-869 - Andreas M. Chwatal, Günther R. Raidl:
Determining Orbital Elements of Extrasolar Planets by Evolution Strategies. 870-877 - Stephan Dreiseitl:
Training Multiclass Classifiers by Maximizing the Volume Under the ROC Surface. 878-885 - Reinhard Stumptner, Josef Küng:
Selective Association in Associative Memories - An Extension of the Model NEUNET. 886-893 - Thomas Triebsees, Uwe M. Borghoff:
Towards Constraint-Based Preservation in Systems Specification. 894-902 - Manfred Mauerkirchner, Gerhard Hoefer:
Automated Re-establishment of the Synchronization of Real and Simulated Project Workflow. 903-911 - Bernd Brandl:
Automated Modelling in Empirical Social Sciences Using a Genetic Algorithm. 912-919 - Rene Mayrhofer, Harald Radi:
Extending the Growing Neural Gas Classifier for Context Recognition. 920-927
Signal Processing Architectures
- Ralf Mosshammer, Florian Frank, Mario Huemer:
Neural Network Based Path Detection for an FMCW Positioning System. 928-935 - Werner Hein, Jens Berkmann, Manfred Zimmermann, Mario Huemer:
Object Oriented Signal Data Structures in VLSI Implementations of Wireless Modems. 936-943 - Harald Witschnig, Harald Stallinger, Mario Huemer:
A Bandwidth Efficiency Optimized Frequency Domain Equalization Concept for Single Carrier Transmission. 944-951