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
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
Ontology-Based Modelling of Session Management Policies for Groupware Applications. 57-64 - Angel Pérez de Madrid, P. Ruipérez, Miguel Romero
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
An Open Modular System for Monitoring Remote Sensors. 82-89 - Roberto Moreno-Díaz, Arminda Moreno-Díaz, Gabriel de Blasio
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.
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
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
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
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
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
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
An Integrated Approach to Filtering Phishing E-mails. 321-328 - Eloy J. Mata
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
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
E-Learning Platform as a Teaching Support in Psychology. 415-422 - Ignacio González Alonso
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
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
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
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
3D Motion Estimation Using a Combination of Correlation and Variational Methods for PIV. 612-620 - Javier de Lope Asiaín
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
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
Symmetric Optical Flow. 676-683 - David Schleicher, Luis Miguel Bergasa
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
An Annotation Tool for Video Understanding. 701-708 - Agustín Salgado
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
FPGA Real Time Lane Departure Warning Hardware System. 725-732 - Marta Penas, María J. Carreira
Efficient Combination of the Fuzzy Hough Transform and the Burns Segment Detector. 733-739 - Carlos M. Travieso
Using Fisher Kernel on 2D-Shape Identification. 740-746
Heuristic Problem Solving
- Stefan Wagner, Stephan M. Winkler
Benefits of Plugin-Based Heuristic Optimization Software Systems. 747-754 - Enrique Alba, Alejandro Cervantes
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
Optimal Placement of Sensors for Trilateration: Regular Lattices vs Meta-heuristic Solutions. 780-787 - Stephan M. Winkler
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
Using Omnidirectional BTS and Different Evolutionary Approaches to Solve the RND Problem. 853-860 - Andreas Weidenhiller
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
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 - Michael Lunglmayr, Jens Berkmann:
Optimized Mapping Schemes for LDPC Coded Higher Order Modulated QAM Transmission. 952-959 - Miguel Alemán-Flores, Patricia Alemán-Flores, Luis Álvarez-León
Texture-Based Filtering and Front-Propagation Techniques for the Segmentation of Ultrasound Images. 960-967 - Adam Handzlik, Andrzej Jablonski:
"Chameleon" Software Defined Control Platform. 968-975 - Dietmar Wenzel:
Sampling Rate Conversion for Timing Adjustment in 3.5G Multimode Mobile Terminals. 976-983 - Roman Dudek, Carmelo Cuenca, Francisca Quintana
Accelerating Space Variant Gaussian Filtering on Graphics Processing Unit. 984-991 - Frank Chiang, Zenon Chaczko, Johnson I. Agbinya
Ant-Based Topology Convergence Algorithms for Resource Management in VANETs. 992-1000 - Octavian-Dumitru Mocanu, Joan Oliver:
Simulation of a Signal Arbitration Algorithm for a Sensor Array. 1001-1008
Robotics and Robotic Soccer
- Man-Wook Han, Peter Kopacek:
Mini Robots for Soccer. 1009-1016 - Florian Eibensteiner
Embedded Robotic Solution: Integrating Robotics Interfaces with a High-Level CPU in a System-on-a-Chip. 1017-1024 - Wilfried Kubinger, Franz Rinnerthaler, Christoph Sulzbachner, Josef Langer, Martin Humenberger
An Embedded Vision Sensor for Robot Soccer. 1025-1032 - Daniel Hernández-Sosa, Jorge Cabrera
MTVS: A Multi-task Active-Vision System. 1033-1040 - Elzbieta Roszkowska:
DES-Based Coordination of Space-Sharing Mobile Robots. 1041-1048 - Oscar Déniz, Modesto Castrillón Santana
CASIMIRO, The Sociable Robot. 1049-1056 - Klaus Buchenrieder
Processing of Myoelectric Signals by Feature Selection and Dimensionality Reduction for the Control of Powered Upper-Limb Prostheses. 1057-1065
Cybercars and Intelligent Vehicles
- Joseph Canou, Damien Sallé
The Anglet Experiment: A Cybercar on the Beach. 1066-1072 - José Eugenio Naranjo
Crossroad Cooperative Driving Based on GPS and Wireless Communications. 1073-1080 - Nicolas Simond:
Free Space in Front of an Autonomous Guided Vehicle in Inner-City Conditions. 1081-1088 - Luciano Oliveira, Gonçalo Monteiro, Paulo Peixoto, Urbano Nunes:
Towards a Robust Vision-Based Obstacle Perception with Classifier Fusion in Cybercars. 1089-1096 - Michal Veselý, Herwig Mayr:
Using Self-adapting Navigation Data for Intelligent, Personalized Vehicle Guidance. 1097-1104 - Angel Domingo Sappa, Rosa Herrero, Fadi Dornaika, David Gerónimo, Antonio M. López
Road Approximation in Euclidean and v -Disparity Space: A Comparative Study. 1105-1112 - Miguel Ángel Sotelo, J. Barriga, David Fernández, Ignacio Parra, José Eugenio Naranjo, Marta Marrón
Vision-Based Blind Spot Detection Using Optical Flow. 1113-1118 - Miguel Ángel Sotelo, Ramón Flores, Ricardo García, Manuel Ocaña
Ego-Motion Computing for Vehicle Velocity Estimation. 1119-1125 - Carmelo R. García, Francisco Alayón Hernández
PSPRT: A Case of Pervasive System for Public Road Transport. 1126-1133 - Javier J. Sánchez Medina
Study of Correlation Among Several Traffic Parameters Using Evolutionary Algorithms: Traffic Flow, Greenhouse Emissions and Network Occupancy. 1134-1141 - Wided Miled, Jean-Christophe Pesquet, Michel Parent:
Robust Obstacle Detection Based on Dense Disparity Maps. 1142-1150 - Javier Alonso Ruiz
Cooperative Maneuver Study Between Autonomous Cars: Overtaking. 1151-1158 - Olivier Mehani
Trajectory Planning in a Crossroads for a Fleet of Driverless Vehicles. 1159-1166 - Jan Nikodem, Maciej Nikodem:
Secure and Scalable Communication in Vehicle Ad Hoc Networks. 1167-1174 - Juan Pablo Carrasco, Arturo de la Escalera, Jose M. Armingol:
Speed Supervisor for Intelligent Vehicles. 1175-1182 - Angel Domingo Sappa, Fadi Dornaika, David Gerónimo, Antonio M. López
Efficient On-Board Stereo Vision Pose Estimation. 1183-1190
Artificial Intelligence Components
- David Davis:
Complex Software Problem Solving by Means of Abstractive Techniques. 1191-1198 - Zenon Chaczko, Frank Chiang, Robin Braun
Active MIB: Addressing Challenges of Wireless Mesh Networks. 1199-1207 - Francisco Araque, Alberto Salguero, Ramón Alberto Carrasco, Cecilia Delgado:
Fuzzy Integration of Web Data Sources for Data Warehousing. 1208-1215 - Manuel Ocaña, Luis Miguel Bergasa
Comparison of WiFi Map Construction Methods for WiFi POMDP Navigation Systems. 1216-1222 - Cunhao Fang, Song Cao:
A Practical Agent-Based Approach for Pattern Layout Design. 1223-1228
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-11-05 20:48 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: