Now showing items 331-350 of 1009

  • Fast and Simple Data Scaling for OBDA Benchmarks 

    Lanti D; Xiao G; Calvanese D (CEUR Electronic Workshop Proceedings, 2016)
    In this paper we describe VIG, a data scaler for OBDA benchmarks. Data scaling is a relatively recent approach, proposed in the database community, that allows for quickly scaling an input data instance to $n$ times its ...
  • Fault Tolerance in the R-GMA Information and Monitoring System 

    Byrom, R; Coghlan, B; Cooke, A; Cordenonsi, R; Cornwall, L; Craig, M; Djaoui, A; Duncan, A; Fisher, S; Gray, A; Hicks, S; Kenny, S; Leake, J; Lyttleton, O; Magowan, J; Middleton, R; Nutt, W; O'Callaghan, D; Podhorszki, N; Taylor, P; Walk, J; Wilson, A (Springer, 2005)
    R-GMA (Relational Grid Monitoring Architecture) [1] is a grid monitoring and information system that provides a global view of data distributed across a grid system. R-GMA creates the impression of a single centralised ...
  • Feature Usage Diagram for Feature Reduction 

    Marciuska, S; Gencel, C; Wang, X; Abrahamsson, P (Springer, 2013)
    Feature creep, if not managed well, cause software bloat. This in turn makes software applications become slower. Currently, software industry urgently requires mechanisms and approaches to reduce unnecessary or low value ...
  • Feature-weighted user model for recommender systems 

    Symeonidis P; Nanopoulos A; Manolopoulos Y (Springer, 2007)
    Recommender systems are gaining widespread acceptance in e-commerce applications to confront the "information overload" problem. Collaborative Filtering (CF) is a successful recommendation technique, which is based on past ...
  • Features and Components in Product Models 

    Sanfilippo EM; Masolo C; Borgo S; Porello D (IOS Press, 2016)
    Product structures are represented in engineering models by depicting and linking components, features and assemblies. Their understanding requires knowledge of both design and manufacturing practices, and yet further ...
  • Finite Lattices Do Not Make Reasoning in ALCI Harder 

    Borgwardt S; Peñaloza R (CEUR, 2011)
    We consider the fuzzy logic ALCI with semantics based on a finite residuated lattice. We show that the problems of satisfiability and subsumption of concepts in this logic are ExpTime-complete w.r.t. general TBoxes and ...
  • Finite model reasoning on UML class diagrams via constraint programming 

    Cadoli M; Calvanese D; De Giacomo G; Mancini T (Springer, 2007)
    Finite model reasoning in UML class diagrams is an important task for assessing the quality of the analysis phase in the development of software applications in which it is assumed that the number of objects of the domain ...
  • A first introduction to programming for first-year students at a Chinese university using LEGO MindStorms 

    Liang H; Fleming C; Man K; Tillo T (IEEE, 2013)
    In this paper, we describe some of our experiences in incorporating LEGO MindStorms into an introductory programming course. There are three distinguishing features of this course. First, it had a large number of students; ...
  • First steps towards the design of tangibles for graph algorithmic thinking 

    Bonani A; Del Fatto V; Dodero G; Gennari R; Raimato G (Springer, 2017)
    The paper presents exploratory steps of the design of interactive tangible objects for the scaffolding of algorithmic thinking of 9–13 years old school classes, and specifically graph algorithmic thinking. By following a ...
  • First-Order Rewritability of Temporal Ontology-Mediated Queries 

    Artale, A; Kontchakov, R; Kovtunova, A; Ryzhikov, V; Wolter, F; Zakharyaschev, M (AAAI Press, 2015)
    Aiming at ontology-based data access over temporal, in particular streaming data, we design a language of ontology-mediated queries by extending OWL 2 QL and SPARQL with temporal operators, and investigate rewritability ...
  • A Flexible Programmable Camera Control and Data Acquisition Hardware Platform 

    Cheng F; Xiao JM; Tillo T; Zhao Y (SPRINGER, 2015)
    There are a number of standard video sequences produced by some organizations and companies, which simulate different scenes and conditions in order to properly test video coding methods. With the rapid development of ...
  • A formal framework for reasoning on UML class diagrams 

    Calì A; Calvanese D; De Giacomo G; Lenzerini M (Springer, 2002)
    In this paper we formalize UML class diagrams in terms of a logic belonging to Description Logics, which are subsets of First-Order Logic that have been thoroughly investigated in Knowledge Representation. The logic we ...
  • Formal verification of Petri Nets with names 

    Montali, M; Rivkin, A (Springer, 2015)
    Petri nets with name creation and management have been recently introduced so as to make Petri nets able to model the dynamics of (distributed) systems equipped with channels, cyphering keys, or computing boundaries. While ...
  • Formalisation of ORM derivation rules and their mapping into OWL 

    Sportelli F; Franconi E (Springer Verlag, 2016)
    Object-Role Modelling (ORM) is a framework for modelling and querying information at the conceptual level. It comes to support the design of large-scale industrial applications allowing the users to model easily the domain. ...
  • Formalising dynamic composition and evolution in Java systems 

    Pahl, C (ECOOP, 2001)
    A variety of Java constructs involve an idea of time dynamic establishment and closure of connections or the composition and customisation of components in order to guarantee reliability and maintainability in dynamic ...
  • Formalising temporal constraints on part-whole relations 

    Artale, A; Guarino, N; Keet, C M (AAAI Press, 2008)
    Representing part-whole relations and effectively using them in domain ontologies and conceptual data models poses multiple challenges. In this paper we face the issue of imposing temporal constraints on part-whole ...
  • Formalizing MongoDB Queries 

    Botoeva E; Calvanese D; Cogrel B; Xiao G (CEUR-WS.org, 2017)
    In this paper, we report on our ongoing work in which we formalize MongoDB, a widely adopted document database system managing complex (tree structured) values represented in a JSON-based data model, equipped with a powerful ...
  • Formally specifying the syntax and semantics of a visual query language for the domain of High Energy Physics data analysis 

    Amaral, V; Helmer, S; Moerkotte, G (IEEE, 2005)
    Currently, physicists working in High Energy Physics experiments have to write their queries in general purpose programming languages using complex frameworks for accessing the data. This distracts them from their actual ...
  • A foundational vision of e-services 

    Berardi D; Calvanese D; De Giacomo G; Lenzerini M; Mecella M (Springer, 2003)
    In this paper we propose a foundational vision of e-Services, in which we distinguish between the external behavior of an e-Service as seen by clients, and the internal behavior as seen by a deployed application running ...