Enviaments recents

  • 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 ...
  • Comparing MapReduce and pipeline implementations for counting triangles 

    Pasarella Sánchez, Ana Edelmira; Vidal Serodio, Maria Esther; Zoltan, Cristina (2016)
    Text en actes de congrés
    Accés obert
    A generalized method to define the Divide & Conquer paradigm in order to have processors acting on its own data and scheduled in a parallel fashion. MapReduce is a programming model that follows this paradigm, and allows ...
  • Computational coverage of type logical grammar: The Montague test 

    Morrill, Glyn; Valentín Fernández Gallart, José Oriol (2016)
    Text en actes de congrés
    Accés obert
    It is nearly half a century since Montague made his contributions to the field of logical semantics. In this time, computational linguistics has taken an almost entirely statistical turn and mainstream linguistics has ...
  • A comparative study of navigation meshes 

    Van Toll, Wouter; Triesscheijn, Roy; Kallmann, Marcello; Oliva Martínez, Ramon; Pelechano Gómez, Núria; Pettré, Julien; Geraerts, Roland (Association for Computing Machinery (ACM), 2017)
    Text en actes de congrés
    Accés restringit per política de l'editorial
    A navigation mesh is a representation of a 2D or 3D virtual environment that enables path planning and crowd simulation for walking characters. Various state-of-the-art navigation meshes exist, but there is no standardized ...
  • An ambitious and motivating Engineering project to promote Astronautics and transform society’s vision about Space Research 

    Pérez Poch, Antoni; Sánchez Carracedo, Fermín; López Álvarez, David; Alier Forment, Marc (2016)
    Comunicació de congrés
    Accés obert
    The race to put a person on the Moon motivated and captivated the imagination of USA society and the community worldwide. This led to an unprecedented investment in science, technology and the space program, which ...
  • Improving ontological knowledge with reinforcement methods in recommendation of the best data mining method for a real environmental problem 

    Gibert, Karina; Sànchez-Marrè, Miquel (Asociación Española para la Inteligencia Artificial (AEPIA), 2015)
    Text en actes de congrés
    Accés restringit per decisió de l'autor
    There are many data mining techniques available for a user wishing to discover some model from her/his data. This diversi ty can cause some trou- bles to the final non - expert users, who often do not have a clear idea of ...
  • A semantics of business configurations using symbolic graphs 

    Mylonakis Pascual, Nicolás; Orejas Valdés, Fernando; Fiadeiro, José Luiz (Institute of Electrical and Electronics Engineers (IEEE), 2015)
    Text en actes de congrés
    Accés obert
    In this paper we give graph-semantics to a fundamental part of the semantics of the service modeling language SRML: business configurations. To achieve this goal we use symbolic graph transformation systems. We formalize ...
  • Conditions for compatibility of components: The case of masters and slaves 

    Beek, Maurice ter; Carmona Vargas, Josep; Kleijn, Jetty (Springer, 2016)
    Text en actes de congrés
    Accés restringit per política de l'editorial
    We consider systems composed of reactive components that collaborate through synchronised execution of common actions. These multi-component systems are formally represented as team automata, a model that allows a wide ...
  • Non-homogenizable classes of finite structures 

    Atserias, Albert; Torunczyk, Szymon Abram (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016)
    Text en actes de congrés
    Accés obert
    Homogenization is a powerful way of taming a class of finite structures with several interesting applications in different areas, from Ramsey theory in combinatorics to constraint satisfaction problems (CSPs) in computer ...
  • A logic of graph conditions extended with paths 

    Navarro Gomez, Marisa; Orejas Valdés, Fernando; Pino Blanco, Elvira; Lambers, Leen (2016)
    Text en actes de congrés
    Accés obert
    In this paper we tackle the problem of extending the logic of nested graph conditions with paths. This means, for instance, that we may state properties about the existence of paths between some given nodes. As a main ...

Mostra'n més