III Jornadas de Informática. Actas: El Puerto de Santa María (Cádiz), 14 al 18 de julio 1.997 [sic]

Juan Carlos Torres Cantero

Ayuda

III Jornadas de Informática. Actas: El Puerto de Santa María (Cádiz), 14 al 18 de julio 1.997 [sic]

Imagen de portada del libro III Jornadas de Informática. Actas

Información General

Autores: Juan Carlos Torres Cantero (dir. congr.)
Editores: [Sevilla?] : Asociación Española de Informática y Automática,[1997]
Año de publicación: 1997
País: España
Idioma: español
ISBN: 84-8498-463-X
Recoge los contenidos presentados a: Jornadas de Informática (3. 1997. Puerto de Santa María).
Texto completo no disponible (Saber más ...)

Otros catálogos

Red de Bibliotecas Universitarias (REBIUN)

Listado de artículos

- Diseño y semántica de lenguajes lógico-funcionales
  Mario Rodríguez Artalejo
  - Resumen
  pág. 3
- Traducción automática del habla
  Francisco Casacuberta Nolla
  - Resumen
  pág. 5
- Métodos formales aplicados al diseño hardware
  Carlos Delgado Kloos
  - Resumen
  pág. 7
- Generación automática de código para sistemas paralelos de tiempo real
  Vicente Díaz Luque, Santiago Graña Domínguez, Pedro de Miguel Anasagasti
  - Resumen
  págs. 11-20
- Implementación de una herramienta de especificación y validación para sistemas reactivos
  Miguel J. Hornos Barranco, Manuel Capel Tuñón
  - Resumen
  págs. 21-30
- Comunicaciones en tiempo real en un vehículo autoguiado
  José A. Gil Salinas, Ana Pont Sanjuán, Ginés Benet Gilabert
  - Resumen
  págs. 31-38
- Un sistema de partición perezosa para Forum
  Pablo López, Ernesto Pimentel Sánchez
  - Resumen
  págs. 39-48
- Ampliación del modelo de librería de paso de mensajes con paralelismo anidado
  Casiano Rodríguez León, Francisco de Sande González, Coromoto León Hernández, Félix César García López
  - Resumen
  págs. 49-58
- GLASSPAR: un código paralelo de modelado de procesos de fabricación de vidrio industrial
  Javier Vinuesa, Ramón Beivide Palacio, José Ángel Gregorio Monasterio, Fernando Vallejo Alonso, Rafael Menéndez de Llano Rozas, Almudena de la Pedraja, Rafael López, César Otero González, Francisco Luis Martín Gallego, José Antonio Coto Muñiz, Ramón Rodríguez
  - Resumen
  págs. 59-68
- Saplen: un sistema de diálogo en lenguaje natural para una aplicación comercial
  Ramón López-Cózar Delgado, Antonio José Rubio Ayuso
  - Resumen
  págs. 69-78
- COGITO: un sistema de autoaprendizaje basado en algoritmos genéticos
  Jesús Salvador Aguilar-Ruiz, José Cristobal Riquelme Santos, José Miguel Toro Bonilla
  - Resumen
  págs. 79-88
- Generación de un árbol de decisión estadístico: un sistema de detección de fraude en los partes automovilísticos
  Jesús María Pérez de la Fuente, Clemente Rodríguez Lafuente
  - Resumen
  págs. 89-98
- Prácticas de inteligencia artificial: el juego de los ceros
  Luis Antonio Álvarez Llorente
  - Resumen
  págs. 99-115
- Propuesta de enseñanza de Algebra Líneal en los nuevos planes de estudio de Informática
  Julio Márquez González de Audicana, Nicolás del Pozo Madroñal
  - Resumen
  págs. 109-115
- Razonamiento temporal cualitativo con puntos y duraciones
  Isabel Navarrete Sánchez
  - Resumen
  págs. 117-126
- Análisis de las estructuras dinámicas comunes a los proyectos de desarrollo de software y los proyectos de investigación y desarrollo
  Isabel Ramos Román, Mercedes Ruiz Carreira
  - Resumen
  págs. 127-136
- Un modelo de adición de propiedades a componentes software
  Antonio Vallecillo Moreno
  - Resumen
  págs. 137-146
- Una solución al problema del vocabulario en entornos cooperativos
  Juan Falgueras Cano, Iván Marcelino Gómez Gallego, Antonio Jesús Guevara Plaza, Sergio Gálvez Rojas, Andrés Luis Aguayo Maldonado
  - Resumen
  págs. 147-156
- Representaciones gráficas alternativas de dependencias de datos
  Juan Manuel Cigarrán Recuero, Mario Marrero Ruiz, Braulio Rodríguez
  - Resumen
  págs. 157-166
- Desarrollo de sistemas de ayuda basados en técnicas de recuperación de información y análisis formal de conceptos
  Juan Manuel Cigarrán Recuero, Baltasar Fernández Manjón
  - Resumen
  págs. 167-176
- Análisis de las expectativas de los alumnos en los cursos sobre calidad del software
  Luis Fernández Sanz
  - Resumen
  págs. 177-186
- Demostraciones de conocimiento nulo interactivas usando grafos
  Candelaria Hernández Goya, Pino Caballero Gil
  - Resumen
  págs. 187-196
- Cacería de castores afanosos
  M.A. Gómez, J.J. Cano, M. J. Gómez, A.G. Pavón
  - Resumen
  págs. 197-206
- El cálculo-[pi] como modelo de concurrencia para sistemas basados en objetos
  Manuel Barrio Solórzano, Pablo Lucio de la Fuente Redondo
  págs. 207-216
- Decibilidad en sistemas [ípsilon]PTS
  Blas Carlos Ruiz Jiménez, Alberto Santos
  págs. 217-226
- Obtención de [psi](L) para lenguajes de contexto libre lineales
  Gonzalo Ramos Jimenez, Rafael Morales Bueno, Javier López
  págs. 227-233
- Predicción del rendimiento de algoritmos paralelos en redes tipo Bus usando PVM
  José Luis Roda García, Casiano Rodríguez León, Francisco Almeida Rodriguez, Daniel González Morales
  - Resumen
  págs. 235-244
- La integración de hipermedia en sistemas de información: (una) cuestión de semántica
  Lina Guadalupe García Cabrera, José Parets Llorca
  - Resumen
  págs. 245-254
- Segmentación de dígitos mecanografiados en formularios de baja calidad
  A. Zárate, Clemente Rodríguez Lafuente, Javier Muguerza Rivero, María Luisa Navarro Gómez, José Ignacio Martín Aramburu
  - Resumen
  págs. 255-263
- Desarrollo de un sistema interactivo de planificación de tratamientos radiológicos
  Ángel Soria, Eva Mónica Cerezo Bagdasari
  - Resumen
  págs. 265-275
- El interfaz de usuario en el diseño participativo de sistemas de información
  Juan Falgueras Cano, Andrés Luis Aguayo Maldonado, Sergio Gálvez Rojas, Iván Marcelino Gómez Gallego, Antonio Jesús Guevara Plaza
  - Resumen
  págs. 277-288
- Una heurística para el reconocimiento de objetos mediante clustering de transformaciones
  Fernando Pérez Nava, Antonio Falcón Martel
  - Resumen
  págs. 289-294
- Entorno visual para el diseño interactivo de animaciones de figuras humanas tridimensionales
  Inmaculada Rodríguez Santiago, Juana María López Fernández, Daniel Meziat Luna, Melquiades Carbajo Martín, Arantza Casillas Rubio, José Luis Bosque Orero
  - Resumen
  págs. 295-302
- Máquinas virtuales, sistemas operativos y otros engendros
  Sebastián Sánchez Prieto, Daniel Meziat Luna
  - Resumen
  págs. 303-310
- Mejora de la productividad del disco examinando los períodos de inactividad
  Vicente Santonja, María Engracia Gómez Requena, Marina Alonso Díaz, Javier Molero Prieto
  - Resumen
  págs. 311-320
- WINNET: una herramienta docente para la especificación y resolución de redes de colas
  Vicente Santonja, Javier Molero Prieto, Marina Alonso Díaz, María Engracia Gómez Requena
  - Resumen
  págs. 321-330
- Diseño de placas de memoria: una experiencia docente en Estructura de Computadores
  Antonio Robles Martínez, Ana Pont Sanjuán, Jorge Real Sáez, José A. Gil Salinas
  - Resumen
  págs. 331-340
- Encaminamiento de ruta no-mínima y libre de bloqueo en topología hipercubo
  Antonio Robles Martínez, José Duato Marín
  - Resumen
  págs. 341-350
- EPSO: un entorno para el desarrollo de prácticas en sistemas operativos
  Francisco Araque Cuenca, Serafín Moral Callejón, José Antonio Gómez Hernández
  - Resumen
  págs. 351-360
- Requisitos para un generador automático de mecanismos de persistencia objeto-relacionales
  Amador Durán Toro, José Miguel Toro Bonilla, Alicia Amaya Amaya
  - Resumen
  págs. 361-372
- Bases de datos con documentos periodísticos de los siglos XVI-XVIII
  Eva Lorenzo Iglesias, Nieves R. Brisaboa, Juan Ramón López Rodríguez, José Ramón Paramá Gabia, Miguel Rodríguez Penabad
  - Resumen
  págs. 373-382
- Cálculo automático de la eficiencia asintótica de programas imperativos
  Xavier Franch, Joan Vancells
  - Resumen
  págs. 383-392
- Reconciliando modularidad y eficiencia mediante atajos
  Jordi Marco, Xavier Franch
  - Resumen
  págs. 393-402
- Implementación distribuida de Pascal-FC
  Manuel Díaz Rodríguez, J. L. Serrano
  - Resumen
  págs. 403-412
- Servicio de claves públicas para correo electrónico
  Lucía Pino, Juan José Ortega Daza, Javier López, Antonio Maña
  - Resumen
  págs. 413-421
- Incremento de la seguridad del estándar de cifrado de datos basado en la combinación de datos y clave
  Antonio Maña, Javier López, Lucía Pino, Juan José Ortega Daza, Carlos Maraval
  - Resumen
  págs. 423-432
- Generación automática de una aplicación multiconferencia
  Elisa Guerrero Vázquez, Lidia Fuentes Fernández
  - Resumen
  págs. 433-442
- Pincel-Net: una solución intranet para la gestión integral de los centros educativos de Canarias
  J.C. González, J. Herrera, S. García, F. Herrera, José Luis Roda García, Casiano Rodríguez León
  - Resumen
  págs. 443-451
- Herramientas para el desarrollo de prácticas en una asignatura de Redes de Computadores de una Ingeniería Técnica
  Antonio Jesús Rivera Rivas, María Dolores Pérez Godoy, Pedro González García
  - Resumen
  págs. 453-462
- Una alternativa en la docencia práctica de la programación concurrente
  Antonio Tomeu Hardasmal
  - Resumen
  págs. 463-471
- Simulación mediante lenguaje VHDL de una unidad de control microprogramada con fines diidácticos
  Rafael Rico López, José Antonio de Frutos Redondo, Julia Clemente Párraga, Daniel Meziat Luna
  - Resumen
  págs. 475-476
- Enseñanza mediante simulación digital continua orientada a objetos
  Manuel Alfonseca Moreno, Estrella Pulido, Ricardo Orosco
  - Resumen
  págs. 477-478
- Un simulador del comportamiento de redes neuronales de Kohonen
  Jesús María Álvarez Llorente, Pablo Díaz Márquez, Germán Galeano Gil, F.J. García García, Rosa María Pérez Utrero
  - Resumen
  págs. 479-480
- Experiencias en estructuras de computadores: el procesador
  Julio Sahuquillo Borras, Ana Pont Sanjuán, Antonio Robles Martínez
  - Resumen
  págs. 481-482
- Ejemplo práctico de utilización de técnicas multimedia en los estudios universitarios de Informática
  Ana Pont Sanjuán, José Antonio Gil Gómez, Antonio Robles Martínez
  - Resumen
  págs. 483-484
- Programación lógica y aprendizaje simbólico
  Joaquín Pizarro Junquera, María del Carmen de Castro Cabrera
  - Resumen
  págs. 485-486
- Implementación de un agente de diseño funcional de viviendas unifamiliares aisladas
  Jose Luis Triviño Rodríguez, Ricardo Conejo Muñoz, José Luis Pérez de la Cruz, Alberto Lerner, Eduardo Serrano
  - Resumen
  págs. 487-488
- Acceso a bases de datos en el Web.Lexrural
  Esther Robles Blazquez, Mercedes Soto Rodríguez, Valentín Cardeñoso Payo
  - Resumen
  págs. 489-490
- Ejemplo de una arquitectura multiagente concurrente aplicada al diseño de moldes
  Jesús Lorés, Xavier Sirera, Javier Macarro, José María Catot Riera
  - Resumen
  págs. 491-492
- Plataforma de usuario para un centro de teleservicios
  Ana Vía, Luis Serrano, Claudio Feijoo González, Luis Castejón Martín, Jorge Pérez Martínez
  - Resumen
  págs. 493-494
- Lenguajes de interfaz de usuario visual
  Javier Rodeiro Iglesias, Enrique Barreiro Alonso, Manuel Pérez Cota, Fernando Díaz Gómez
  - Resumen
  págs. 495-496
- Interface gráfico para cuantificación temática de imagenes.
  Pablo Juan Martínez Cobo, E. Calle, Rosa María Pérez Utrero
  - Resumen
  págs. 497-498
- NLPDAG: un lenguaje para el procesamiento del lenguaje natural mediante grafos dirigidos acíclicos
  - Resumen
  págs. 499-500
- Abstracta/C++: una herramienta orientada a objetos para la construcción de compiladores en C++
  Rafael Corchuelo Gil, José Miguel Toro Bonilla
  - Resumen
  págs. 501-502
- Implementación distribuida del lenguaje Ada95
  Manuel Díaz Rodríguez, Juan José Matas Montañez
  - Resumen
  págs. 503-504
- Test de inclusión de puntos en polígonos con lados curvos
  Manuel García Vega, Rafael Jesús Segura Sánchez, Luis Alfonso Ureña López, Adolfo Magán Díaz
  - Resumen
  págs. 505-506
- Un autómata celular con aplicaciones criptográficas
  Antonio Tomeu Hardasmal
  págs. 507-508

Acceso de usuarios registrados

¿Olvidó su contraseña?

¿Es nuevo? Regístrese

Ventajas de registrarse

Dialnet Plus

Opciones de compartir

Opciones de entorno

Sugerencia / Errata

Coordinado por: