default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9. EUROCAST 2003: Las Palmas de Gran Canaria, Canary Islands, Spain
- Roberto Moreno-Díaz, Franz Pichler:
Computer Aided Systems Theory - EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revised Selected Papers. Lecture Notes in Computer Science 2809, Springer 2003, ISBN 3-540-20221-8
Complex Systems Tools and Applications
- Franz Pichler:
On Modeling and Simulation of Flows of Water by 3D-Cellular Automata. 1-9 - Rudolf F. Albrecht, Gábor Németh:
Representation and Processing of Complex Knowledge. 10-18 - Juan David González Cobas, José Antonio López Brugos:
How Many Rounds to KO?, or Complexity Increase by Cryptographic Map Iteration. 19-25 - Cristina Fernández, Matilde Santos:
A Non-standard Genetic Algorithm Approach to Solve Constrained School Timetabling Problems. 26-37 - Zdzislaw Bubnicki:
Application of Uncertain Variables to Task and Resource Distribution in Complex Computer Systems. 38-49 - María Luisa Rodríguez-Almendros, María José Rodríguez-Fórtiz, Miguel Gea Megías:
A Framework for Modelling the User Interaction with a Complex System. 50-61 - Liara Aparecida dos Santos Leal, Dalcidio Moraes Claudio, Laira Vieira Toscani, Paulo Blauth Menezes:
A Categorical Approach to NP-Hard Optimization Problems. 62-73
Logic and Formal Tools
- Josep Miró:
A Formulation for Language Independent Prelogical Deductive Inference. 74-82 - Takuhei Shimogawa:
Multi-agent Simulation in Random Game Generator. 83-91 - Margaret Miró-Julià:
The Zero Array: A Twilight Zone. 92-103 - Germano Resconi:
Invariants and Symmetries among Adaptive Agents. 104-114 - Miguel Angel Gutiérrez-Naranjo
, José A. Alonso-Jiménez, Joaquín Borrego-Díaz:
Generalizing Programs vis Subsumption. 115-126
Social and Intelligent Systems
- Markus Schwaninger:
Modeling with Archetypes: An Effective Approach to Dealing with Complexity. 127-138 - Ignacio J. Benítez, Pedro Albertos, Ester Barberá, José-Luis Díez, Maite Sarrió:
Equal Opportunities Analysis in the University: The Gender Perspective. 139-150 - Arminda Moreno-Díaz, Miguel A. Virto, Jacinto Martín, David Ríos Insua:
Approximate Solutions to Semi Markov Decision Processes through Markov Chain Montecarlo Methods. 151-162 - Witold Jacak, Karin Pröll, Jerzy W. Rozenblit:
Knowledge Base for Evidence Based Medicine with Bioinformatics Components. 163-173 - Andrzej Jablonski, Ryszard Klempous, Benedykt Licznerski:
Diversified Approach to Methdology and Technology in Distributed Intelligent Building Systems. 174-184 - Francisco Guil, Alfonso Bosch, Samuel Túnez, Roque Marín:
Temporal Approaches in Data Mining. A Case Study in Agricultural Environment. 185-195 - Nuria Medina-Medina, Fernando Molina-Ortiz, Lina García-Cabrera, José Parets-Llorca:
Personalized Guided Routes in an Adaptive Evolutionary Hypermedia System. 196-207 - Manuel Campos, José T. Palma, B. Llamas, A. González, M. Menárguez, Roque Marín:
Temporal Data Management and Knowledge Acquisition Issues in Medical Decision Support Systems. 208-219
Distributed Computing
- Carlos Abalde, Víctor M. Gulías, José Luis Freire, Juan J. Sánchez, J. García-Tizón:
Development of a Scalable, Fault Tolerant, and Low Cost Cluster-Based e-Payment System with a Distributed Functional Kernel. 220-230 - Pedro Álvarez, José A. Bañares, Eloy J. Mata, Pedro R. Muro-Medrano, Julio Rubio:
Generative Communication with Semantic Matching in Distributed Heterogeneous Environments. 231-242 - Cláudio Naoto Fuzitaki, Paulo Blauth Menezes, Júlio Henrique Araújo Pereira Machado, Simone André da Costa:
Mapping Nautilus Language into Java: Towards a Specification and Programming Environment for Distributed Systems. 243-252 - Cástor Mariño, Carlos Abalde, Manuel G. Penedo, Marta Penas:
Design of a Medical Application Using XML Based Data Interchange. 253-264 - Milan Ceska, Ludek Hasa, Tomás Vojnar:
Partial-Order Reduction in Model Checking Object-Oriented Petri Nets. 265-278 - José Luis Freire-Nistal, Antonio Blanco Ferro, Víctor M. Gulías, José E. Freire Brañas:
On the Strong Co-induction in Coq. 279-290
Autonomous and Control Systems
- José Eugenio Naranjo, Jesús Reviejo, Carlos González, Ricardo García Rosa, Teresa de Pedro:
A Throttle and Brake Fuzzy Controller: Towards the Automatic Car. 291-301 - Miguel Ángel Sotelo, Luis Miguel Bergasa, Ramón Flores, Manuel Ocaña, Marie-Hélène Doussin, Luis Magdalena, Joerg Kalwa, Anders L. Madsen, Michel Perrier, Damien Roland Pietro Corigliano:
ADVOCATE II: ADVanced On-Board Diagnosis and Control of Autonomous Systems II. 302-313 - Miguel Ángel Patricio Guisado, Darío Maravall Gómez-Allende:
Segmentation of Traffic Images for Automatic Car Driving. 314-325 - Miguel Ángel Sotelo, Miguel Ángel García, Ramón Flores:
Vision Based Intelligent System for Autonomous and Assisted Downtown Driving. 326-336 - José Ignacio Suárez, Blas M. Vinagre, Antonio José Calderón, Concepción Alicia Monje Micharet, Yangquan Chen:
Using Fractional Calculus for Lateral and Longitudinal Conrol of Autonomous Vehicles. 337-348
Computational Methods in Biomathematics
- Paul Cull, Tai Hsu:
Recent Advances in the Walking Tree Method for Biological Sequence Alignment. 349-359 - Virginia Giorno, Amelia G. Nobile, Enrica Pirozzi, Luigi M. Ricciardi:
Towards Some Computational Problems Arising in Biological Modeling. 360-371 - Daniel Gudbjartsson, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen:
Single Point Algorithms in Genetic Linkage Analysis. 372-383 - Michael Affenzeller, Stefan Wagner:
A Self-adaptive Model for Selective Pressure Handling within the Theory of Genetic Algorithms. 384-393 - Elvira Di Nardo, Amelia G. Nobile, Enrica Pirozzi, Luigi M. Ricciardi:
Computational Methods for the Evaluation of Neuron's Firing Densities. 394-403 - Rachel Norman, Carron Shankland:
Developing the Use of Process Algebra in the Derivation and Analysis of Mathematical Models of Infectious Disease. 404-414 - Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Roberto Marangoni, Fabio Martinelli:
On Representing Biological Systems through Multiset Rewriting. 415-426
Natural and Artificial Neural Nets
- José Mira, Miguel Angel Fernández, María T. López, Ana E. Delgado García, Antonio Fernández-Caballero:
A Model of Neural Inspiration for Local Accumulative Computation. 427-435 - Darío Maravall Gómez-Allende, Javier de Lope Asiaín:
Emergent Reasoning from Coordination of Perception and Action: An Example Taken from Robotics. 436-447 - Javier de Lope Asiaín, Rafaela González-Careaga, Telmo Zarraonandia, Darío Maravall Gómez-Allende:
Inverse Kinematics for Humanoid Robots Using Artificial Neural Networks. 448-459 - José Mira, Ana E. Delgado García, Maria Taboada:
Neurosymbolic Integration: The Knowledge Level Approach. 460-470 - José Carlos Rodríguez-Rodríguez, Alexis Quesada-Arencibia, Roberto Moreno-Díaz Jr., K. Nicholas Leibovic:
On Parallel Channel Modeling of Retinal Processes. 471-481 - Elisa Alghisi Manganello, Germano Resconi:
Geometric Image of Statistical Learning (Morphogenetic Neuron). 482-493 - Roberto Moreno-Díaz, Gabriel de Blasio:
Systems and Computational Tools for Neuronal Retinal Models. 494-505
Neuroinformatics and Neuroimaging
- Marcos Martín-Fernández, Raúl San José Estépar, Carl-Fredrik Westin, Carlos Alberola-López:
A Novel Gauss-Markov Random Field Approach for Regularization of Diffusion Tensor Maps. 506-517 - Anders Brun, Hae-Jeong Park, Hans Knutsson, Carl-Fredrik Westin:
Coloring of DT-MRI Fiber Traces Using Laplacian Eigenmaps. 518-529 - David Tschumperlé, Rachid Deriche:
DT-MRI Images: Estimation, Regularization, and Application. 530-541 - Rubén Cárdenes, Simon K. Warfield, Elsa M. Macías, Jose Aurelio Santana, Juan Ruiz-Alzola:
An Efficient Algorithm for Multiple Sclerosis Segmentation from Brain MRI. 542-551 - Bertrand Thirion, Olivier D. Faugeras:
Dynamical Components Analysis of FMRI Data: A Second Order Solution. 552-563 - Carl-Fredrik Westin, Hans Knutsson:
Tensor Field Regularization Using Normalized Convolution. 564-572 - Abhir Bhalerao, Constantino Carlos Reyes-Aldasoro:
Volumetric Texture Description and Discriminant Feature Selection for MRI. 573-584 - Lisa Jonasson, Patric Hagmann, Xavier Bresson, Reto Meuli, Olivier Cuisenaire, Jean-Philippe Thiran:
White Matter Mapping in DT-MRI Using Geometric Flows. 585-596 - Miguel A. Rodríguez-Florido, Rubén Cárdenes, Carl-Fredrik Westin, Carlos Alberola-López, Juan Ruiz-Alzola:
Anisotropic Regularization of Posterior Probability Maps Using Vector Space Projections. Application to MRI Segmentation. 597-606 - Eduardo Suárez, Jose Aurelio Santana, Eduardo Rovaris, Carl-Fredrik Westin, Juan Ruiz-Alzola:
Fast Entropy-Based Nonrigid Registration. 607-615
Image Processing
- Luis Álvarez, Karina Baños, Carmelo Cuenca, Julio Esclarín, Javier Sánchez Pérez:
3D Reconstruction from a Vascular Tree Model. 616-626 - Isabel M. Flores-Parra, J. Fernando Bienvenido:
ESKMod, a CommonKADS Knowledge Model Integrating Multiple Classic Edge Based Segmentation Algorithms. 627-638 - Miguel Alemán-Flores, Luis Álvarez-León, Roberto Moreno-Díaz Jr.:
Frequency Analysis of Contour Orientation Functions for Shape Representation and Motion Analysis. 639-650 - José Luis Crespo, Pilar Bernardos, Marta E. Zorrilla, Eduardo Mora:
Preprocessing Phase in the PIETSI Project (Prediction of Time Evolution Images Using Intelligent Systems). 651-659 - Josef Scharinger:
Devices to Preserve Watermark Security in Image Printing and Scanning. 660-669
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 21:12 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:
