Now showing items 235-254 of 400

  • A narrative in three acts: Using combinations of image schemas to model events 

    Besold TR; Hedblom MM; Kutz O (2017)
    Image schemas have been proposed as conceptual building blocks corresponding to the hypothesised most fundamental embodied experiences. We formally investigate how combinations of image schemas (or 'image schematic profiles') ...
  • Nearest-biclusters collaborative filtering based on constant and coherent values 

    Symeonidis P; Nanopoulos A; Papadopoulos A; Manolopoulos Y (2008)
    Collaborative Filtering (CF) Systems have been studied extensively for more than a decade to confront the "information overload" problem. Nearest-neighbor CF is based either on similarities between users or between items, ...
  • Nested preferences in answer set programming 

    Confalonieri R; Nieves J (2011)
    In this paper, we define a class of nested logic programs, called Nested Logic Programs with Ordered Disjunction (LPODs), which makes it possible to specify conditional (qualitative) preferences by means of nested preference ...
  • Non è mai troppo tardi 2.0 

    Marengo, E; Baldoni, M (Federazione Italiana Elettrotecnica, Elettronica, Automazione, Informatica e Telecomunicazioni, 2010)
  • Non-normal modalities in variants of linear logic 

    Porello D; Troquard N (Taylor and Francis Ltd., 2015)
    This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of linear logic with one minimal non-normal modality. In earlier work, where we investigated agency in multi-agent ...
  • Notes on Logics of Metric Spaces 

    Kutz, O (Springer Verlag (Germany), 2007)
    In [14], we studied the computational behaviour of various first-order and modal languages interpreted in metric or weaker distance spaces. [13] gave an axiomatisation of an expressive and decidable metric logic. The main ...
  • A novel application of Open Source technologies to measure agile software development process 

    Corral Velazquez, LR; Janes, A; Remencius, T; Strumpflohner, J; Vlasenko, J (2012)
    In the last 10 years Open Source products have been widely used in industry. New methodologies and best practices to develop Open Source software appeared. In this work, we present an application that runs on Android-based ...
  • A novel Lanczos-type procedure for computing eigenelements of Maxwell and Helmholtz problems 

    Carpentieri B; Jing YF; Huang TZ (2010)
    We introduce a novel variant of the Lanczos method for computing a few eigenvalues of sparse and/or dense non-Hermitian systems arising from the discretization of Maxwell- or Helmholtz-type operators in Electromagnetics. ...
  • Object-oriented software extensions in practice 

    Robbes R; Röthlisberger D; Tanter É (Kluwer Academic Publishers, 2015)
    As software evolves, data types have to be extended, possibly with new data variants or new operations. Object-oriented design is well-known to support data extensions well. In fact, most popular books showcase data ...
  • An observational user study for group recommender systems in the tourism domain 

    Delic A; Neidhardt J; Nguyen TN; Ricci G (2018)
    In this article we argue and give evidence that the research on group recommender systems must look more carefully at the dynamics of group decision-making in order to produce technologies that will be truly beneficial for ...
  • OCL-Lite: Finite reasoning on UML/OCL conceptual schemas 

    Queralt A; Artale A; Calvanese D; Teniente E (2012)
    To ensure the quality of an information system we must guarantee the correctness of the conceptual schema that represents the knowledge about its domain. The high expressivity of UML schemas annotated with textual OCL ...
  • On porting software visualization tools to the web 

    D'Ambros M; Lanza M; Lungu M; Robbes R (2011)
    Software systems are hard to understand due to the complexity and the sheer size of the data to be analyzed. Software visualization tools are a great help as they can sum up large quantities of data in dense, meaningful ...
  • On the Comprehension of Workflows Modeled with a Precise Style: Results from a Family of Controlled Experiments 

    Reggio, G; Ricca, F; Scanniello, G; Dodero, G; Di Cerbo, F (Springer Verlag (Germany), 2015)
    In this paper, we present the results from a family of experiments conducted to assess whether the level of formality/precision in workflow modeling, based on UML activity diagrams, influences two aspects of construct ...
  • On the elusive notion of meta-agreement 

    Ottonelli V; Porello D (SAGE PUBLICATIONS INC, 2013)
    Public deliberation has been defended as a rational and noncoercive way to overcome paradoxical results from democratic voting, by promoting consensus on the available alternatives on the political agenda. Some critics ...
  • On the exact computation of the graph edit distance 

    Blumenthal DB; Gamper J (2018)
    The graph edit distance is a widely used distance measure for labelled graph. However, the standard approach for its exact computation, suffers from huge runtime and memory requirements. Recently, three better performing ...
  • On the integration of declarative choreographies and commitment-based agent societies into the SCIFF logic programming framework 

    Chesani, F; Mello, P; Montali, M; Storari, S; Torroni, P (IOS Press, 2010)
    The definition of choreography specification languages for Service Oriented Systems poses important challenges. Mainstream approaches tend to focus on procedural aspects, leading to over-constrained and over-specified ...
  • On the reaction to deprecation of clients of 4 + 1 popular Java APIs and the JDK 

    Sawant A; Robbes R; Bacchelli A (2018)
    Application Programming Interfaces (APIs) are a tremendous resource—that is, when they are stable. Several studies have shown that this is unfortunately not the case. Of those, a large-scale study of API changes in the ...
  • On the Relevance of a Business Constraint to an Event Log 

    Di Ciccio C; Maggi FM; Montali M; Mendling J (Elsevier, 2018)
    Declarative process modeling languages such as DECLARE describe the behavior of processes by means of constraints. Such constraints exert rules on the execution of tasks upon the execution of other tasks called activations. ...
  • On the use of replacement messages in API deprecation: An empirical study 

    Brito G; Hora H; Valente MT; Robbes R (2018)
    Libraries are commonly used to support code reuse and increase productivity. As any other system, they evolve over time, and so do their APIs. Consequently, client applications should be updated to benefit from better APIs. ...
  • An Ontological Approach to Creating an Andean Weaving Knowledge Base 

    Brownlow, R; Capuzzi, S; Helmer, S; Martins, L; Normann, I; Poulovassilis, A (Association for Computing Machinery (ACM), 2015)
    Andean textiles are products of one of the richest, oldest and continuous weaving traditions in the world. Understanding the knowledge and practice of textile production as a form of cultural heritage is particularly ...