default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10. EUROCAST 2005: Las Palmas de Gran Canaria, Canary Islands, Spain
- Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia:
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
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 Girardi 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 Martín 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 - Wilfried Grossmann, Markus Moschner:
Ontology Integration for Statistical Information. 63-68
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 - Clara Benac Earle, Lars-Åke Fredlund:
Verification of Language Based Fault-Tolerance. 140-149 - 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 R. 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, 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 O. 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 - Janusz Biernat, Maciej Nikodem:
Fault Cryptanalysis of ElGamal Signature Scheme. 327-336 - 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 Cantón:
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 Moreno, Enrique Rubio 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, Luigia 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, José 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 Ángel García Garrido, Miguel Ángel Sotelo Vázquez, 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 - Norman Weiss, Bernd Reusch:
Current and Future Trends and Challenges in Robot Soccer. 559-564 - Bohumil Horák, Marek Obitko, Jan Smid, Václav Snásel:
Strategy and Communication in Robotic Soccer Game. 565-570 - Manuel Palomo-Duarte, Francisco-Jesús Martín-Mateos, José-Antonio Alonso:
Rete Algorithm Applied to Robotic Soccer. 571-576 - Jochen Pfalzgraf, Bernhard J. Mitterauer:
Towards a Biomathematical Model of Intentional Autonomous Multiagent Systems. 577-583 - Peter Kopacek, Edmund Schierer, Markus Wuerzl:
A Controller Network for a Humanoid Robot. 584-589 - 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
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-14 00:01 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:
