Download WICC 2002 - Departamento de Ciencias e Ingeniería de la

IV WORKSHOP DE INVESTIGADORES EN
CIENCIAS DE LA COMPUTACIÓN
WICC 2002
16 y 17 de mayo de 2002
Departamento de Ciencias e Ingeniería de la Computación
Universidad Nacional del Sur – Av. Alem 1253
Bahía Blanca – Pcia. de Buenos Aires
República Argentina
Organizado por la Red de Universidades Nacionales con carreras en Informática
16 y 17 de Mayo de 2002
IV WORKSHOP DE INVESTIGADORES EN CIENCIAS DE LA
COMPUTACIÓN
Departamento de Ciencias e Ingeniería de la Computación
Universidad Nacional del Sur - Mayo de 2002
INDICE
Aspectos Teóricos de Inteligencia Artificial (ATIA)
Métodos de razonamiento aproximado en investigación socio económica (MERAIS)
BIOUL, Gery - XODO, Daniel- NIGRO, Oscar - ZELASCO, José - TRIPODI, Gustavo ILLESCAS, Gustavo
Semántica Declarativa Trivaluada para la Programación en Lógica Rebatible
CECCHI, Laura - SIMARI, Guillermo
Introducing Probabilistic Reasoning in Defeasible Argumentation Using
Labeled Deductive Systems
CHESÑEVAR, Carlos - SIMARI, Guillermo
ILP en Aprendizaje Grupal
DELLADIO FEDI, Telma
Embedding Abduction in Monmonotomic Theories
DELRIEUX, Claudio
Modelos Formales del Razonamiento Científico
DELRIEUX, Claudio
On the Logic of Theory Change: Incision Functions from Selection Functions
FALAPPA, Marcelo A. - SIMARI, Guillermo R.
Planificación con Aprendizaje de Reglas Rebatibles para elección de Acciones utilizando
Argumentación
GARCÍA, Diego - GARCÍA, Alejandro
Una Arquitectura Multiagentes para Argumentación Distribuida
GARCÍA, Diego R. - GARCÍA, Alejandro J. - SIMARI, Guillermo R.
Social interaction and argumentation in MAS
MARTÍNEZ, Diego - GARCÍA, Alejandro
Reelaboración de Planes en Agentes Inteligentes. Operadores Básicos
PARRA, Gerardo - SIMARI, Guillermo
La negociación como un proceso de búsqueda usando dialéctica
RUEDA, Sonia - SIMARI, Guillermo
Logical Properties in Defeasible Logic Programming - a preliminary report STANKEVICIUS, A. G. CAPOBIANCO, M. CHESÑEVAR, C. I.
4
9
14
19
24
29
34
38
43
48
53
56
61
Computación Gráfica. Visualización
Procesamiento Digital de Imágenes Utilizando PDICalc
ARLENGHI, L. - VITALE, C. - DELRIEUX, C. - RAMOSCELLI, G.
Estructuras Espaciales para la Represenntación de Mapas
BACIC, Leadro - DELLADIO, Mauricio - MIGNANI, Mariano
Modelamiento de Objetos 3D
CASTRO, Silvia - MARTIG, Sergio - CASTRO, Liliana BOSCARDÍN, Liliana - SALGADO,Diana
Reconocimiento de Rostros
CHICHIZOLA, Franco - DE GIUSTI, Armando - NAIOUF, Marcelo
Visualización de Información de Bases de Datos Heterogéneas
COBO, Ma. Laura - MARTIG, Sergio - CASTRO, Silvia - FILLOTRANI, Pablo
Visualización Interactiva de Diagramas de Fase
DELRIEUX, Claudio - DOMINGUEZ, Julián - REPETTO, Andrés
Interfaces en la Visualización de Información
DI LUCA, Sandra - MARTIG, Sergio - CASTRO, Silvia - TRUTNER, Guillermo VITTURINI, Mercedes
67
72
77
80
84
89
94
IV WORKSHOP DE INVESTIGADORES EN CIENCIAS DE LA
COMPUTACIÓN
Departamento de Ciencias e Ingeniería de la Computación
Universidad Nacional del Sur - Mayo de 2002
Visualización de Reglas de Asociación. Un acercamiento comparativo
FILOCAMO, G. - GRANDINETTI, W. - CASTRO, S. - CHESÑEVAR, C
Generación de Objetos Flexibles 3D
GONZÁLEZ, Adela
Reconocimiento de Formas en Imágenes Médicas
GÓNZALEZ, Adela - GUERRERO, Roberto - ZAVALA, Alfredo
Un Ambiente Gráfico para Testear Estrategias Evolutivas en el Problema Inverso de las IFS
IVANISSEVICH, M. Laura - MILLADO, Paula - SIERPE, Luis - DELRIEUX, Claudio
Sistemas Híbridos para el Reconocimiento de Patrones
KATZ, Román - DELRIEUX,Claudio
Visualización de Datos Multivariados
LÓPEZ, Lidia M.
Interacción en la Visualización de Información
MARTIG, Sergio CASTRO, Silvia - DI LUCA, Sandra
Implementación de un Ambiente para el Estudio Experimental de la Dinámica de Poblaciones
PADÍN, Mirta - DELRIEUX, Claudio - DOMINGUEZ, julián
Estimación y Compensación de Movimientos en Video Codificado
RUSSO, Claudia - RAMÓN, Hugo
Clasificación de imágenes digitales utilizando patrones N-dimensionales
SANZ, Cecilia - DE GIUSTI, Armando
Simulación de Medios Artísticos Tradicionales
ZAVALA, Alfredo
98
103
107
111
116
121
126
130
135
140
145
Tecnología Informática Aplicada en la Educación
Una propuesta para Ambientes Colaborativos Inteligentes
AGUIRRE, G. CHIARANI, M. GARCÍA, B. LEGUIZAMÓN, G. LUCERO, M. MANZUR, L.
PIANUCCI, e I.
150
Experiencia Interdisciplinaria En La Practica Docente Del Profesora En Computación
CAMILETTI, P. PIZARRO, R. A.
155
Specifying Quality Characteristics and Attributes for E-Learning Sites
COVELLA, Guillermo OLSINA,Luis
160
Tecnología informática en Software Educativo: Herramientas para el diseño, administración y
evaluación de cursos no presenciales
DE GIUSTI, A. SANZ, C. MADOZ, C. GORGA, G. CHAMPREDONDE, R. PESADO,
P. PASINI, A. BARBIERI, A. RODRIGUEZ, I. FEIERHERD, G. DEPETRIS, B.
165
www.lea.com.ar: "Un portal de accesibilidad para disminuidos visuales y ciegos"
DÍAZ, Javier - HARARI, Ivana - FERREYRA, José
168
Hacia una experiencia de aprendizaje inicial de Ciencias de la Computación basada en la web
FEIERHERD, Guillermo DEPETRIS, Beatriz
173
Aprendizaje Basado En Problemas Como Apoyo A Las Clases Presenciales A Través De Software
Para Groupware
FIGUEROA, Nancy - SALGUIERO, Fernando - CÁNEPA, Sabrina - LAGE, Fernando
CATALDI, Zulma
177
Incorporación de las nuevas tecnologías de la Comunicación y de la Información al quehacer
docente universitario
GODOY GUGLIELMONE, Maria V. - MARIÑO, Sonia I. - DAPOZO, Gladys
N. PETRIS, Raquel H.
182
Nuevos Entornos de aprendizaje. Los Ambientes Colaborativos Inteligentes
LEGUIZAMÓN, Guillermo LUCERO, Margarita AGUIRRE, Guillermo CHIARANI, Marcela
PIANUCCi, Irma MANZUR, Lilian GARCÍA, Berta
187
Entorno Web para la enseñanza del Método de Programación Lineal
LÓPEZ, Ma. Victoria GOLOBISKY, Ma. Fernanda MARIÑO, Sonia I.
192
Aplicación del Método de Montecarlo para el cálculo de integrales definidas
LÓPEZ, Ma. Victoria MARIÑO, Sonia I.
197
IV WORKSHOP DE INVESTIGADORES EN CIENCIAS DE LA
COMPUTACIÓN
Departamento de Ciencias e Ingeniería de la Computación
Universidad Nacional del Sur - Mayo de 2002
Un paquete de Mathematica para el aprendizaje de métodos de muestras artificiales de variables
aleatorias no uniformes
MARIÑO, Sonia I.
202
Desarrollo de programas educativos para el modelado y la simulación de sistemas. Algunos estudios
de casos.
MARIÑO, Sonia I. LÓPEZ, Ma. Victoria
205
Herramientas y estrategias visuales para sistemas de aprendizaje
MARTIG, Sergio SEÑAS, Perla
210
La visualización de Algoritmos como Recurso para la Enseñanza de Programación
MORONI, Norma SEÑAS, Perla
213
A System For Control Of Use Of Didactic Material At The Distance
ISERHARDT RITZEL, Marcelo
VALDENI de LIMA, José
218
Construcción De Tutoriales Basados En Componentes Reusables
ROSANIGO, Zulema B PAUR, Beatríz BRAMATTI, Pedro
224
Generalización Del Modelo De Hipermedia Para La Construcción De Redes Conceptuales
ROSANIGO, Zulema B PAUR, Beatríz BRAMATTI, Pedro
228
Informática Y Educacion
SEÑAS, Perla
233
Mapas Conceptuales: una herramienta para el aprendizaje de Estructuras de Datos
UVIÑA, Patricia - BERTOLAMI, Mabel - CENTENO, Ma Elena - ORIANA, Gabriela
237
Mapas Conceptuales Hipermediales: Su Aplicación En Cursos De Lectura Compresiva
VITTURINI, Mercedes BENEDETTI, Laura SEÑAS, Perla
240
Ingeniería de Software y Bases de Datos
INCA RUCA QUIMN: Proyecto de automatización de oficinas
ACOSTA, Nelsson SIMONELLI, Daniel
TOSINI, Marcelo
246
Interoperabilidad de Componentes Software mediante Lenguajes de Coordinación
AMARO, Silvia MARTINEZ CAROD, Nardina PIEMENTEL, Ernesto
250
Tool Support for Verifying Applications using object-Oriented Patterns
ARANDA, Gabriela FLORES, Andrés BUCCELLA, Agustina REYNOSO, luis
253
Métricas de Performance en Administración de BDD en redes LAN y WAN
BERTONE, Rodolfo DE GIUSTI, Armando
258
Methods for Measurement-Based COTS Assessments and Selection
CECHICH, Alejandra PIATTINI, Mario
262
An extension to EMTPL
COBO, Ma. Laura FALAPPA, Marcelo
267
Sistemas de Software Distribuido. Aplicaciones
DE GIUSTI, A. PESADO, P. BERTONE, R. BORACCHIA, M. THOMAS, P. MADOZ, C. 272
Formal Specifications in Component-Based Development
ESTÉVEZ, Elsa FILLOTRANI, Pablo
276
SOL: Un lenguaje para el programador
FONTAO, Rafael DELRIEUX, Claudio KALOCAI, Guillermo GOÑI, Gustavo
280
A Framework for Defining and Checking Contraints in Requirement Gathering and Definition
GÓMEZ, Rodolfo FILLOTRANI, Pablo
286
Búsquedas en Espacios Métricos
HERRERA, Norma - REYES, Nora - BAEZA-YATES, Ricardo - NAVARRO, Gonzalo
CHÁVEZ, Edgar
290
Bases de Datos distribuidas: Agentes Móviles en problemas de Replicación, migración y
recuperación de fallas
MIATON, Ivana PESADO, Patricia BERTONE, Rodolfo DE GIUSTI, Armando
298
Project Line: Formally Specifying the Domain of Balanced Scorecard
MONTEJANO, G. UZAL,R.
RIESCO, D.
DASSO, A.
FUNES, A.
303
IV WORKSHOP DE INVESTIGADORES EN CIENCIAS DE LA
COMPUTACIÓN
Departamento de Ciencias e Ingeniería de la Computación
Universidad Nacional del Sur - Mayo de 2002
Spectra in Taxonomic Evidence in Databases III, Application in Celestial Bodies. Asteroids
Families
PLASTINO, Angel ORELLANA, Rosa PERICHINSKY, Gregorio
308
Integración de los meta-modelos de Workflow y UML
RIESCO, Daniel ACOSTA, Edgardo UVA, Marcelo GRANDO, Adela
313
Extensiones al Meta-modelo UML Desarrollando Nuevos Esterotipos
RIESCO, Daniel GRUMELLI, Alicia MACCIÓ, Alcides MARTELLOTO, Paola
317
Modelling of Processes and Formal Methods
Riesco, D. MONTEJANO, G. UZAL, R.
321
A Systematic Approach to Generate Test Cases based on Combinations of Information
SANCHEZ, Marisa A. FELDER, Miguel A.
326
Integrated Environment Of Systems Automated Engineering
SERVETTO, Arturo GARCÍA MARTÍNEZ, Ramón PERICHINSKY, Gregorio
331
Proceso y Métodos de Ingeniería Liviana de Sistemas
SERVETTO, Arturo GARCÍA MARTÍNEZ, Ramón PERICHINSKY, Gregorio
335
Estudio de Técnicas apropiadas para modelar aplicaciones de Hidroinformática en el contexto de
los Sistemas de Información Ambiental
URCIUOLO, Adriana ITURRASPE, Rodolfo SANDOVAL, Sandra PARSON, Ariel
339
El Ciclo De Vida De Los Sistemas: Los Conceptos Y Los Algoritmos De Evolución Simple Y Ciclica
ZUBENKO, Yurity D. LAGE, Fernando J. CATALDI, Zulma
343
Controles Semánticos en Modelamiento Orientado a Objetos
KAHNERT, Susana FILLOTRANI, Pablo
349
Procesamiento Concurrente, Paralelo y Distribuído
Construcción de un sistemas GNU para plataforma SPARC de 64 bits
CURTI, Hugo
355
Modelo de predicción de performance en sistemas paralelos
DE GIUSTI, Laura - NAIOUF, Marcelo - DE GIUSTI, Armando
360
Procesamiento Paralelo y Distribuido en tratamiento masivo de datos
DE GIUSTI, Armando - NAIOUF, Marcelo - SANZ, Cecilia - TINETTI, Fernando
DE GIUSTI, Laura - BERTONE, Rodolfo
364
Una solución estática al problema de Buffer Overflow
ECHAIZ, Javier GARCÍA, Rafael ARDENGHI, Jorge
368
Un Modelo de Programación Paralelo para Memoria Distribuida
FERNÁNDEZ, Jacqueline - FUENTES, Mónica - PICCOLI, Fabiana PRINTISTA, Marcela
373
Consistencia De Memoria En Sistemas Dvsm
GARCÍA, Rafael B. ECHAIZ, Javier ARDENGHI, Jorge R.
377
Perception and Enterprise Communication Networks to Improve the Requirements Elicitation
Process
LUZURIAGA, Juan M. MARTÍNEZ, Rodolfo CECHICH, Alejandra
382
Escalabilidad y Balance de Carga en Sistemas Paralelos
NAIOUF, Marcelo DE GIUSTI, Armando
387
Distributed and Parallel Processing for the Embgrid Project
SANZ, Cecilia TINETTI, Fernando RUSSO, Claudia DENHAM, Mónica DE GIUSTI, Armando
GRAU, Oscar
391
Evaluación del rendimiento y tiempo de transferencia de la información en redes de datos
mediante modelos análiticos y técnicas de simulación
SEGRE, Oscar R. - FUSARIO, Ruben Jorge - SANTA MARIA, Cristobal
395
Cómputo Científico: Algoritmos Paralelos para Aprovechar Redes Locales Instaladas
TINETTI, Fernando BARBIERI, Andrés DENHAM, Mónica
399
Procesamiento Paralelo Distribuido Heterogéneo En Aplicaciones Estructurales Y Numéricas
VAZQUEZ, Gustavo BRIGNOLE, Nélida
402
IV WORKSHOP DE INVESTIGADORES EN CIENCIAS DE LA
COMPUTACIÓN
Departamento de Ciencias e Ingeniería de la Computación
Universidad Nacional del Sur - Mayo de 2002
Integración de bloques IP en diseños SOC
VILAGARCÍA WANZA Horacio
BRIA, Oscar
Modelando la Performance de Aplicaciones en un Clusters de PC's
VILLALOBOS, M. FLORES, S. PICCOLI, F. PRINTISTA, M.
406
409
Sistemas Inteligentes
Agentes y aprendizaje de máquina en optimización, control y entornos de enseñanza
AGUIRRE, Guillermo ERRECALDE, Marcelo LEGUIZAMÓN, Guillermo
414
Evolución de Controladores Basados en Redes Neuronales
APOLLONI, Javier KAVKA, Carlos ROGGERO, Patricia
420
Optimizacion Evolutiva En Ambientes Dinamicos
ARAGÓN, V. ESQUIVEL , S.
425
Aplicación de una técnica de visión a la representación de una superficie de terreno reconstruido a
partir de contornos planares
CAGNINA, Leticia GUERRERO, Roberto
429
Introduciendo Mejoras En Los Algoritmos Evolutivos
ESQUIVEL, S. GALLARD, R.
434
Enfoques Heuristicos Para Problemas De Scheduling Estáticos Y Dinámicos
ESQUIVEl, S. GALLARD, R. GATICA, C. FERRERO, S. LEGUIZAMÓN, G. ZUPPA, F.
438
Control, Planning, Y Navegacion Basados En Inteligencia Computacional
ESQUIVEL, Susana KAVKA, Carlos LEGUIZAMÓN, Guillermo
443
Evolutionary Algorithms To Solve The School Timetabling Problem
FERNÁNDEZ, N. ALFONSO, H. GALLARD, R.
448
Un enfoque evolutivo como método alternativo para la técnica de halftoning
GUERRERO, Roberto LEGUIZAMÓN, G. VIANO, Huggo
452
Redes Neuronales aplicadas al Reconocimiento de Partrones
LANZARINI, Laura DE GIUSTI, Armando
456
Hybrid Evolutionary Algorithms To Solve Scheduling Problems
MINETTI, G. SALTO, C. BERMÚDEZ, C. FERNÁNDEZ,
N. ALFONSO, H. GALLARD, R.
460
Webexpert - Tool For Knowledge Acquisition By Web
NASCIMENTO, Raphael L. da ROCHA FERNANDEZ, Anita Mag.
463
Inserting Problem-Specific Knowledge In Multirecombined Evolutionary Algorithms
PANDOLFI, D. DE SAN PEDRO, M. VILLAGRA, A. VILANOVA, G. GALLARD, R.
468
Performance Evaluation Of Selection Methods To Solve The Job Shop Scheduling Problem
STARK, N. SLATO, C. ALFONSO, H. GALLARD, R.
473
Multirecombining Random And Seed Immigrants In Evolutionary Algorithms To Face The Flow
The Flow Shop Scheduling Problem
VILANOVA, G. VILLAGRA, A. PANDOLFI, D. DE SAN PEDRO, M. GALLARD, R.
478
Sistemas de Tiempo Real
Fuzzy Logic Controllers on Chip
ACOSTA, Nelson SIMONELLI, Daniel
484
Travelling Source Estimation using Spatio-temporal Data
BRIA, Oscar N.
489
Diseño Y Desarrollo De Un Sistema De Soporte De Decisión Para El Análisis De Instrumentación
De Plantas Industriales
PONZONI, Ignacio VAZQUEZ, Gustavo E.CARBALLIDO, Jessica BRIGNOLE, Nélida
495
Sistemas en Tiempo Real
RAMÓN, Hugo ROMERO, Fernando
498
IV WORKSHOP DE INVESTIGADORES EN CIENCIAS DE LA
COMPUTACIÓN
Departamento de Ciencias e Ingeniería de la Computación
Universidad Nacional del Sur - Mayo de 2002
Teoría de Computación
Herramientas de generación de procesadores de lenguages para código móvil seguro
AGUIRRE, J. ARROYO, M. FLORIO, N. FELIPPA, J GOMEZ, G. BAVERA, F.
CAYMES SCUTARI, P. NORDIO, D.
La Geometría Computacional a nuestro alrededor
GAGLIARDI, Edilma - TARANILLA, Ma. Teresa BERÓN, Mario - PEÑALVER, Gregorio
503
508
Workshop de Investigadores en Ciencias de la Computación
WICC 2002
IV WORKSHOP DE INVESTIGADORES EN
CIENCIAS DE LA COMPUTACIÓN
WICC 2002
16 y 17 de mayo de 2002
AREAS
Aspectos teóricos de Inteligencia Artificial
Computación Gráfica – Visualización
Tecnología Informática Aplicada en la Educación
Ingeniería de Software y Base de Datos
Procesamiento Concurrente, Paralelo y distribuido
Sistemas Inteligentes. Metaheurísticas
Teoría de Computación
Sistemas de Tiempo Real. Procesamiento de Señales.
Página 2
Workshop de Investigadores en Ciencias de la Computación
WICC 2002
IV WORKSHOP DE INVESTIGADORES EN
CIENCIAS DE LA COMPUTACIÓN
WICC 2002
16 y 17 de mayo de 2002
Teoría de Computación
Página 502
496
497
Workshop de Investigadores en Ciencias de la Computación
WICC 2002
Página 503
497
498
Workshop de Investigadores en Ciencias de la Computación
WICC 2002
Página 504
498
499
Workshop de Investigadores en Ciencias de la Computación
WICC 2002
Página 505
499
500
Workshop de Investigadores en Ciencias de la Computación
WICC 2002
Página 506
500
501
Workshop de Investigadores en Ciencias de la Computación
WICC 2002
Página 507
501
502
Workshop de Investigadores en Ciencias de la Computación
WICC 2002
Página 508
502
503
Workshop de Investigadores en Ciencias de la Computación
WICC 2002
Página 509
503
504
Workshop de Investigadores en Ciencias de la Computación
WICC 2002
Página 510
504
505
Workshop de Investigadores en Ciencias de la Computación
WICC 2002
Página 511
505
506
Workshop de Investigadores en Ciencias de la Computación
WICC 2002
Página 512
506
507