10. EUROCAST 2005:
Las Palmas de Gran Canaria,
Canary Islands,
Spain
Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia (Eds.):
Computer Aided Systems Theory - EUROCAST 2005, 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers.
Lecture Notes in Computer Science 3643 Springer 2005, ISBN 3-540-29002-8 BibTeX
Formal Approaches in Modelling
- José Mira:
On the Physical Formal and Semantic Frontiers Between Human Knowing and Machine Knowing.
1-8
Electronic Edition (link) BibTeX
- Liara Aparecida dos Santos Leal, Dalcidio Moraes Claudio, Laira Vieira Toscani, Paulo Blauth Menezes:
Approximation Problems Categories.
9-14
Electronic Edition (link) BibTeX
- Karina Roggia, Marnes Hoff, Paulo Blauth Menezes:
Computation of Partial Automata Through Span Composition.
15-20
Electronic Edition (link) BibTeX
- Margaret Miró-Julià:
Degenerate Arrays: A Framework for Uncertain Data Tables.
21-26
Electronic Edition (link) BibTeX
- Przemyslaw Szecówka, Andrzej Szczurek, Maciej A. Mazurowski, Benedykt Licznerski, Franz Pichler:
Neural Network Sensitivity Analysis Applied for the Reduction of the Sensor Matrix.
27-32
Electronic Edition (link) BibTeX
- José Antonio Martin H., Teresa de Pedro, Carlos González, Ricardo García Rosa, Luís Argüelles, Jose Rivas, Javier Toraño:
Fuzzy Modeling for Coal Seams A Case Study for a Hard-Coal Mine.
33-37
Electronic Edition (link) BibTeX
- Zdzislaw Bubnicki:
Optimization of a Class of Uncertain Systems Based on Uncertain Variables.
38-43
Electronic Edition (link) BibTeX
- Rodrigo C. Vieira, Paulo Blauth Menezes:
Computational Simulation of Categorical Constructions.
44-49
Electronic Edition (link) BibTeX
- Júlio Pereira Machado, Paulo Blauth Menezes:
Composing Transitions into Transactions in UML Diagrams.
50-55
Electronic Edition (link) BibTeX
- Markus Schwaninger, Thomas Hamann:
Theory-Building with System Dynamics: Principles and Practices.
56-62
Electronic Edition (link) BibTeX
- Wilfried Grossmann, Markus Moschner:
Ontology Integration for Statistical Information.
63-68
Electronic Edition (link) BibTeX
Intelligent Information Systems
- José Luis Freire, Enrique Freire Brañas, Antonio Blanco:
On Recursive Functions and Well-Founded Relations in the Calculus of Constructions.
69-80
Electronic Edition (link) BibTeX
- Tiago Ildefonso, Gabriel Lopes:
Longest Sorted Sequence Algorithm for Parallel Text Alignment.
81-90
Electronic Edition (link) BibTeX
- Francisco-Mario Barcala, Miguel A. Molinero, Eva Domínguez:
Information Retrieval and Large Text Structured Corpora.
91-100
Electronic Edition (link) BibTeX
- José Luis Crespo, Pilar Bernardos, Marta E. Zorrilla, Eduardo Mora:
Meteorological Image Descriptors.
101-110
Electronic Edition (link) BibTeX
- J. Santiago Jorge, Víctor M. Gulías, José Luis Freire, Juan J. Sánchez:
Towards a Certified and Efficient Computing of Gröbner Bases.
111-120
Electronic Edition (link) BibTeX
- Javier París, Víctor M. Gulías, Carlos Abalde:
CheapTB: A Low Cost of Operation Distributed Filesystem.
121-130
Electronic Edition (link) BibTeX
- Manuel Vilares Ferro, Juan Otero, Jorge Graña Gil:
Spelling Correction on Technical Documents.
131-139
Electronic Edition (link) BibTeX
- Clara Benac Earle, Lars-Åke Fredlund:
Verification of Language Based Fault-Tolerance.
140-149
Electronic Edition (link) BibTeX
- José A. Troyano, Víctor J. Díaz, Fernando Enríquez, Vicente Carrillo, Fermín Cruz:
Applying Stacking and Corpus Transformation to a Chunking Task.
150-158
Electronic Edition (link) BibTeX
- Jesús Aransay, Clemens Ballarin, Julio Rubio:
Extracting Computer Algebra Programs from Statements.
159-168
Electronic Edition (link) BibTeX
- Francisco J. Ribadas, Jesús Vilares Ferro, Miguel A. Alonso:
Integrating Syntactic Information by Means of Data Fusion Techniques.
169-178
Electronic Edition (link) BibTeX
- Elías F. Combarro, José Ranilla, Ricardo Mones, N. Vázquez, Irene Díaz, Elena Montañés:
Unsupervised Learning in Information Retrieval Using NOW Architectures.
179-188
Electronic Edition (link) BibTeX
- Francisco Guil, Antonio B. Bailón, Alfonso Bosch, Roque Marín:
An Iterative Method for Mining Frequent Temporal Patterns.
189-198
Electronic Edition (link) BibTeX
Information Applications Components
- Ignacio José García del Amo, Miguel García Torres, Belén Melián-Batista, José A. Moreno-Pérez, J. Marcos Moreno-Vega, Raquel Rivero Martín:
Data Mining with Scatter Search.
199-204
Electronic Edition (link) BibTeX
- Marta E. Zorrilla, Ernestina Menasalvas Ruiz, D. Marín, Eduardo Mora, Javier Segovia:
Web Usage Mining Project for Improving Web-Based Learning Sites.
205-210
Electronic Edition (link) BibTeX
- Josef Küng, Roland Wagner:
Similarity Queries in Data Bases Using Metric Distances - from Modeling Semantics to Its Maintenance.
211-216
Electronic Edition (link) BibTeX
- F. J. Orellana, Francisco Guil, Isabel María del Águila, Samuel Túnez:
A WEB-CASE Tool Prototype for Hybrid Software Development.
217-222
Electronic Edition (link) BibTeX
- María Visitación Hurtado, Nuria Medina-Medina, Lina García-Cabrera, María Luisa Rodríguez-Almendros:
An Augmentative Communication System Based on Adaptive Evolutionary Hypermedia Systems.
223-228
Electronic Edition (link) BibTeX
- Javier de la Mata, José A. Olivas, Jesús Serrano-Guerrero:
The Gaps of the Thesaurus Wordnet Used in Information Retrieval.
229-234
Electronic Edition (link) BibTeX
- Germano Resconi, Javier Alonso Ruiz, Raúl Izquierdo:
Fuzzy Adaptive Objects (Logic of Monitors).
235-240
Electronic Edition (link) BibTeX
- José M. Juárez, José Palma, Manuel Campos, Jose Salort, Antonio Morales Nicolás, Roque Marín:
A Model-Based Architecture for Fuzzy Temporal Diagnosis.
241-246
Electronic Edition (link) BibTeX
- Joaquín Borrego-Díaz, Antonia M. Chávez-González:
Extension of Ontologies Assisted by Automated Reasoning Systems.
247-253
Electronic Edition (link) BibTeX
- Roi Blanco, Alvaro Barreiro:
A Software Architecture for Effective Document Identifier Reassignment.
254-262
Electronic Edition (link) BibTeX
- Abraham Rodríguez-Rodríguez, Francisca Quintana-Dominguez:
An Ontology for Reusing Synthetic Tasks.
263-268
Electronic Edition (link) BibTeX
- Alfonso Bosch, Francisco Guil, Roque Marín:
A Tractable Subclass of Fuzzy Constraint Networks.
269-274
Electronic Edition (link) BibTeX
- Milan Ceska, Bohuslav Krena, Tomás Vojnar:
Parallel State Space Generation and Exploration on Shared-Memory Architectures.
275-280
Electronic Edition (link) BibTeX
- Manfred Mauerkirchner, Gerhard Hoefer:
Towards Automated Controlling of Human Projectworking Based on Multiagent Systems.
281-290
Electronic Edition (link) BibTeX
Cryptography and Spectral Analysis
Computer Vision
- Jose Piedra, Francisco Guindos, Alberto Molina, Manuel Canton:
Pattern Recognition in AVHRR Images by Means of Hibryd and Neuro-fuzzy Systems.
373-378
Electronic Edition (link) BibTeX
- Néstor Falcón, Carlos M. Travieso, Jesús B. Alonso, Miguel A. Ferrer:
Image Processing Techniques for Braille Writing Recognition.
379-385
Electronic Edition (link) BibTeX
- Cástor Mariño, Manuel G. Penedo, Marta Penas:
Retinal Based Authentication via Distributed Web Application.
386-391
Electronic Edition (link) BibTeX
- Rubén Cárdenes, Juan Ruiz-Alzola:
Skeleton Extraction of 2D Objects Using Shock Wavefront Detection.
392-397
Electronic Edition (link) BibTeX
- Modesto Castrillón Santana, Oscar Déniz-Suárez, C. Guerra-Artal, José Isern González:
Cue Combination for Robust Real-Time Multiple Face Detection at Different Resolutions.
398-403
Electronic Edition (link) BibTeX
- Cristian Munteanu, Agostinho C. Rosa, Manuel J. Galán, Enrique Royo:
Evolutionary Color Constancy Algorithm Based on the Gamut Mapping Paradigm.
404-409
Electronic Edition (link) BibTeX
- Min-Soo Jang, Yong-Guk Kim, Sang-Jun Kim, Jeong-Eom Lee, Soek-Joo Lee, Gwi-Tae Park:
Vision Based Automatic Occupant Classification and Pose Recognition for Smart Airbag Deployment.
410-415
Electronic Edition (link) BibTeX
Biocomputing
- Virginia Giorno, Amelia G. Nobile, Luigi M. Ricciardi:
A Wiener Neuronal Model with Refractoriness.
416-425
Electronic Edition (link) BibTeX
- Aniello Buonocore, Ludovico Caputo, Enrica Pirozzi, Luigi M. Ricciardi:
On Myosin II Dynamics: From a Pulsating Ratchet to a Washboard Potential.
426-435
Electronic Edition (link) BibTeX
- Antonio Di Crescenzo, Barbara Martinucci, Enrica Pirozzi:
Feedback Effects in Simulated Stein's Coupled Neurons.
436-446
Electronic Edition (link) BibTeX
- Virginia Giorno, Amelia G. Nobile, Enrica Pirozzi:
Upcrossing First Passage Times for Correlated Gaussian Processes.
447-456
Electronic Edition (link) BibTeX
- Paul Cull:
Convergence of Iterations.
457-466
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:
Semiautomatic Snake-Based Segmentation of Solid Breast Nodules on Ultrasonography.
467-472
Electronic Edition (link) BibTeX
- Erik Pitzer:
Parallel Progressive Multiple Sequence Alignment.
473-482
Electronic Edition (link) BibTeX
- Roberto Moreno-Díaz, Gabriel de Blasio, Arminda Moreno-Díaz:
Concepts and Systems Tools for Modelling Signal Processing in Vertebrate Retina.
483-491
Electronic Edition (link) BibTeX
- Alexis Quesada-Arencibia, Jose Carlos Rodríguez-Rodríguez, Roberto Moreno-Díaz Jr.:
Application of Multichannel Vision Concepts and Mechanisms in an Artificial Industrial Vision System.
492-500
Electronic Edition (link) BibTeX
Intelligent Vehicular Sytems
- Javier Ruiz, Teresa de Pedro, Carlos González, Ricardo García Rosa:
Soft Computing and Geometrical Control for Computer Aided Driving.
501-506
Electronic Edition (link) BibTeX
- Miguel Ángel Sotelo, Jesús Nuevo, Manuel Ocaña, Luis Miguel Bergasa:
A Monocular Solution to Vision-Based ACC in Road Vehicles.
507-512
Electronic Edition (link) BibTeX
- Javier de Lope Asiaín, Darío Maravall:
Multi-objective Dynamic Optimization for Automatic Parallel Parking.
513-518
Electronic Edition (link) BibTeX
- José Eugenio Naranjo, Carlos González, Ricardo García Rosa, Teresa de Pedro:
Electric Power Steering Automation for Autonomous Driving.
519-524
Electronic Edition (link) BibTeX
- Ángel Serrano, Cristina Conde, Licesio J. Rodríguez-Aragón, Raquel Montes Diez, Enrique Cabello:
Computer Vision Application: Real Time Smart Traffic Light.
525-530
Electronic Edition (link) BibTeX
- Miguel Angel Fernández, José M. López-Valles, Antonio Fernández-Caballero, María T. López, José Mira, Ana E. Delgado:
Permanency Memories in Scene Depth Analysis.
531-536
Electronic Edition (link) BibTeX
- Cristina Hilario, Juan Manuel Collado, Jose M. Armingol, Arturo de la Escalera:
Pedestrian Detection for Intelligent Vehicles Based on Active Contour Models and Stereo Vision.
537-542
Electronic Edition (link) BibTeX
- Miguel García-Garrido, Miguel Ángel Sotelo, Ernesto Martín Gorostiza:
Fast Road Sign Detection Using Hough Transform for Assisted Driving of Road Vehicles.
543-548
Electronic Edition (link) BibTeX
Robotic Soccer,
Robotics and Control
- Peter Kopacek:
Advances in Robotics.
549-558
Electronic Edition (link) BibTeX
- Norman Weiss, Bernd Reusch:
Current and Future Trends and Challenges in Robot Soccer.
559-564
Electronic Edition (link) BibTeX
- Bohumil Horák, Marek Obitko, Jan Smid, Václav Snásel:
Strategy and Communication in Robotic Soccer Game.
565-570
Electronic Edition (link) BibTeX
- Manuel Palomo, Francisco-Jesús Martín-Mateos, José-Antonio Alonso:
Rete Algorithm Applied to Robotic Soccer.
571-576
Electronic Edition (link) BibTeX
- Jochen Pfalzgraf, Bernhard Mitterauer:
Towards a Biomathematical Model of Intentional Autonomous Multiagent Systems.
577-583
Electronic Edition (link) BibTeX
- Peter Kopacek, Edmund Schierer, Markus Wuerzl:
A Controller Network for a Humanoid Robot.
584-589
Electronic Edition (link) BibTeX
- José Luis Fernández-Pérez, Antonio Carlos Domínguez-Brito, Daniel Hernández-Sosa, Jorge Cabrera-Gámez:
Programming by Integration in Robotics.
590-595
Electronic Edition (link) BibTeX
- Roberto Therón, Vidal Moreno, Belén Curto, Francisco J. Blanco:
A Mathematical Formalism for the Evaluation of C-Space for Redundant Robots.
596-601
Electronic Edition (link) BibTeX
- Johann Edtmayr:
Global Modal Logics for Multiagent Systems: A Logical Fibering Approach.
602-607
Electronic Edition (link) BibTeX
- Jesús Rodríguez-Millán, Carla González, Anna Patete:
Improved Non-standard Discretization Methods for Nonlinear Dynamical Control Systems.
608-613
Electronic Edition (link) BibTeX
- Manuel Berenguel, Cristina M. Cirre, Ryszard Klempous, Henryk Maciejewski, Maciej Nikodem, Jan Nikodem, Imre J. Rudas, Loreto Valenzuela:
Hierarchical Control of a Distributed Solar Collector Field.
614-620
Electronic Edition (link) BibTeX
- Manuel Berenguel, Ryszard Klempous, Henryk Maciejewski, Jan Nikodem, Maciej Nikodem, Loreto Valenzuela:
Explanatory Analysis of Data from a Distributed Solar Collector Field.
621-626
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:11:07 2009
by Michael Ley (ley@uni-trier.de)
