Table of Contents

• On the Physical Formal and Semantic Frontiers Between Human Knowing and Machine KnowingJosé Mira. 1-8 [doi]
• Approximation Problems CategoriesLiara Aparecida dos Santos Leal, Dalcidio Moraes Claudio, Laira Vieira Toscani, Paulo Blauth Menezes. 9-14 [doi]
• Computation of Partial Automata Through Span CompositionKarina Roggia, Marnes Hoff, Paulo Blauth Menezes. 15-20 [doi]
• Degenerate Arrays: A Framework for Uncertain Data TablesMargaret Miró-Julià. 21-26 [doi]
• Neural Network Sensitivity Analysis Applied for the Reduction of the Sensor MatrixPrzemyslaw Szecówka, Andrzej Szczurek, Maciej A. Mazurowski, Benedykt Licznerski, Franz Pichler. 27-32 [doi]
• Fuzzy Modeling for Coal Seams A Case Study for a Hard-Coal MineJosé Antonio Martin H., Teresa de Pedro, Carlos González, Ricardo García Rosa, Luís Argüelles, Jose Rivas, Javier Toraño. 33-37 [doi]
• Optimization of a Class of Uncertain Systems Based on Uncertain VariablesZdzislaw Bubnicki. 38-43 [doi]
• Computational Simulation of Categorical ConstructionsRodrigo C. Vieira, Paulo Blauth Menezes. 44-49 [doi]
• Composing Transitions into Transactions in UML DiagramsJúlio Henrique Araújo Pereira Machado, Paulo Blauth Menezes. 50-55 [doi]
• Theory-Building with System Dynamics: Principles and PracticesMarkus Schwaninger, Thomas Hamann. 56-62 [doi]
• Ontology Integration for Statistical InformationWilfried Grossmann, Markus Moschner. 63-68 [doi]
• On Recursive Functions and Well-Founded Relations in the Calculus of ConstructionsJosé Luis Freire, Enrique Freire Brañas, Antonio Blanco. 69-80 [doi]
• Longest Sorted Sequence Algorithm for Parallel Text AlignmentTiago Ildefonso, Gabriel Lopes. 81-90 [doi]
• Information Retrieval and Large Text Structured CorporaFrancisco-Mario Barcala, Miguel A. Molinero, Eva Domínguez. 91-100 [doi]
• Meteorological Image DescriptorsJosé Luis Crespo, Pilar Bernardos, Marta E. Zorrilla, Eduardo Mora. 101-110 [doi]
• Towards a Certified and Efficient Computing of Gröbner BasesJ. Santiago Jorge, Víctor M. Gulías, José Luis Freire, Juan J. Sánchez. 111-120 [doi]
• CheapTB: A Low Cost of Operation Distributed FilesystemJavier París, Víctor M. Gulías, Carlos Abalde. 121-130 [doi]
• Spelling Correction on Technical DocumentsManuel Vilares Ferro, Juan Otero, Jorge Graña Gil. 131-139 [doi]
• Verification of Language Based Fault-ToleranceClara Benac Earle, Lars-Åke Fredlund. 140-149 [doi]
• Applying Stacking and Corpus Transformation to a Chunking TaskJosé A. Troyano, Víctor J. Díaz, Fernando Enríquez, Vicente Carrillo, Fermín Cruz. 150-158 [doi]
• Extracting Computer Algebra Programs from StatementsJesús Aransay, Clemens Ballarin, Julio Rubio. 159-168 [doi]
• Integrating Syntactic Information by Means of Data Fusion TechniquesFrancisco J. Ribadas, Jesús Vilares Ferro, Miguel A. Alonso. 169-178 [doi]
• Unsupervised Learning in Information Retrieval Using NOW ArchitecturesElías F. Combarro, José Ranilla, Ricardo Mones, N. Vázquez, Irene Díaz, Elena Montañés. 179-188 [doi]
• An Iterative Method for Mining Frequent Temporal PatternsFrancisco Guil, Antonio B. Bailón, Alfonso Bosch, Roque Marín. 189-198 [doi]
• Data Mining with Scatter SearchIgnacio 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. 199-204 [doi]
• Web Usage Mining Project for Improving Web-Based Learning SitesMarta E. Zorrilla, Ernestina Menasalvas Ruiz, D. Marín, Eduardo Mora, Javier Segovia. 205-210 [doi]
• Similarity Queries in Data Bases Using Metric Distances - from Modeling Semantics to Its MaintenanceJosef Küng, Roland Wagner. 211-216 [doi]
• A WEB-CASE Tool Prototype for Hybrid Software DevelopmentF. J. Orellana, Francisco Guil, Isabel María del Águila, Samuel Túnez. 217-222 [doi]
• An Augmentative Communication System Based on Adaptive Evolutionary Hypermedia SystemsMaría Visitación Hurtado, Nuria Medina-Medina, Lina García-Cabrera, María Luisa Rodríguez-Almendros. 223-228 [doi]
• The Gaps of the Thesaurus Wordnet Used in Information RetrievalJavier de la Mata, José A. Olivas, Jesús Serrano-Guerrero. 229-234 [doi]
• Fuzzy Adaptive Objects (Logic of Monitors)Germano Resconi, Javier Alonso Ruiz, Raúl Izquierdo. 235-240 [doi]
• A Model-Based Architecture for Fuzzy Temporal DiagnosisJosé M. Juárez, José Palma, Manuel Campos, Jose Salort, Antonio Morales Nicolás, Roque Marín. 241-246 [doi]
• Extension of Ontologies Assisted by Automated Reasoning SystemsJoaquín Borrego-Díaz, Antonia M. Chávez-González. 247-253 [doi]
• A Software Architecture for Effective Document Identifier ReassignmentRoi Blanco, Alvaro Barreiro. 254-262 [doi]
• An Ontology for Reusing Synthetic TasksAbraham Rodríguez-Rodríguez, Francisca Quintana-Dominguez. 263-268 [doi]
• A Tractable Subclass of Fuzzy Constraint NetworksAlfonso Bosch, Francisco Guil, Roque Marín. 269-274 [doi]
• Parallel State Space Generation and Exploration on Shared-Memory ArchitecturesMilan Ceska, Bohuslav Krena, Tomás Vojnar. 275-280 [doi]
• Towards Automated Controlling of Human Projectworking Based on Multiagent SystemsManfred Mauerkirchner, Gerhard Hoefer. 281-290 [doi]
• Tree-Structured Legendre Multi-waveletsEkaterina Pogossova, Karen Egiazarian, Atanas P. Gotchev, Jaakko Astola. 291-300 [doi]
• Remarks on Calculation of Autocorrelation on Finite Dyadic Groups by Local Transformations of Decision DiagramsRadomir S. Stankovic, Mark G. Karpovsky. 301-310 [doi]
• A New Pseudo-Random Generator Based on Gollmann Cascades of Baker-Register-MachinesDominik Jochinger, Franz Pichler. 311-316 [doi]
• An Excellent Permutation Operator for Cryptographic ApplicationsJosef Scharinger. 317-326 [doi]
• Fault Cryptanalysis of ElGamal Signature SchemeJanusz Biernat, Maciej Nikodem. 327-336 [doi]
• Complexity-Theoretical Approaches to the Design and Analysis of Cryptographical Boolean FunctionsJuan David González Cobas, José Antonio López Brugos. 337-345 [doi]
• Algorithm for Proving the Knowledge of an Independent Vertex SetPino Caballero-Gil, Candelaria Hernández-Goya. 346-354 [doi]
• Improvement of the Edit Distance Attack to Clock-Controlled LFSR-Based Stream CiphersPino Caballero-Gil, Amparo Fúster-Sabater. 355-364 [doi]
• Protocol Analysis for Concrete EnvironmentsDieter Gollmann. 365-372 [doi]
• Pattern Recognition in AVHRR Images by Means of Hibryd and Neuro-fuzzy SystemsJose Piedra, Francisco Guindos, Alberto Molina, Manuel Canton. 373-378 [doi]
• Image Processing Techniques for Braille Writing RecognitionNéstor Falcón, Carlos M. Travieso, Jesús B. Alonso, Miguel A. Ferrer. 379-385 [doi]
• Retinal Based Authentication via Distributed Web ApplicationCástor Mariño, Manuel G. Penedo, Marta Penas. 386-391 [doi]
• Skeleton Extraction of 2D Objects Using Shock Wavefront DetectionRubén Cárdenes, Juan Ruiz-Alzola. 392-397 [doi]
• Cue Combination for Robust Real-Time Multiple Face Detection at Different ResolutionsModesto Castrillón Santana, Oscar Déniz-Suárez, C. Guerra-Artal, José Isern González. 398-403 [doi]
• Evolutionary Color Constancy Algorithm Based on the Gamut Mapping ParadigmCristian Munteanu, Agostinho C. Rosa, Manuel J. Galán, Enrique Royo. 404-409 [doi]
• Vision Based Automatic Occupant Classification and Pose Recognition for Smart Airbag DeploymentMin-Soo Jang, Yong-Guk Kim, Sang-Jun Kim, Jeong-Eom Lee, Soek-Joo Lee, Gwi-Tae Park. 410-415 [doi]
• A Wiener Neuronal Model with RefractorinessVirginia Giorno, Amelia G. Nobile, Luigi M. Ricciardi. 416-425 [doi]
• On Myosin II Dynamics: From a Pulsating Ratchet to a Washboard PotentialAniello Buonocore, Ludovico Caputo, Enrica Pirozzi, Luigi M. Ricciardi. 426-435 [doi]
• Feedback Effects in Simulated Stein s Coupled NeuronsAntonio Di Crescenzo, Barbara Martinucci, Enrica Pirozzi. 436-446 [doi]
• Upcrossing First Passage Times for Correlated Gaussian ProcessesVirginia Giorno, Amelia G. Nobile, Enrica Pirozzi. 447-456 [doi]
• Convergence of IterationsPaul Cull. 457-466 [doi]
• Semiautomatic Snake-Based Segmentation of Solid Breast Nodules on UltrasonographyMiguel 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. 467-472 [doi]
• Parallel Progressive Multiple Sequence AlignmentErik Pitzer. 473-482 [doi]
• Concepts and Systems Tools for Modelling Signal Processing in Vertebrate RetinaRoberto Moreno-Díaz, Gabriel de Blasio, Arminda Moreno-Díaz. 483-491 [doi]
• Application of Multichannel Vision Concepts and Mechanisms in an Artificial Industrial Vision SystemAlexis Quesada-Arencibia, Jose Carlos Rodríguez-Rodríguez, Roberto Moreno-Díaz Jr.. 492-500 [doi]
• Soft Computing and Geometrical Control for Computer Aided DrivingJavier Ruiz, Teresa de Pedro, Carlos González, Ricardo García Rosa. 501-506 [doi]
• A Monocular Solution to Vision-Based ACC in Road VehiclesMiguel Ángel Sotelo, Jesús Nuevo, Manuel Ocaña, Luis Miguel Bergasa. 507-512 [doi]
• Multi-objective Dynamic Optimization for Automatic Parallel ParkingJavier de Lope Asiaín, Darío Maravall. 513-518 [doi]
• Electric Power Steering Automation for Autonomous DrivingJosé Eugenio Naranjo, Carlos González, Ricardo García Rosa, Teresa de Pedro. 519-524 [doi]
• Computer Vision Application: Real Time Smart Traffic LightÁngel Serrano, Cristina Conde, Licesio J. Rodríguez-Aragón, Raquel Montes Diez, Enrique Cabello. 525-530 [doi]
• Permanency Memories in Scene Depth AnalysisMiguel Angel Fernández, José M. López-Valles, Antonio Fernández-Caballero, María T. López, José Mira, Ana E. Delgado. 531-536 [doi]
• Pedestrian Detection for Intelligent Vehicles Based on Active Contour Models and Stereo VisionCristina Hilario, Juan Manuel Collado, Jose M. Armingol, Arturo de la Escalera. 537-542 [doi]
• Fast Road Sign Detection Using Hough Transform for Assisted Driving of Road VehiclesMiguel García-Garrido, Miguel Ángel Sotelo, Ernesto Martín Gorostiza. 543-548 [doi]
• Advances in RoboticsPeter Kopacek. 549-558 [doi]
• Current and Future Trends and Challenges in Robot SoccerNorman Weiss, Bernd Reusch. 559-564 [doi]
• Strategy and Communication in Robotic Soccer GameBohumil Horak, Marek Obitko, Jan Smid, Václav Snásel. 565-570 [doi]
• Rete Algorithm Applied to Robotic SoccerManuel Palomo, Francisco-Jesús Martín-Mateos, José-Antonio Alonso. 571-576 [doi]
• Towards a Biomathematical Model of Intentional Autonomous Multiagent SystemsJochen Pfalzgraf, Bernhard Mitterauer. 577-583 [doi]
• A Controller Network for a Humanoid RobotPeter Kopacek, Edmund Schierer, Markus Wuerzl. 584-589 [doi]
• Programming by Integration in RoboticsJosé Luis Fernández-Pérez, Antonio Carlos Domínguez-Brito, Daniel Hernández-Sosa, Jorge Cabrera-Gámez. 590-595 [doi]
• A Mathematical Formalism for the Evaluation of C-Space for Redundant RobotsRoberto Therón, Vidal Moreno, Belén Curto, Francisco J. Blanco. 596-601 [doi]
• Global Modal Logics for Multiagent Systems: A Logical Fibering ApproachJohann Edtmayr. 602-607 [doi]
• Improved Non-standard Discretization Methods for Nonlinear Dynamical Control SystemsJesús Rodríguez-Millán, Carla González, Anna Patete. 608-613 [doi]
• Hierarchical Control of a Distributed Solar Collector FieldManuel Berenguel, Cristina M. Cirre, Ryszard Klempous, Henryk Maciejewski, Maciej Nikodem, Jan Nikodem, Imre J. Rudas, Loreto Valenzuela. 614-620 [doi]
• Explanatory Analysis of Data from a Distributed Solar Collector FieldManuel Berenguel, Ryszard Klempous, Henryk Maciejewski, Jan Nikodem, Maciej Nikodem, Loreto Valenzuela. 621-626 [doi]