Now showing items 13-20 of 20

    • Improving lazy abstraction for SCR specifications through constraint relaxation 

      Degiovanni, Renzo; Ponzio, Pablo; Aguirre, Nazareno; Frías, Marcelo (2018-03)
      "Formal requirements specifications, eg, software cost reduction (SCR) specifications, are challenging to analyse using automated techniques such as model checking. Since such specifications are meant to capture requirements, ...
    • An inference engine based on fuzzy logic for uncertain and imprecise expert reasoning 

      D'Aquila, Raimundo; Crespo Crespo, Cecilia; Mate, J. L.; Pazos, J. (2002-07)
      "This paper addresses the development and computational implementation of an inference engine based on a full fuzzy logic, excluding only imprecise quantifiers, for handling uncertainty and imprecision in rule-based expert ...
    • Mapping spatiotemporal data to RDF: A SPARQL endpoint for Brussels 

      Vaisman, Alejandro Ariel; Chentout, Kevin (2019)
      "This paper describes how a platform for publishing and querying linked open data for the Brussels Capital region in Belgium is built. Data are provided as relational tables or XML documents and are mapped into the RDF ...
    • Mobility data warehouses 

      Vaisman, Alejandro Ariel; Zimányi, Esteban (2019-04)
      "The interest in mobility data analysis has grown dramatically with the wide availability of devices that track the position of moving objects. Mobility analysis can be applied, for example, to analyze traffic flows. To ...
    • Pedestrian collective motion in competitive room evacuation 

      Garcimartín, Ángel; Pastor, José Martín; Martín-Gómez, César; Parisi, Daniel R.; Zuriguel, Iker (2017-12)
      "When a sizable number of people evacuate a room, if the door is not large enough, an accumulation of pedestrians in front of the exit may take place. This is the cause of emerging collective phenomena where the density ...
    • Piet: a GIS-OLAP implementation 

      Vaisman, Alejandro Ariel; Gómez, Leticia Irene; Kuijpers, Bart; Escribano, Ariel (2007)
      "Data aggregation in Geographic Information Systems (GIS) is a desirable feature, although only marginally present in commercial systems, which also fail to provide integration between GIS and OLAP (On Line Analytical ...
    • Sampling from the 𝒢I0 distribution 

      Chan, Debora; Rey, Andrea; Gambini, Juliana; Frery, Alejandro C. (2018-12)
      "Synthetic Aperture Radar (SAR) images are widely used in several environmental applications because they provide information which cannot be obtained with other sensors. The 𝒢I0 distribution is an important model for ...
    • Studying the evolution of content providers in IPv4 and IPv6 internet cores 

      Carisimo, Esteban; Selmo, Carlos; Álvarez-Hamelin, Ignacio; Dhamdhere, Amogh (2019)
      "There is recent evidence that the core of the Internet, which was formerly dominated by large transit providers, has been reshaped after the transition to a multimedia-oriented network, first by general-purpose CDNs and ...