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. Springer 2005 Lecture Notes in Computer Science ISBN 3-540-29002-8
Formal Approaches in Modelling
- José Mira: On the Physical Formal and Semantic Frontiers Between Human Knowing and Machine Knowing. 1-8
- Liara Aparecida dos Santos Leal, Dalcidio Moraes Claudio, Laira Vieira Toscani, Paulo Blauth Menezes: Approximation Problems Categories. 9-14
- Karina Roggia, Marnes Hoff, Paulo Blauth Menezes: Computation of Partial Automata Through Span Composition. 15-20
- Margaret Miró-Julià: Degenerate Arrays: A Framework for Uncertain Data Tables. 21-26
- 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
- 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
- Zdzislaw Bubnicki: Optimization of a Class of Uncertain Systems Based on Uncertain Variables. 38-43
- Rodrigo C. Vieira, Paulo Blauth Menezes: Computational Simulation of Categorical Constructions. 44-49
- Júlio Henrique Araújo Pereira Machado, Paulo Blauth Menezes: Composing Transitions into Transactions in UML Diagrams. 50-55
- Markus Schwaninger, Thomas Hamann: Theory-Building with System Dynamics: Principles and Practices. 56-62
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
- Tiago Ildefonso, Gabriel Pereira Lopes: Longest Sorted Sequence Algorithm for Parallel Text Alignment. 81-90
- Francisco-Mario Barcala, Miguel A. Molinero, Eva Domínguez: Information Retrieval and Large Text Structured Corpora. 91-100
- José Luis Crespo, Pilar Bernardos, Marta E. Zorrilla, Eduardo Mora: Meteorological Image Descriptors. 101-110
- 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
- Javier París, Víctor M. Gulías, Carlos Abalde: CheapTB: A Low Cost of Operation Distributed Filesystem. 121-130
- Manuel Vilares Ferro, Juan Otero, Jorge Graña Gil: Spelling Correction on Technical Documents. 131-139
- José A. Troyano, Víctor J. Díaz, Fernando Enríquez, Vicente Carrillo, Fermín L. Cruz: Applying Stacking and Corpus Transformation to a Chunking Task. 150-158
- Jesús Aransay, Clemens Ballarin, Julio Rubio: Extracting Computer Algebra Programs from Statements. 159-168
- Francisco J. Ribadas, Jesús Vilares Ferro, Miguel A. Alonso: Integrating Syntactic Information by Means of Data Fusion Techniques. 169-178
- 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
- Francisco Guil, Antonio B. Bailón, Alfonso Bosch, Roque Marín: An Iterative Method for Mining Frequent Temporal Patterns. 189-198
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
- 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
- Josef Küng, Roland Wagner: Similarity Queries in Data Bases Using Metric Distances - from Modeling Semantics to Its Maintenance. 211-216
- Francisco Javier Orellana, Francisco Guil, Isabel María del Águila, Samuel Túnez: A WEB-CASE Tool Prototype for Hybrid Software Development. 217-222
- 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
- Javier de la Mata, José A. Olivas, Jesús Serrano-Guerrero: The Gaps of the Thesaurus Wordnet Used in Information Retrieval. 229-234
- Germano Resconi, Javier Alonso Ruiz, Raúl Izquierdo: Fuzzy Adaptive Objects (Logic of Monitors). 235-240
- José M. Juárez, José T. Palma, Manuel Campos, Jose Salort, Antonio Morales Nicolás, Roque Marín: A Model-Based Architecture for Fuzzy Temporal Diagnosis. 241-246
- Joaquín Borrego-Díaz, Antonia M. Chávez-González: Extension of Ontologies Assisted by Automated Reasoning Systems. 247-253
- Roi Blanco, Alvaro Barreiro: A Software Architecture for Effective Document Identifier Reassignment. 254-262
- Abraham Rodríguez-Rodríguez, Francisca Quintana-Dominguez: An Ontology for Reusing Synthetic Tasks. 263-268
- Alfonso Bosch, Francisco Guil, Roque Marín: A Tractable Subclass of Fuzzy Constraint Networks. 269-274
- Milan Ceska, Bohuslav Krena, Tomás Vojnar: Parallel State Space Generation and Exploration on Shared-Memory Architectures. 275-280
- Manfred Mauerkirchner, Gerhard Hoefer: Towards Automated Controlling of Human Projectworking Based on Multiagent Systems. 281-290
Cryptography and Spectral Analysis
- Ekaterina Pogossova, Karen Egiazarian, Atanas P. Gotchev, Jaakko Astola: Tree-Structured Legendre Multi-wavelets. 291-300
- Radomir S. Stankovic, Mark G. Karpovsky: Remarks on Calculation of Autocorrelation on Finite Dyadic Groups by Local Transformations of Decision Diagrams. 301-310
- Dominik Jochinger, Franz Pichler: A New Pseudo-Random Generator Based on Gollmann Cascades of Baker-Register-Machines. 311-316
- Josef Scharinger: An Excellent Permutation Operator for Cryptographic Applications. 317-326
- Juan David González Cobas, José Antonio López Brugos: Complexity-Theoretical Approaches to the Design and Analysis of Cryptographical Boolean Functions. 337-345
- Pino Caballero-Gil, Candelaria Hernández-Goya: Algorithm for Proving the Knowledge of an Independent Vertex Set. 346-354
- Pino Caballero-Gil, Amparo Fúster-Sabater: Improvement of the Edit Distance Attack to Clock-Controlled LFSR-Based Stream Ciphers. 355-364
- Dieter Gollmann: Protocol Analysis for Concrete Environments. 365-372
Computer Vision
- Jose A. Piedra, Francisco Guindos, Alberto Molina, Manuel Canton: Pattern Recognition in AVHRR Images by Means of Hibryd and Neuro-fuzzy Systems. 373-378
- Néstor Falcón, Carlos M. Travieso, Jesús B. Alonso, Miguel A. Ferrer: Image Processing Techniques for Braille Writing Recognition. 379-385
- Cástor Mariño, Manuel G. Penedo, Marta Penas: Retinal Based Authentication via Distributed Web Application. 386-391
- Rubén Cárdenes, Juan Ruiz-Alzola: Skeleton Extraction of 2D Objects Using Shock Wavefront Detection. 392-397
- Modesto Castrillón Santana, Oscar Déniz-Suárez, Cayetano Guerra-Artal, José Isern González: Cue Combination for Robust Real-Time Multiple Face Detection at Different Resolutions. 398-403
- Cristian Munteanu, Agostinho C. Rosa, Manuel J. Galán, Enrique Royo: Evolutionary Color Constancy Algorithm Based on the Gamut Mapping Paradigm. 404-409
- 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
Biocomputing
- Virginia Giorno, Amelia G. Nobile, Luigi M. Ricciardi: A Wiener Neuronal Model with Refractoriness. 416-425
- Aniello Buonocore, Ludovico Caputo, Enrica Pirozzi, Luigi M. Ricciardi: On Myosin II Dynamics: From a Pulsating Ratchet to a Washboard Potential. 426-435
- Antonio Di Crescenzo, Barbara Martinucci, Enrica Pirozzi: Feedback Effects in Simulated Stein's Coupled Neurons. 436-446
- Virginia Giorno, Amelia G. Nobile, Enrica Pirozzi: Upcrossing First Passage Times for Correlated Gaussian Processes. 447-456
- Paul Cull: Convergence of Iterations. 457-466
- 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
- Erik Pitzer: Parallel Progressive Multiple Sequence Alignment. 473-482
- Roberto Moreno-Díaz, Gabriel de Blasio, Arminda Moreno-Díaz: Concepts and Systems Tools for Modelling Signal Processing in Vertebrate Retina. 483-491
- 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
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
- Miguel Ángel Sotelo, Jesús Nuevo, Manuel Ocaña, Luis Miguel Bergasa: A Monocular Solution to Vision-Based ACC in Road Vehicles. 507-512
- Javier de Lope Asiaín, Darío Maravall: Multi-objective Dynamic Optimization for Automatic Parallel Parking. 513-518
- José Eugenio Naranjo, Carlos González, Ricardo García Rosa, Teresa de Pedro: Electric Power Steering Automation for Autonomous Driving. 519-524
- Á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
- 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
- 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
- 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
Robotic Soccer, Robotics and Control
- Peter Kopacek: Advances in Robotics. 549-558
- Bohumil Horák, Marek Obitko, Jan Smid, Václav Snásel: Strategy and Communication in Robotic Soccer Game. 565-570
- Manuel Palomo, Francisco-Jesús Martín-Mateos, José-Antonio Alonso: Rete Algorithm Applied to Robotic Soccer. 571-576
- Jochen Pfalzgraf, Bernhard Mitterauer: Towards a Biomathematical Model of Intentional Autonomous Multiagent Systems. 577-583
- 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
- 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
- Johann Edtmayr: Global Modal Logics for Multiagent Systems: A Logical Fibering Approach. 602-607
- Jesús Rodríguez-Millán, Carla González, Anna Patete: Improved Non-standard Discretization Methods for Nonlinear Dynamical Control Systems. 608-613
- 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
- Manuel Berenguel, Ryszard Klempous, Henryk Maciejewski, Jan Nikodem, Maciej Nikodem, Loreto Valenzuela: Explanatory Analysis of Data from a Distributed Solar Collector Field. 621-626
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team