Now showing items 74-83 of 83

    Un mètode per a la comprovació de restriccions d'integritat en bases de dades deductives bitemporals 

    Martín Escofet, Carme (Date of defense: 2005-06-27)

    This Ph.D. thesis mainly deals with temporal and deductive databases areas and the aim is to obtain a method for integrity constraint checking in bitemporal deductive databases, analyzing the temporal integrity constraint ...

    Un model d'incertesa fitada per a la propagació i fusió d'informació geomètrica incerta 

    Sabater i Pruna, Assumpta (Date of defense: 1996-11-26)

    En esta tesis se desarrolla un sistema de tratamiento de informaciones geométricas con incertidumbre, basado en la propagación y fusión de regiones elipsoidales. Se adopta un modelo de incertidumbre acotada en el espacio ...

    Uncertainty and indistinguishability. Application to modelling with words. 

    Hernández Jiménez, Enric (Date of defense: 2007-01-12)

    El concepte d'igualtat és fonamental en qualsevol teoria donat que és una noció essencial a l'hora de discernir entre els elements objecte del seu estudi i possibilitar la definició de mecanismes de classificació.<br/><br/>Quan ...

    Unsupervised learning of relation detection patterns 

    Gonzàlez Pellicer, Edgar (Date of defense: 2012-06-01)

    L'extracció d'informació és l'àrea del processament de llenguatge natural l'objectiu de la qual és l'obtenir dades estructurades a partir de la informació rellevant continguda en fragments textuals. L'extracció d'informació ...

    Using an ontology for guiding natural language interaction with knowledge based systems 

    Gatius, Marta (Date of defense: 2001-01-15)

    Des dels anys 80, els sistemes basats en el coneixement, programes que utilitzen una gran quantitat de informació per modelar situacions i resoldre problemes, han adquirit gran importància en el camp industrial, financer ...

    Validation of mappings between data schemas 

    Rull Fort, Guillem (Date of defense: 2011-01-19)

    En esta tesis, presentamos un nuevo enfoque para validar mappings entre esquemas de datos que permite al diseñador comprobar si el mapping satisface o no ciertas propiedades deseables. La respuesta que obtiene el diseñador ...

    Validation of UML conceptual schemas with OCL constraints and operations 

    Queralt, Anna (Date of defense: 2009-03-02)

    Per tal de garantir la qualitat final d'un sistema d'informació, és imprescindible que l'esquema conceptual que representa el coneixement sobre el seu domini i les funcions que ha de realitzar sigui semànticament ...

    Variants of unification considering compression and context variables 

    Gascón Caro, Adrià (Date of defense: 2014-05-30)

    Term unification is a basic operation in several areas of computer science, specially in those related to logic. Generally speaking, it consists on solving equations over expressions called terms. Depending on the kind of ...

    La visió de la informàtica en la literatura de ciència ficció 

    Barceló Garcia, Miquel (Date of defense: 1990-09-01)

    (Cat) Aquesta memòria descriu com la literatura de ciència ficció reflecteix en les seves narracions els conceptes i resultats propis de la ciència i la tecnologia informàtica. Aquesta visió cal entendre-la en un sentit ...

    YAM^2: a multidimensional conceptual model 

    Abelló Gamazo, Alberto (Date of defense: 2002-04-26)

    ABRSTRACT<br/>This thesis proposes YAM^2, a multidimensional conceptual model for OLAP(On-Line Analytical Processing). It is defined as an extension of UML (Unified Modeling Language). The aim is to benefit from Object-Oriented ...