11. EUROCAST 2007:
Las Palmas de Gran Canaria,
Canary Islands,
Spain
Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia (Eds.):
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 BibTeX
Systems Theory and Simulation:
Formal Approaches
- Rudolf F. Albrecht:
On Evolutionary Systems.
1-9
Electronic Edition (link) BibTeX
- Josef Scharinger:
A Systems Theoretic Approach to the Design of Scalable Cryptographic Hash Functions.
10-17
Electronic Edition (link) BibTeX
- Jan Nikodem:
Modelling an Activity in Wireless Sensors Network.
18-25
Electronic Edition (link) BibTeX
- Germano Resconi, Boris Kovalerchuk:
Explanatory Model for the Break of Logic Equivalence by Irrational Agents in Elkan's Paradox.
26-33
Electronic Edition (link) BibTeX
- Stanislaw Sieniutycz:
Entropy-Based Modeling and Simulation of Evolution in Biological Systems.
34-41
Electronic Edition (link) BibTeX
- María Isabel Rodríguez-Galiano, Jacinto González-Pachón:
Logistic Regression as a Computational Tool for Dealing with Intransitivity.
42-49
Electronic Edition (link) BibTeX
- José Luis Crespo, Pilar Bernardos, Marta E. Zorrilla, Eduardo Mora:
Synoptic Maps Forecast Using Spatio-temporal Models.
50-56
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- A. Pérez de Madrid, P. Ruipérez, M. Romero, C. Mañoso, R. Hernández:
Computer Aided Development and Simulation of a Remote Control VTOL Tiltwing Model Aircraft.
65-72
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Ignacio Solinis-Camalich, Alexis Quesada-Arencibia, Jose Carlos Rodríguez-Rodríguez, Roberto Moreno-Díaz Jr.:
An Open Modular System for Monitoring Remote Sensors.
82-89
Electronic Edition (link) BibTeX
- Roberto Moreno-Díaz, Arminda Moreno-Díaz, Gabriel de Blasio, D. Freire-Obregón:
A Structure for Generalized Space-Time Processing: The Feedforward Visual Case.
90-96
Electronic Edition (link) BibTeX
- Margaret Miró-Julià:
Arrays and Continuous Attributes.
97-104
Electronic Edition (link) BibTeX
- Zenon Chaczko, Perez Moses:
Neuro-Immune-Endocrine (NIE) Models for Emergency Services Interoperatibility.
105-112
Electronic Edition (link) BibTeX
- Mateusz Tykierko:
Automatic Change Detection in Dynamical System with Chaos Based on Model, Fractal Dimension and Recurrence Plot.
113-120
Electronic Edition (link) BibTeX
- Jesús Rodríguez-Millán, Anna Patete, Carla González:
Picard Discretization of Nonlinear Systems: Symbolic or Numeric Implementation?
121-129
Electronic Edition (link) BibTeX
- Michael Pitzer, Heinz Dobler:
An Object-Oriented and Generic Compiler Generator.
130-137
Electronic Edition (link) BibTeX
- José Antonio Martin H., Javier de Lope Asiaín:
A k-NN Based Perception Scheme for Reinforcement Learning.
138-145
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Aniello Buonocore, Ludovico 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
Electronic Edition (link) BibTeX
- Antonio Di Crescenzo, Barbara Martinucci:
Random Motion with Gamma-Distributed Alternating Velocities in Biological Modeling.
163-170
Electronic Edition (link) BibTeX
- G. Albano, Virginia Giorno, C. Saturnino:
A Prey-Predator Model for Immune Response and Drug Resistance in Tumor Growth.
171-178
Electronic Edition (link) BibTeX
- Mario Abundo:
On First-Passage Problems for Asymmetric One-Dimensional Diffusions.
179-186
Electronic Edition (link) BibTeX
- María M. Abad-Grau, Paola Sebastiani:
Multivariate Imputation of Genotype Data Using Short and Long Range Disequilibrium.
187-194
Electronic Edition (link) BibTeX
- Vladimir Krajca, Svojmil Petránek, Jitka Mohylová, Karel Paul, Václav Gerla, Lenka Lhotská:
Neonatal EEG Sleep Stages Modelling by Temporal Profiles.
195-201
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Antonio Blanco, J. E. Freire, José Luis Freire:
Using Coq to Understand Nested Datatypes.
210-216
Electronic Edition (link) BibTeX
- Carlos Abalde, Víctor M. Gulías, Laura M. Castro:
Towards a Decentralized and Structured Network of P2P Public Information Screens.
217-224
Electronic Edition (link) BibTeX
- Javier Parapar, José M. Casanova, Alvaro Barreiro:
NowOnWeb: News Search and Summarization.
225-232
Electronic Edition (link) BibTeX
- J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro:
Verification of Program Properties Using Different Theorem Provers: A Case Study.
233-240
Electronic Edition (link) BibTeX
- Pedro Cabalar, Gilberto Pérez Vega:
Temporal Equilibrium Logic: A First Approach.
241-248
Electronic Edition (link) BibTeX
- Javier París, Víctor M. Gulías, Alberto Valderruten, J. Santiago Jorge:
A Distributed Filesystem for Spare Storage.
249-256
Electronic Edition (link) BibTeX
- Carlos Gómez-Rodríguez, Miguel A. Alonso, Manuel Vilares Ferro:
Generation of Indexes for Compiling Efficient Parsers from Formal Specifications.
257-264
Electronic Edition (link) BibTeX
- M. Fernández, Eric Villemonte de la Clergerie, M. Vilares:
From Text to Knowledge.
265-272
Electronic Edition (link) BibTeX
- Fco. Mario Barcala, Miguel A. Molinero, Eva Domínguez:
XML Rules for Enclitic Segmentation.
273-281
Electronic Edition (link) BibTeX
- F. Aguado, J. L. Doncel, J. M. Molinelli, G. Pérez, C. Vidal, A. Vieites:
Certified Genetic Algorithms: Crossover Operators for Permutations.
282-289
Electronic Edition (link) BibTeX
- Juan Otero, J. Graña, Manuel Vilares Ferro:
Contextual Spelling Correction.
290-296
Electronic Edition (link) BibTeX
- Francisco J. Ribadas, Erica Lloves, Victor M. Darriba:
Multiple Label Text Categorization on a Hierarchical Thesaurus.
297-304
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Antonio Morales, Isabel Navarrete, Guido Sciavicco:
Using Temporal Logic for Spatial Reasoning: Temporalized Propositional Neighborhood Logic.
313-320
Electronic Edition (link) BibTeX
- M. Dolores del Castillo, Ángel Iglesias, Jose Ignacio Serrano:
An Integrated Approach to Filtering Phishing E-mails.
321-328
Electronic Edition (link) BibTeX
- Eloy J. Mata, Pedro Álvarez, José A. Bañares, Julio Rubio:
Formal Reasoning on a Web Coordination System.
329-336
Electronic Edition (link) BibTeX
- Lenka Lhotská, Laura Prieto:
A Multi-agent System for Information Retrieval.
337-344
Electronic Edition (link) BibTeX
- Wilfried Grossmann, Markus Moschner:
Knowledge Integration from Multidimensional Data Sources.
345-351
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- José Luis González, Marcelino J. Cabrera, Francisco L. Gutiérrez:
Using Videogames in Special Education.
360-367
Electronic Edition (link) BibTeX
- A. Martín, G. Rodriguez, A. de la Villa:
Facing the Challenges of the European Higher Education Area: The dMath Project.
368-375
Electronic Edition (link) BibTeX
- Heinz Dobler, Rudolf Ramler, Klaus Wolfmaier:
A Study of Tool Support for the Evaluation of Programming Exercises.
376-383
Electronic Edition (link) BibTeX
- Fernando Molina-Ortiz, Nuria Medina-Medina, Lina García-Cabrera:
Aplying a Semantic Hypermedia Model to Adaptive Concept Maps in Education.
384-391
Electronic Edition (link) BibTeX
- Marta E. Zorrilla, D. Marín, Elena Álvarez:
Towards Virtual Course Evaluation Using Web Intelligence.
392-399
Electronic Edition (link) BibTeX
- Jos A. Alonso, Gonzalo A. Aranda, Francisco J. Martn-Mateos:
KRRT: Knowledge Representation and Reasoning Tutor System.
400-407
Electronic Edition (link) BibTeX
- Germano Resconi, Javier Alonso:
Fuzzy Adaptive Objects (Logic of Monitors as Agents).
408-414
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
Grid Computing
- Herbert Rosmanith, Dieter Kranzlmüller, Jens Volkert:
An Interactive Job Manager for Globus.
431-442
Electronic Edition (link) BibTeX
- Rene Kobler, Thomas Köckerbauer, Ulrich Omasits, Martin Neumann, Wolfgang Schreiner, Jens Volkert:
Interactive Molecular Dynamics Simulations on the Grid.
443-447
Electronic Edition (link) BibTeX
- Maurizio Colombo, Fabio Martinelli, Paolo Mori, Anna Vaccarelli:
Extending the Globus Architecture with Role-Based Trust Management.
448-456
Electronic Edition (link) BibTeX
- Bernhard Quatember, Martin Mayr:
GRID Software Solution for the Segmentation of the Coronary Artery Tree in Biplane Angiograms.
457-464
Electronic Edition (link) BibTeX
- Masaharu Munetomo, Yuta Satake, Kiyoshi Akama:
An Intelligent Scatter with Estimation of Distribution for Tabu Search.
465-472
Electronic Edition (link) BibTeX
- Masaharu Munetomo, Asim Munawar, Kiyoshi Akama:
A Framework of GRID Problem-Solving Environment Employing Robust Evolutionary Search.
473-480
Electronic Edition (link) BibTeX
- Cunhao Fang, Yaoxue Zhang, Song Cao:
A Resources Virtualization Approach Supporting Uniform Access to Heterogeneous Grid Resources.
481-487
Electronic Edition (link) BibTeX
Applied Formal Verification
- Milan Ceska, Pavel Erlebach, Tomás Vojnar:
Pattern-Based Verification for Trees.
488-496
Electronic Edition (link) BibTeX
- Andreas Holzer, Johannes Kinder, Helmut Veith:
Using Verification Technology to Specify and Detect Malware.
497-504
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Cyrille Artho, Boris Zweimüller, Armin Biere, Etsuya Shibayama, Shinichi Honiden:
Efficient Model Checking of Applications with Input/Output.
515-522
Electronic Edition (link) BibTeX
- Enrique Alba, J. Francisco Chicano:
Ant Colony Optimization for Model Checking.
523-530
Electronic Edition (link) BibTeX
- Marc Herbstritt, Bernd Becker:
On Combining 01X-Logic and QBF.
531-538
Electronic Edition (link) BibTeX
- Lars-Åke Fredlund, Juan José Sánchez Penas:
Model Checking a Video-on-Demand Server Using McErlang.
539-546
Electronic Edition (link) BibTeX
- Carsten Sinz:
Compressing Propositional Proofs by Common Subproof Extraction.
547-555
Electronic Edition (link) BibTeX
- Wenhui Zhang:
Verification of ACTL Properties by Bounded Model Checking.
556-563
Electronic Edition (link) BibTeX
Cellular Automata
- Amparo Fúster-Sabater, Pino Caballero-Gil, Maria Eugenia Pazo-Robles:
Application of Linear Hybrid Cellular Automata to Stream Ciphers.
564-571
Electronic Edition (link) BibTeX
- Franz Pichler:
A Highly Nonlinear Cellular FSM-Combiner for Stream Ciphers.
572-580
Electronic Edition (link) BibTeX
- Thomas Worsch, Hidenosuke Nishio:
Variations on Neighborhoods in CA.
581-588
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Mathias Halbach, Rolf Hoffmann:
Solving the Exploration's Problem with Several Creatures More Efficiently.
596-603
Electronic Edition (link) BibTeX
- Hiroshi Umeo, Hiroki Uchino:
A New Time-Optimum Synchronization Algorithm for Two-Dimensional Cellular Arrays.
604-611
Electronic Edition (link) BibTeX
Computer Vision
- Luis Álvarez, Carlos A. Castaño-Moraga, Miguel García, Karl Krissian, Luis Mazorra, Agustín Salgado, Javier Sánchez:
3D Motion Estimation Using a Combination of Correlation and Variational Methods for PIV.
612-620
Electronic Edition (link) BibTeX
- Javier de Lope Asiaín, Juan José San Martín, José Antonio Martin H.:
Helicopter Flight Dynamics Using Soft Computing Models.
621-628
Electronic Edition (link) BibTeX
- Ryszard Klempous:
Movement Identification Analysis Based on Motion Capture.
629-637
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Luis Álvarez, Carlos A. Castaño-Moraga, Miguel García, Karl Krissian, Luis Mazorra, Agustín Salgado, Javier Sánchez:
Second Order Variational Optic Flow Estimation.
646-653
Electronic Edition (link) BibTeX
- Roman Dudek, Carmelo Cuenca, Francisca Quintana:
An Application of Optical Flow: Slow Motion Effect on Streaming Image Sequences.
654-659
Electronic Edition (link) BibTeX
- José Isern González, Jorge Cabrera-Gámez, J. D. Hernández Sosa, Antonio Carlos Domínguez-Brito:
Comparing Self-calibration Methods for Static Cameras.
660-667
Electronic Edition (link) BibTeX
- Julio Esclarín Monreal, Carolina García Antón:
Automation of Snakes in Medical Images.
668-675
Electronic Edition (link) BibTeX
- Luis Álvarez, Carlos A. Castaño-Moraga, Miguel García, Karl Krissian, Luis Mazorra, Agustín Salgado, Javier Sánchez:
Symmetric Optical Flow.
676-683
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Ryszard Klempous:
Tool for Creation Realistic Animation of Human-Like Figures: TRAF.
692-700
Electronic Edition (link) BibTeX
- M. Rincón, J. Martínez-Cantos:
An Annotation Tool for Video Understanding.
701-708
Electronic Edition (link) BibTeX
- Agustín Salgado, Javier Sánchez:
Temporal Constraints in Large Optical Flow Estimation.
709-716
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Pedro Cobos Arribas, Felipe Jiménez Alonso:
FPGA Real Time Lane Departure Warning Hardware System.
725-732
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Carlos M. Travieso, Juan C. Briceño, Miguel A. Ferrer, Jesús B. Alonso:
Using Fisher Kernel on 2D-Shape Identification.
740-746
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- 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, R. Pérez, Carlos Segura:
Metaheuristic Approaches for Optimal Broadcasting Design in Metropolitan MANETs.
755-763
Electronic Edition (link) BibTeX
- Enrique Alba, Edgardo Ferretti, Juan M. Molina:
The Influence of Data Implementation in the Performance of Evolutionary Algorithms.
764-771
Electronic Edition (link) BibTeX
- Witold Jacak, Karin Pröll:
Heuristic Approach to Conflict Problem Solving in an Intelligent Multiagent System.
772-779
Electronic Edition (link) BibTeX
- J. O. Roa, A. R. Jiménez, F. Seco, J. C. Prieto, J. Ealo:
Optimal Placement of Sensors for Trilateration: Regular Lattices vs Meta-heuristic Solutions.
780-787
Electronic Edition (link) BibTeX
- Stephan M. Winkler, Michael Affenzeller, Stefan Wagner:
Selection Pressure Driven Sliding Window Behavior in Genetic Programming Based Structure Identification.
788-795
Electronic Edition (link) BibTeX
- Máximo Méndez, Blas Galván:
Multi-Objective Evolutionary Algorithms Using the Working Point and the TOPSIS Method.
796-803
Electronic Edition (link) BibTeX
- María Luisa Pérez-Delgado, J. C. Matos-Franco:
Self-organizing Feature Maps to Solve the Undirected Rural Postman Problem.
804-811
Electronic Edition (link) BibTeX
- Roland Braune, Stefan Wagner, Michael Affenzeller:
Optimization Methods for Large-Scale Production Scheduling Problems.
812-819
Electronic Edition (link) BibTeX
- Michael Affenzeller, Stefan Wagner, Stephan M. Winkler:
Self-adaptive Population Size Adjustment for Genetic Algorithms.
820-828
Electronic Edition (link) BibTeX
- Andreas Beham:
Parallel Tabu Search and the Multiobjective Capacitated Vehicle Routing Problem with Soft Time Windows.
829-836
Electronic Edition (link) BibTeX
- Gabriel Kronberger, Roland Braune:
Bandit-Based Monte-Carlo Planning for the Single-Machine Total Weighted Tardiness Scheduling Problem.
837-844
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Andreas Weidenhiller, Herbert Jodlbauer:
Fast Generation of Production Schedules on a Single Machine.
861-869
Electronic Edition (link) BibTeX
- Andreas M. Chwatal, Günther R. Raidl:
Determining Orbital Elements of Extrasolar Planets by Evolution Strategies.
870-877
Electronic Edition (link) BibTeX
- Stephan Dreiseitl:
Training Multiclass Classifiers by Maximizing the Volume Under the ROC Surface.
878-885
Electronic Edition (link) BibTeX
- Reinhard Stumptner, Josef Küng:
Selective Association in Associative Memories - An Extension of the Model NEUNET.
886-893
Electronic Edition (link) BibTeX
- Thomas Triebsees, Uwe M. Borghoff:
Towards Constraint-Based Preservation in Systems Specification.
894-902
Electronic Edition (link) BibTeX
- Manfred Mauerkirchner, Gerhard Hoefer:
Automated Re-establishment of the Synchronization of Real and Simulated Project Workflow.
903-911
Electronic Edition (link) BibTeX
- Bernd Brandl:
Automated Modelling in Empirical Social Sciences Using a Genetic Algorithm.
912-919
Electronic Edition (link) BibTeX
- Rene Mayrhofer, Harald Radi:
Extending the Growing Neural Gas Classifier for Context Recognition.
920-927
Electronic Edition (link) BibTeX
Signal Processing Architectures
- Ralf Mosshammer, Florian Frank, Mario Huemer:
Neural Network Based Path Detection for an FMCW Positioning System.
928-935
Electronic Edition (link) BibTeX
- Werner Hein, Jens Berkmann, Manfred Zimmermann, Mario Huemer:
Object Oriented Signal Data Structures in VLSI Implementations of Wireless Modems.
936-943
Electronic Edition (link) BibTeX
- H. Witschnig, H. Stallinger, Mario Huemer:
A Bandwidth Efficiency Optimized Frequency Domain Equalization Concept for Single Carrier Transmission.
944-951
Electronic Edition (link) BibTeX
- Michael Lunglmayr, Jens Berkmann:
Optimized Mapping Schemes for LDPC Coded Higher Order Modulated QAM Transmission.
952-959
Electronic Edition (link) BibTeX
- Miguel Alemán-Flores, Patricia Alemán-Flores, Luis Álvarez-León, M. Belén Esteban-Sánchez, Rafael Fuentes-Pavón, José Manuel Santana-Montesdeoca:
Texture-Based Filtering and Front-Propagation Techniques for the Segmentation of Ultrasound Images.
960-967
Electronic Edition (link) BibTeX
- Adam Handzlik, Andrzej Jablonski:
"Chameleon" Software Defined Control Platform.
968-975
Electronic Edition (link) BibTeX
- Dietmar Wenzel:
Sampling Rate Conversion for Timing Adjustment in 3.5G Multimode Mobile Terminals.
976-983
Electronic Edition (link) BibTeX
- Roman Dudek, Carmelo Cuenca, Francisca Quintana:
Accelerating Space Variant Gaussian Filtering on Graphics Processing Unit.
984-991
Electronic Edition (link) BibTeX
- Frank Chiang, Zenon Chaczko, Johnson I. Agbinya, Robin Braun:
Ant-Based Topology Convergence Algorithms for Resource Management in VANETs.
992-1000
Electronic Edition (link) BibTeX
- Octavian-Dumitru Mocanu, Joan Oliver:
Simulation of a Signal Arbitration Algorithm for a Sensor Array.
1001-1008
Electronic Edition (link) BibTeX
Robotics and Robotic Soccer
- Man-Wook Han, Peter Kopacek:
Mini Robots for Soccer.
1009-1016
Electronic Edition (link) BibTeX
- Florian Eibensteiner, Rainer Findenig, Jürgen Tossold, Wilfried Kubinger, Josef Langer, Markus Pfaff:
Embedded Robotic Solution: Integrating Robotics Interfaces with a High-Level CPU in a System-on-a-Chip.
1017-1024
Electronic Edition (link) BibTeX
- Wilfried Kubinger, Franz Rinnerthaler, Christoph Sulzbachner, Josef Langer, Martin Humenberger:
An Embedded Vision Sensor for Robot Soccer.
1025-1032
Electronic Edition (link) BibTeX
- Daniel Hernández, Jorge Cabrera, Angel Naranjo, Antonio C. Domínguez, Josep Isern:
MTVS: A Multi-task Active-Vision System.
1033-1040
Electronic Edition (link) BibTeX
- Elzbieta Roszkowska:
DES-Based Coordination of Space-Sharing Mobile Robots.
1041-1048
Electronic Edition (link) BibTeX
- Oscar Déniz, Modesto Castrillón Santana, Javier Lorenzo, Mario Hernández:
CASIMIRO, The Sociable Robot.
1049-1056
Electronic Edition (link) BibTeX
- Klaus Buchenrieder:
Processing of Myoelectric Signals by Feature Selection and Dimensionality Reduction for the Control of Powered Upper-Limb Prostheses.
1057-1065
Electronic Edition (link) BibTeX
Cybercars and Intelligent Vehicles
- Joseph Canou, Damien Sallé, Marc Traonmillin, Vincent Dupourqué:
The Anglet Experiment: A Cybercar on the Beach.
1066-1072
Electronic Edition (link) BibTeX
- José Eugenio Naranjo, Ricardo García Rosa, Carlos González, Teresa de Pedro, Javier Alonso, Javier Vinuesa:
Crossroad Cooperative Driving Based on GPS and Wireless Communications.
1073-1080
Electronic Edition (link) BibTeX
- Nicolas Simond:
Free Space in Front of an Autonomous Guided Vehicle in Inner-City Conditions.
1081-1088
Electronic Edition (link) BibTeX
- Luciano Oliveira, Gonçalo Monteiro, Paulo Peixoto, Urbano Nunes:
Towards a Robust Vision-Based Obstacle Perception with Classifier Fusion in Cybercars.
1089-1096
Electronic Edition (link) BibTeX
- Michal Veselý, Herwig Mayr:
Using Self-adapting Navigation Data for Intelligent, Personalized Vehicle Guidance.
1097-1104
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Miguel Ángel Sotelo, J. Barriga, David Fernández, I. Parra, José Eugenio Naranjo, Marta Marrón, S. Alvarez, M. Gavilán:
Vision-Based Blind Spot Detection Using Optical Flow.
1113-1118
Electronic Edition (link) BibTeX
- Miguel Ángel Sotelo, Ramón Flores, Ricardo García, Manuel Ocaña, Miguel Angel García, I. Parra, David Fernández, M. Gavilán, José Eugenio Naranjo:
Ego-Motion Computing for Vehicle Velocity Estimation.
1119-1125
Electronic Edition (link) BibTeX
- Carmelo García, Francisco Alayón Hernández, Joaquín Caraballo, Ricardo Pérez, Gabino Padrón:
PSPRT: A Case of Pervasive System for Public Road Transport.
1126-1133
Electronic Edition (link) BibTeX
- Javier Sánchez Medina, Manuel Galán Moreno, Enrique Rubio Royo:
Study of Correlation Among Several Traffic Parameters Using Evolutionary Algorithms: Traffic Flow, Greenhouse Emissions and Network Occupancy.
1134-1141
Electronic Edition (link) BibTeX
- Wided Miled, Jean-Christophe Pesquet, Michel Parent:
Robust Obstacle Detection Based on Dense Disparity Maps.
1142-1150
Electronic Edition (link) BibTeX
- Javier Alonso Ruiz, Javier Jiménez Gil, José Eugenio Naranjo, José Ignacio Suárez, Blas M. Vinagre:
Cooperative Maneuver Study Between Autonomous Cars: Overtaking.
1151-1158
Electronic Edition (link) BibTeX
- Olivier Mehani, Arnaud de La Fortelle:
Trajectory Planning in a Crossroads for a Fleet of Driverless Vehicles.
1159-1166
Electronic Edition (link) BibTeX
- Jan Nikodem, Maciej Nikodem:
Secure and Scalable Communication in Vehicle Ad Hoc Networks.
1167-1174
Electronic Edition (link) BibTeX
- Juan Pablo Carrasco, Arturo de la Escalera, Jose M. Armingol:
Speed Supervisor for Intelligent Vehicles.
1175-1182
Electronic Edition (link) BibTeX
- Angel Domingo Sappa, Fadi Dornaika, David Gerónimo, Antonio M. López:
Efficient On-Board Stereo Vision Pose Estimation.
1183-1190
Electronic Edition (link) BibTeX
Artificial Intelligence Components
- David Davis:
Complex Software Problem Solving by Means of Abstractive Techniques.
1191-1198
Electronic Edition (link) BibTeX
- Zenon Chaczko, Frank Chiang, Robin Braun:
Active MIB: Addressing Challenges of Wireless Mesh Networks.
1199-1207
Electronic Edition (link) BibTeX
- Francisco Araque, Alberto Salguero, Ramón Alberto Carrasco, Cecilia Delgado:
Fuzzy Integration of Web Data Sources for Data Warehousing.
1208-1215
Electronic Edition (link) BibTeX
- Manuel Ocaña, Luis Miguel Bergasa, Miguel Ángel Sotelo, Ramón Flores, Elena López Guillén, Rafael Barea:
Comparison of WiFi Map Construction Methods for WiFi POMDP Navigation Systems.
1216-1222
Electronic Edition (link) BibTeX
- Cunhao Fang, Song Cao:
A Practical Agent-Based Approach for Pattern Layout Design.
1223-1228
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:11:08 2009
by Michael Ley (ley@uni-trier.de)