Texto completo
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa |
Sharing, freeness, linearity, redundancy, widenings, and cliques
Cita
Bueno Carrillo, Francisco 
ORCID: https://orcid.org/0000-0002-5460-5537, Navas, J. and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X
(2005).
Sharing, freeness, linearity, redundancy, widenings, and cliques.
Monografía (Informe Técnico).
Facultad de Informática (UPM) [antigua denominación], Madrid, Spain.
ORCID: https://orcid.org/0000-0002-5460-5537, Navas, J. and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X
(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: |
|
| Tipo de Documento: | Monográfico (Informe Técnico) |
| Fecha: | Abril 2005 |
| Materias: | |
| ODS: | |
| Escuela: | Facultad de Informática (UPM) [antigua denominación] |
| Departamento: | Inteligencia Artificial |
| Licencias Creative Commons: | Reconocimiento - Sin obra derivada - No comercial |
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: | https://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 |
Acciones
- Estadísticas
- Exportar cita
- Editar (sólo personal del Archivo)
