Diferencias

Muestra las diferencias entre dos versiones de la página.

--- seminarios_de_metodos_formales:2010 [2010/10/11 17:36] – Charla de Raul mpagano
+++ seminarios_de_metodos_formales:2010 [2018/08/10 03:03] (actual) – editor externo 127.0.0.1
@@ Línea 1: / Línea 1: @@
 ====== CAChe! 2010 ======
-**
+**reacTIVision: Interfaces de Usuario con Objetos del Mundo Real**
+Expositor: Franco Luque
+Lunes 25 de octubre de 2010, 14 hs.
+Resumen:
+reacTIVision es un framework open source de visión por computadora, que permite el seguimiento a través de una cámara de marcadores fiduciales ("fiducial markers"), un conjunto de símbolos predefinidos que se pueden imprimir y pegar sobre objetos reales. El software reconoce la presencia
+de múltiples marcadores en la cámara e informa posición, ángulo, velocidad de movimiento y rotación, etc. Esto permite el control de aplicaciones
+a través de Interfaces de Usuario Tangibles, es decir, manipulando objetos físicos en el mundo real, y en combinación con proyectores permite crear
+entornos de Realidad Aumentada. reacTIVision también puede reconocer la imagen que forma la presión de dedos sobre superficies transparentes, permitiendo la creación de interfaces Multi-Touch.
+El ejemplo más impresionante de uso de reacTIVision es el instrumento de música electrónica Reactable, que ha sido utilizado en vivo por la islandesa
+Björk, entre otros.
+En esta charla/tutorial/demo presentaré la instalación básica del framework, la API de programación y algunos ejemplos muy básicos de uso.
+[[http://vimeo.com/16428540|Video de la charla]] {{:seminarios_de_metodos_formales:franco-luque:slides.pdf|Presentación}}
+**Abstraccion por Predicados para Especificaciones DynAlloy**
 Expositor: Raul Fervari
@@ Línea 43: / Línea 64: @@
 En un sistema multinivel, usuarios de distintos niveles manejan información con distintos niveles de seguridad. En este contexto, un sistema es seguro si un usuario de bajo nivel no puede interferir en el funcionamiento de un nivel superior u obtener información de este.  Esta idea de formaliza con el concepto de non-interferencia. En esta charla presentaremos distintas formalizaciones de ésta.  Además, presentaremos formatos de reglas para especificar sistemas de transición que nos garantizan que los sistemas obtenidos satisfacen la propiedad de interés.