Download WICC 2002 - Departamento de Ciencias e Ingeniería de la
Document related concepts
Transcript
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