Now showing items 340-359 of 452

    • Reasoning on temporal class diagrams: Undecidability results 

      Artale, A (Springer Verlag (Germany), 2006)
      This paper introduces a temporal class diagram language useful to model temporal varying data. The atemporal portion of the language contains the core constructors available in both EER diagrams and UML class diagrams. The ...
    • Recent developments in product-focused software process improvement 

      Graziotin D; Jedlitschka A (ACM, 2013)
      This report summarizes the presentations and discussions that happened at PROFES 2013, the 14th International Conference on Product- Focused Software Process Improvement, which was held June 12-14, 2013 in Paphos, Cyprus. ...
    • Recognizing human behaviours in online social networks 

      Amato F; Castiglione A; De Santo A; Moscato V; Picariello A; Persia F; Sperlì G (2018)
      Online Social Networks (OSNs) have become a primary area of interest for cutting-edge cybersecurity applications, due to their ever increasing popularity and to the variety of data their interaction models allow for. In ...
    • Recommendations based on a heterogeneous spatio-temporal social network 

      Kefalas P; Symeonidis P; Manolopoulos Y (2017)
      Recommender systems in location-based social networks (LBSNs), such as Facebook Places and Foursquare, have focused on recommending friends or locations to registered users by combining information derived from explicit ...
    • Recommender systems-beyond matrix completion 

      Jannach D; Resnick P; Tuzhilin A; Zanker M (Association for Computing Machinery, 2016)
      Recommender systems have become a natural part of the user experience in today's online world. These systems are able to deliver value both for users and providers and are one prominent example where the output of academic ...
    • Recommending posts in political blogs based on tensor dimensionality reduction 

      Symeonidis P; Deligiaouri A (CRL, 2009)
      Social Tagging is the process by which many users add metadata in the form of keywords, to annotate and categorize items (posts, songs, pictures, web links, products etc.). Political blogs can recommend posts to users, ...
    • Recovering Test-To-Code Traceability Using Slicing and Textual Analysis 

      Qusef, A; Bavota, G; Oliveto, R; Binkley, D; De Lucia, A (Elsevier, 2014)
      Test suites are a valuable source of up-to-date documentation as developers continuously modify them to reflect changes in the production code and preserve an effective regression suite. While maintaining traceability links ...
    • Redundant slice optimal allocation for H.264 multiple description coding 

      Tillo T; Grangetto M; Olmo G (IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2008)
      In this paper, a novel H.264 multiple description technique is proposed. The coding approach is based on the redundant slice representation option, defined in the H.264 standard. In presence of losses, the redundant ...
    • Refining code ownership with synchronous changes 

      Hattori L; Lanza M; Robbes R (2012)
      When mining software repositories, two distinct sources of information are usually explored: the history log and snapshots of the system. Results of analyses derived from these two sources are biased by the frequency with ...
    • The Relational Grid Monitoring Architecture: Mediating Information about the Grid 

      Cooke AW; Gray AJG; Nutt W; Magowan J; Oevers M; Taylor P; Cordenonsi R; Byrom R; Cornwall L; Djaoui A; Field L; Fisher SM; Hicks S; Leake J; Middleton R; Wilson A; Zhu X; Podhorszki N; Coghlan B; Kenny S; O'Callaghan D; Ryan J (2004)
      We have developed and implemented the Relational Grid Monitoring Architecture (R-GMA) as part of the DataGrid project, to provide a flexible information and monitoring service for use by other middleware components and ...
    • Repairing Ontologies via Axiom Weakening 

      Troquard N; Confalonieri R; Galliani P; Peñaloza R; Porello D; Kutz O (AAAI press, 2018)
      Ontology engineering is a hard and error-prone task, in which small changes may lead to errors, or even produce an inconsistent ontology. As ontologies grow in size, the need for automated methods for repairing inconsistencies ...
    • Report of the 4th international symposium on empirical software engineering and measurement ESEM 2010 

      Lutteri E; Russo B; Succi G (2011)
      This report summarizes the research works, in particular the full and short papers, presented at the 4th International Symposium on Empirical Software Engineering and Measurement (ESEM 2010), held the 16th and 17th of ...
    • Report on PODS 2015 

      Calvanese, D (2015)
    • Report on PODS 2015 

      Calvanese D (2015)
    • Representing and monitoring social commitments using the event calculus 

      Chesani F; Mello P; Montali M; Torroni P (2012)
      Multiagent social commitments provide a principled basis for agent interactions, and serve as a natural tool to resolve design ambiguities. Indeed, they have been the subject of considerable research for more than a decade. ...
    • Representing and reasoning over a taxonomy of part-whole relations 

      Keet, CM; Artale, A (IOS Press, 2008)
      Many types of part-whole relations have been proposed in the literature to aid the conceptual modeller to choose the most appropriate type, but many of those relations lack a formal specification to give clear and unambiguous ...
    • Research Directions for Principles of Data Management (Abridged) 

      Abiteboul S; Arenas M; Barceló P; Bienvenu M; Calvanese D; David C; Hull R; Hüllermeier E; Kimelfeld B; Libkin L; Martens W; Milo T; Murlak F; Neven F; Ortiz M; Schwentick T; Stoyanovich J; Su J; Suciu D; Vianu V; Yi K (2016)
      In April 2016, a community of researchers working in the area of Principles of Data Management (PDM) joined in a workshop at the Dagstuhl Castle in Germany. The workshop was organized jointly by the Executive Committee of ...
    • Resolving inconsistencies and redundancies in declarative process models 

      Di Ciccio C; Maggi FM; Montali M; Mendling J (Elsevier, 2017)
      Declarative process models define the behaviour of business processes as a set of constraints. Declarative process discovery aims at inferring such constraints from event logs. Existing discovery techniques verify the ...
    • Restarted Hessenberg method for solving shifted nonsymmetric linear systems 

      Gu XM; Huang TZ; Yin G; Carpentieri B; Wen C; Du L (2018)
      It is known that the restarted full orthogonalization method (FOM) outperforms the restarted generalized minimum residual (GMRES) method in several circumstances for solving shifted linear systems when the shifts are handled ...