Now showing items 1-20 of 617

  • The 1st Release of the TERENCE Learner GUI: The User-based Usability Evaluation 

    Cecilia, MR; Di, Mascio T; Melonio, A (Springer, 2013)
    This paper reports the user-based usability evaluations performed in Italy of the first release of the learner Graphical User Interface (GUI) of the TERENCE project. This project aims at developing an adaptive learning ...
  • 4th Workshop on Emotions and Personality in Personalized Systems (EMPIRE) 

    Tkalcic M; Carolis BD; Gemmis M; Kosir A (ACM, 2016)
    The 4th Workshop on Emotions and Personality in Personalized Systems (EMPIRE) is taking place in Boston on September 16th, 2016 in conjunction with the ACM RecSys 2016 conference. The workshop focuses on the acquisition ...
  • A robust scheme for multilevel extendible hashing 

    Helmer, S; Neumann, T; Moerkotte, G (SpringerSpringer Verlag (Germany), 2003)
    Dynamic hashing, while surpassing other access methods for uniformly distributed data, usually performs badly for non-uniformly distributed data. We propose a robust scheme for multi-level extendible hashing, allowing ...
  • A-priori verification of web services with abduction 

    Alberti M; Chesani F; Gavanelli M; Lamma E; Mello P; Montali M (CILC, 2006)
    Although stemming from very different research areas, Multi-Agent Systems (MAS) and Service Oriented Computing (SOC) share common topics, problems and settings. A common problem is the need to formally verify the conformance ...
  • Abducing Compliance of Incomplete Event Logs 

    Chesani F; De Masellis R; Di Francescomarino C; Ghidini C; Mello P; Montali M; Tessaris S (Springer, 2016)
    The capability to store data about business processes execution in so-called Event Logs has brought to the diffusion of tools for the analysis of process executions and for the assessment of the goodness of a process model. ...
  • Abducing Workflow Traces: a General Framework to Manage Incompleteness in Business Processes (Short Paper) 

    Chesani F; De Masellis R; Di Francescomarino C; Ghidini C; Mello P; Montali M; Tessaris S (IOS Press, 2016)
    The capability to store data about Business Process executions in so-called Event Logs has brought to the identification of a range of key reasoning services (consistency, compliance, runtime monitoring, prediction) for ...
  • Abduction for specifying and verifying web service choreographies 

    Alberti, M; Chesani, F; Gavanelli, M; Lamma, E; Mello, M; Montali, M; Storari, S (AISC, 2006)
    Global choreographies have been recently proposed as a way for specifying the overall behaviour of a system composed of heterogeneous web services. In this work, we propose an abductive framework based on computational ...
  • An abductive framework for a-priori verification of web services 

    Alberti, M; Chesani, F; Gavanelli, M; Lamma, E; Mello, P; Montali, M (ACM Press, 2006)
    Although stemming from very different research areas, Multi-Agent Systems (MAS) and Service Oriented Computing (SOC) share common topics, problems and settings. One of the common problems is the need to formally verify the ...
  • About Subsumption in Fuzzy EL 

    Borgwardt, S; Peñaloza, R (CEUR, 2013)
    The Description Logic EL is used to formulate several large biomedical ontologies. Fuzzy extensions of EL can express the vagueness inherent in many biomedical concepts. We consider fuzzy EL with semantics based on general ...
  • Action Prediction Models for Recommender Systems Based on Collaborative Filtering and Sequence Mining Hybridization 

    Gurbanov T; Ricci F (ACM, 2017)
    Many recommender systems collect online users' activity and infer from it users' preferences. They record user actions of various types (e.g. clicks, views), and predict unknown, possibly future, interactions between users ...
  • Actions and programs over description logic ontologies 

    Calvanese, D; Lenzerini, M; Riccardo, R; De Giacomo, G (Bozen-Bolzano University Press, 2007)
    We aim at representing and reasoning about actions and (high level) programs over ontologies expressed in Description Logics. This is a critical issue that has resisted good solutions for a long time. In particular, while ...
  • An active learning and training environment for database programming 

    Pahl C; Kenny C (Association for the Advancement of Computers in Education, 2005)
    Active learning facilitated through interactive, self-controlled learning environments differs substantially from traditional instructor-oriented, classroom-based teaching. We present a tool for database programming that ...
  • Active Learning in Collaborative Filtering Recommender Systems 

    Elahi M; Ricci F; Rubens N (Springer, 2014)
    In Collaborative Filtering Recommender Systems user's preferences are expressed in terms of rated items and each rating allows to improve system prediction accuracy. However, not all of the ratings bring the same amount ...
  • An adaptive finite element method for the infinity Laplacian 

    Lakkis O; Pryer T (Springer International Publishing, 2015)
    We construct a finite element method (FEM) for the infinity Laplacian. Solutions of this problem are well known to be singular in nature so we have taken the opportunity to conduct an a posteriori analysis of the method ...
  • Add Data into Business Process Verification: Bridging the Gap between Theory and Practice 

    De Masellis R; Di Francescomarino C; Ghidini C; Montali M; Tessaris S (AAAI press, 2017)
    The need to extend business process languages with the capability to model complex data objects along with the control flow perspective has lead to significant practical and theoretical advances in the field of Business ...
  • Adding Context to Tableaux for DLs 

    Fu W; Peñaloza R (CEUR, 2012)
    We consider the problem of reasoning with ontologies where every axiom is associated to a context, and contexts are related through a total order. These contexts could represent, for example, a degree of trust associated ...
  • Adding Weight to DL-Lite 

    Artale, A; Calvanese, D; Kontchakov, R; Zakharyaschev, M (CEUR-WS.org, 2009)
    In this paper we extend the logic DL-LiteNbool and its fragments with (i) role inclusions, (ii) qualified number restrictions and (iii) role disjointness, symmetry, asymmetry, reflexivity and irreflexivity constraints. We ...
  • Agent societies and service choreographies: A declarative approach to specification and verification 

    Chesani, F; Mello, P; Montali, M; Storari, S (MALLOW-AWESOME, 2007)
    The need for specifying choreographies when developing service oriented systems recently arose as an important issue. Although declarativeness has been identified as a key feature, several proposed approaches model ...
  • Aggregate queries for discrete and continuous probabilistic XML 

    Abiteboul, S; Chan, H; Kharlamov, E; Nutt, W; Senellart, P (ACM, 2010)
    Sources of data uncertainty and imprecision are numerous. A way to handle this uncertainty is to associate probabilistic annotations to data. Many such probabilistic database models have been proposed, both in the relational ...
  • Aggregate Queries over Ontologies 

    Calvanese, D; Kharlamvov, E; Nutt, W; Thorne, C (ACM, 2008)
    Answering queries over ontologies is an important issue for the Semantic Web. Aggregate queries were widely studied for relational databases but almost no results are known for aggregate queries over ontologies. In this ...