Enviaments recents

  • Proof complexity meets algebra 

    Atserias, Albert; Ochremiak, Joanna (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017)
    Text en actes de congrés
    Accés obert
    We analyse how the standard reductions between constraint satisfaction problems affect their proof complexity. We show that, for the most studied propositional and semi-algebraic proof systems, the classical constructions ...
  • An equational approach to concurrency 

    Orejas Valdés, Fernando (Universidad del Pais Vasco, 1982)
    Comunicació de congrés
    Accés obert
    In this paper, we describe how can we use equations to specify the behavour of concurrent processes.
  • Aligning textual and graphical descriptions of processes through ILP techniques 

    Sànchez-Ferreres, Josep; Carmona Vargas, Josep; Padró, Lluís (Springer, 2017)
    Comunicació de congrés
    Accés obert
    With the aim of having individuals from different backgrounds and expertise levels examine the operations in an organization, different representations of business processes are maintained. To have these different ...
  • Parametrización de tipos estructurados de datos 

    Orejas Valdés, Fernando (Asociación Española de Informática y Automática (AEIA), 1979)
    Text en actes de congrés
    Accés obert
    En trabajos anteriores de había presentado un nuevo modelo, funcional y constructivo, para la especificación de tipos estructurados de datos. En este trabajo se extiende el modelo con la definición del concepto de ...
  • Un nuevo enfoque jerárquico para la reescritura condicional 

    Navarro Gomez, Marisa; Orejas Valdés, Fernando (Asociación Española de Informática y Automática, 1985)
    Text en actes de congrés
    Accés obert
    En este artículo se presenta un nuevo método de reescritura orientado a la ejecución de especificaciones condicionales y basado en la noción de jerarquía. este método, como otros métodos jerárquicos, evita los problemas ...
  • Anotaciones de Merlín, comportamiento de universos y semántica algebraica 

    Nivela Alós, M. Pilar Brígida; Orejas Valdés, Fernando (E.T.S.I. de Telecomunicación, 1985)
    Text en actes de congrés
    Accés obert
    En este trabajo se presentan las ideas básicas seguidas para el diseño de un lenguaje de anotaciones para el lenguaje de programación Merlín. En concreto, las anotaciones se prevén en forma de especificaciones ecuacionales ...
  • Anti-alignments in conformance checking: the dark side of process models 

    Chatain, Thomas; Carmona Vargas, Josep (Springer, 2016)
    Text en actes de congrés
    Accés obert
    Conformance checking techniques asses the suitability of a process model in representing an underlying process, observed through a collection of real executions. These techniques suffer from the wellknown state space ...
  • Trade-offs between time and memory in a tighter model of CDCL SAT solvers 

    Elffers, J.; Johannsen, Jan; Lauria, Massimo; Magnard, Thomas; Nordström, Jakob; Vinyals, Marc (2016)
    Text en actes de congrés
    Accés obert
    A long line of research has studied the power of conflict- driven clause learning (CDCL) and how it compares to the resolution proof system in which it searches for proofs. It has been shown that CDCL can polynomially ...
  • Computing alignments with constraint programming : the acyclic case 

    Borrego, Diana; Gómez López, María Teresa; Carmona Vargas, Josep; Martínez Gasca, Rafael (CEUR-WS.org, 2016)
    Text en actes de congrés
    Accés obert
    Conformance checking confronts process models with real process executions to detect and measure deviations between modelled and observed behaviour. The core technique for conformance checking is the computation of an ...
  • Fraud detection in energy consumption: a supervised approach 

    Coma Puig, Bernat; Carmona Vargas, Josep; Gavaldà Mestre, Ricard; Alcoverro, Santiago; Martín, Victor (Institute of Electrical and Electronics Engineers (IEEE), 2016)
    Comunicació de congrés
    Accés obert
    Data from utility meters (gas, electricity, water) is a rich source of information for distribution companies, beyond billing. In this paper we present a supervised technique, which primarily but not only feeds on meter ...
  • Partial match queries in relaxed K-dt trees 

    Duch Brown, Amalia; Lau Laynes-Lozada, Gustavo Salvador (Society for Industrial and Applied Mathematics (SIAM), 2017)
    Text en actes de congrés
    Accés obert
    The study of partial match queries on random hierarchical multidimensional data structures dates back to Ph. Flajolet and C. Puech’s 1986 seminal paper on partial match retrieval. It was not until recently that fixed (as ...
  • Mining structured Petri nets for the visualization of process behavior 

    San Pedro Martín, Javier de; Cortadella Fortuny, Jordi (Association for Computing Machinery (ACM), 2016)
    Text en actes de congrés
    Accés obert
    Visualization is essential for understanding the models obtained by process mining. Clear and efficient visual representations make the embedded information more accessible and analyzable. This work presents a novel approach ...

Mostra'n més