Search
Now showing items 1-2 of 2
Medidas difusas en procesamiento de imágenes
(2013-08-09)
El presente trabajo define formalmente el concepto de “medida difusa”, el cual generaliza a las medidas clásicas. A éstas nuevas medidas, les agregamos condiciones para obtener medidas λ-difusas, medidas de Sugeno y ...
Implementación de técnicas de derivación de contraejemplos en el model checker PRISM
(2011-03-18)
El model checking es un método de verificación formal que permite verificar automáticamente si un modelo cumple una especificación. PRISM constituye una herramienta para realizar
model checking de tipo probabilista. En ...