Sharing, freeness, linearity, redundancy, widenings, and cliques

Bueno Carrillo, Francisco; Navas, J. y Hermenegildo, Manuel V. (2005). Sharing, freeness, linearity, redundancy, widenings, and cliques. Monografía (Informe Técnico). Facultad de Informática (UPM) [antigua denominación], Madrid, Spain.

Descripción

Título: Sharing, freeness, linearity, redundancy, widenings, and cliques
Autor/es:
  • Bueno Carrillo, Francisco
  • Navas, J.
  • Hermenegildo, Manuel V.
Tipo de Documento: Monográfico (Informes, Documentos de trabajo, etc.) (Informe Técnico)
Fecha: Abril 2005
Materias:
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa

Resumen

We discuss here different variants of the Sharing abstract domain, including the base domain that captures set-sharing, a variant to capture pairsharing, in which redundant sharing groups (w.r.t. the pair-sharing property) can be eliminated, and an alternative representation based on cliques. The original proposal for using cliques in the non-redundant version of the domain is reviewed, then extended to the base domain. Variants of all the domains including freeness alone, and freeness together with linearity are also studied.

Más información

ID de Registro: 14746
Identificador DC: http://oa.upm.es/14746/
Identificador OAI: oai:oa.upm.es:14746
URL Oficial: http://clip.dia.fi.upm.es/papers/shcliques-tr.pdf
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 05 Abr 2013 07:02
Ultima Modificación: 21 Abr 2016 14:33
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM