El modelo de Espacios Métricos permite formalizar el concepto de búsqueda por similitud en bases de datos no tradicionales. El objetivo es construir índices que permitan reducir el tiempo necesario para resolver una búsqueda por similitud.
Una amplia clase de…

La búsqueda por similitud es una operación fundamental en aplicaciones que trabajan con fuentes de datos no estructuradas. En este artículo proponemos un nuevo método de búsqueda por similitud basado en pivotes, que denominamos Sparse Spatial Selection (SSS). La principal…

En el presente trabajo se describe el uso de un test no paramétrico para revalidar los resultados experimentales previos sobre el desempeño de cuatro técnicas de prueba de software. El mismo permite demostrar que, si bien el análisis aislado de…

La notable evolución de los sistemas distribuidos centrados en la Web y la creciente funcionalidad e interoperabilidad entre aplicaciones Web ha permitido que los usuarios migren de un modo de trabajo autónomo hacia un modo de trabajo más cooperativo, caracterizado…

Los Patrones de Diseño ayudan a los desarrolladores de software a resolver problemas de diseño orientado a objetos que repetidamente ocurren.
Cuando estos adaptan patrones a soluciones particulares, muchas veces elaboran modelos usando UML. Sin embargo, a menudo, UML no…

Ensuring the correctness of a given software component has become a crucial aspect in Software Engineering and the Model Checking technique provides a fully automated way to achieve this goal.
In particular, the usage of Model Checking in formal languages…

En este artículo se presentan las ideas más importantes para la paralelización de la factorización de matrices Cholesky. Se discuten dos aspectos básicos: la distribución de los cálculos en distintos procesadores y la forma en que la distribución de estos…

La presente ponencia pretende resaltar la importancia y la necesidad de formar a los futuros educadores para detectar, erradicar y prevenir el maltrato entre iguales. Para ello, analizaremos el grado de capacitación profesional autopercibida para abordar este problema, así como…

El estudio de la Interacción Humano-Computadora (IHC) es la rama dentro de las ciencias de la Computación que estudia las capacidades y limitaciones de interacción del hombre, las computadoras y de la relación entre ambos. En otras palabras la IHC…

El planeamiento de misiones aéreas puede involucrar escenarios tales como preparación, coordinación, definición de parámetros, simulación, etc. Los sistemas actualmente desarrollados cumplen con parte de las necesidades pero no se ajustan en forma completa a las exigencias militares. En pos…