Ara es mostren els items 1-20 de 53

  • A lattice-based method for structural analysis 

    Casas Garriga, Gemma; Díaz López, Pablo; Balcázar Navarro, José Luis (2005-09)
    Report de recerca
    Accés obert
    In this paper we revisit the foundations of formal concept analysis for ordered contexts of [4]. From the theoretical point of view, the obtained lattice has proved to be a proper unifying framework for reasoning about ...
  • A Lattice Representation of Relations, Multivalued Dependencies and Armstrong Relations 

    Baixeries i Juvillà, Jaume; Balcázar Navarro, José Luis (2005)
    Text en actes de congrés
    Accés restringit per política de l'editorial
    We present a lattice-base formalism to relate, in a novel way, different representation methods for relational data. Specifically, relations given extensionally by tuples, multivalued dependencies, and Armstrong relations ...
  • Algorithms for learning finite automata from queries: a unified view 

    Balcázar Navarro, José Luis; Díaz Cort, Josep; Gavaldà Mestre, Ricard; Watanabe, Osamu (1996-09)
    Report de recerca
    Accés obert
    In this survey we compare several known variants of the algorithm for learning deterministic finite automata via membership and equivalence queries. We believe that our presentation makes it easier to understand what ...
  • A New abstract combinatorial dimension for exact learning via queries 

    Balcázar Navarro, José Luis; Castro Rabal, Jorge; Guijarro Guillem, David (2000-02)
    Report de recerca
    Accés obert
    We introduce an abstract model of exact learning via queries that can be instantiated to all the query learning models currently in use, while being closer to them than previous unificatory attempts. We present a ...
  • An optimal parallel algorithm for learning DFA 

    Balcázar Navarro, José Luis; Díaz Iriberri, José; Gavaldà Mestre, Ricard; Watanabe, O. (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1993-01-01)
    Report de recerca
    Accés obert
    In 1987, D. Angluin presented an algorithm that exactly learns regular languages represented by deterministic finite automata (dfa) from Membership and Equivalence queries. Furthermore, the algorithm is feasible in the ...
  • A Note on genericity and bi-immunity 

    Balcázar Navarro, José Luis; Mayordomo, E (1994-11)
    Report de recerca
    Accés obert
    Generic sets have all properties (from among a suitably chosen class) that can be enforced by finite extension arguments. In particular, p-generic set are known to be P-bi-immune. We try to clarify the precise relationship ...
  • A Transformation scheme for double recursion 

    Balcázar Navarro, José Luis (1994-02)
    Report de recerca
    Accés obert
    A tail recursive program (with a single recursive call per case) is derived from a generic recursive program with two independent recursive calls, under no algebraic hypothesis whatsoever. The iterative version, fully ...
  • Border algorithms for computing Hasse diagrams of arbitrary lattices 

    Balcázar Navarro, José Luis; Tirnauca, Cristina (Springer, 2011)
    Text en actes de congrés
    Accés restringit per política de l'editorial
    Lattices are mathematical structures with many applications in computer science; among these, we are interested in fields like data mining, machine learning, or knowledge discovery in databases. One well-established use ...
  • Canonical Horn representations and query learning 

    Arias Vicente, Marta; Balcázar Navarro, José Luis (2009-05)
    Report de recerca
    Accés obert
    We describe an alternative construction of an existing canonical representation for definite Horn theories, the emph{Guigues-Duquenne} basis (or GD basis), which minimizes a natural notion of implicational size. We extend ...
  • Characterization and Armstrong relations for Degenerated Multivalued Dependencies using Formal Concept Analysis 

    Baixeries i Juvillà, Jaume; Balcázar Navarro, José Luis (Springer, 2005)
    Text en actes de congrés
    Accés restringit per política de l'editorial
    Functional dependencies, a notion originated in Relational Database Theory, are known to admit interesting characterizations in terms of Formal Concept Analysis. In database terms, two successive, natural extensions of ...
  • Characterizing the learnability of Kolmogorov easy circuit expressions 

    Balcázar Navarro, José Luis; Buhrman Canal, Harry (1996-01)
    Report de recerca
    Accés obert
    We show that Kolmogorov easy circuit expressions can be learned with membership queries in polynomial time if and only if every NE-predicate is E-solvable. Moreover we show that the previously known algorithm, that uses ...
  • Closed-set-based discovery of representative association rules revisited 

    Balcázar Navarro, José Luis; Tirnauca, Cristina (Hermann Éditions, 2011)
    Text en actes de congrés
    Accés obert
    The output of an association rule miner is often huge in practice. This is why several concise lossless representations have been proposed, such as the “essential” or “representative” rules. We revisit the algorithm given ...
  • Closures and partial implications in educational data mining 

    García Sáiz, Diego; Zorrilla Pantaleón, Marta Elena; Balcázar Navarro, José Luis (CEUR Workshop Proceedings, 2012)
    Text en actes de congrés
    Accés obert
    Educational Data Mining (EDM) is a growing field of use of data analysis techniques. Speci fically, we consider partial implications. The main problems are, fi rst, that a support threshold is absolutely necessary but ...
  • Coding complexity: the computational complexity of succinct descriptions 

    Balcázar Navarro, José Luis; Gavaldà Mestre, Ricard; Watanabe, Osamu (1996-09)
    Report de recerca
    Accés obert
    For a given set of strings, the problem of obtaining a succinct description becomes an important subject of research, related to several areas of theoretical computer science. In structural complexity theory, researchers ...
  • Competencias profesionales para el Grado en Ingeniería Informática 

    Sánchez Carracedo, Fermín; Sancho Samsó, María Ribera; Botella López, Pere; García Almiñana, Jordi; Aluja Banet, Tomàs; Navarro Guerrero, Juan José; Balcázar Navarro, José Luis (IEEE, Sociedad de Educación: Capítulos Español, Portugués y Colombiano, 2009)
    Capítol de llibre
    Accés obert
    Degrees in the EHEA (European Higher Education Area) must be designed based on professional skills, so that when the students finish their studies they become competent professionals in the labour market. In this paper we ...
  • Compressibility of infinite binary sequences 

    Balcázar Navarro, José Luis; Gavaldà Mestre, Ricard; Hermo Huguet, Montserrat (1996-02-06)
    Report de recerca
    Accés obert
    It is known that infinite binary sequences of constant Kolmogorov complexity are exactly the recursive ones. Such a kind of statement no longer holds in the presence of resource bounds. Contrary to what intuition might ...
  • Computational power of neural networks: a Kolmogorov complexity characterization 

    Balcázar Navarro, José Luis; Gavaldà Mestre, Ricard; Siegelmann, H. (1993-01-01)
    Report de recerca
    Accés obert
    The computational power of neural networks depends on properties of the real numbers used as weights. We focus on networks restricted to compute in polynomial time, operating on boolean inputs. Previous work has demonstrated ...
  • Connections among non uniform models for problems requiring high amount of resources 

    Balcázar Navarro, José Luis; Gabarró Vallès, Joaquim (1985-11)
    Report de recerca
    Accés obert
    We characterize in terms of oracle Turing machines the classes defined by exponential lower bounds on some nonuniform complexity measures. After, we use the same methods to give a new characterization of classes defined ...
  • De cómo ciertos conjuntos no pueden ser NP-completos 

    Balcázar Navarro, José Luis (Universitat Politècnica de Barcelona. Centre de Càlcul, 1982-09)
    Article
    Accés obert
    En este artículo se presenta una visión general a los últimos resultados acontecidos en el área de la estructura de la clase NP-completa y su relación con el problema de si: P=NP o P diferente de NP.
  • Deriving specifications of embeddings in recursive program design 

    Roselló Balanyà, Celestí; Balcázar Navarro, José Luis; Peña Marí, Ricardo (1989)
    Report de recerca
    Accés obert
    The design of recursive functions is a well-studied subject. Design methods require a specification to start with, however, when an embedding design is attempted at, it is not clear how the specification of the embedding ...