Now showing items 332-351 of 454

    • QoE-Driven Dynamic Adaptive Video Streaming Strategy With Future Information 

      Yu L; Tillo T; Xiao JM (IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2017)
      DASH, the Dynamic adaptive video streaming over hypertext transfer protocol (HTTP), has become the de-facto video delivery mechanism nowadays, which takes advantage of the existing low cost and wide-spread HTTP platforms. ...
    • A quasi-minimal residual variant of the {BiCORSTAB} method for nonsymmetric linear systems 

      Sun DL; Jing YF; Huang TZ; Carpentieri B (2014)
      The Biconjugate A" role="presentation">-orthogonal residual stabilized method named as BiCORSTAB was proposed by Jing et al. (2009), where the numerical experiments therein demonstrate that the BiCORSTAB method converges ...
    • Query Answering with DBoxes is Hard 

      Franconi E; Ibánez-García YA; Seylan I (2011)
      Data in description logic knowledge bases is stored in the form of an ABox. ABoxes are often confusing for developers coming from relational databases because an ABox, in contrast to a database instance, provides an ...
    • Query Processing under GLAV Mappings for Relational and Graph Databases 

      Calvanese D; De Giacomo G; Lenzerini M; Vardi M (2012)
      Schema mappings establish a correspondence between data stored in two databases, called source and target respectively. Query processing under schema mappings has been investigated extensively in the two cases where each ...
    • Querying Log Data with Metric Temporal Logic 

      Brandt S; Güzel Kalaycı E; Ryzhikov V; Xiao G; Zakharyaschev M (2018)
      We propose a novel framework for ontology-based access to temporal log data using a datalog extension datalogMTL of the Horn fragment of the metric temporal logic MTL. We show that datalogMTL is EXPSPACE-complete even ...
    • A Real-Time Error Resilient Video Streaming Scheme Exploiting the Late- and Early-Arrival Packets 

      Xiao JM; Tillo T; Lin CY; Zhang YG; Zhao Y (IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2013)
      For real-time video streaming systems, the video packets arriving after the display deadline of their frames are considered as late-arrival packets, and typically they are discarded. This will affect the current frame and ...
    • Real-Time Video Streaming Using Randomized Expanding Reed-Solomon Code 

      Xiao JM; Tillo T; Zhao Y (IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2013)
      Forward error correction (FEC) codes are widely studied to protect streamed video over unreliable networks. Typically, enlarging the FEC coding block size can improve the error correction performance. For video streaming ...
    • Reasoning about Explanations for Negative Query Answers in DL-Lite 

      Calvanese D; Ortiz M; Simkus M; Stefanoni G (2013)
      In order to meet usability requirements, most logic-based applications provide explanation facilities for reasoning services. This holds also for Description Logics, where research has focused on the explanation of both ...
    • Reasoning in fuzzy description logics using automata 

      Borgwardt, S; Penaloza, R (Elsevier, 2015)
      Automata-based methods have been successfully employed to prove tight complexity bounds for reasoning in many classical logics, and in particular in Description Logics (DLs). Very recently, the ideas behind these automata-based ...
    • 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 ...