Now showing items 1-20 of 1936

    • 100+ Metrics for Software Startups-A Multi-Vocal Literature Review 

      Kemell K; Wang X; Nguyen-Duc A; Grendus J; Tuunanen T; Abrahamsson P (CEUR-WS, 2018)
      Metrics can be used by businesses to make more objective decisions based on data. Software startups in particular are characterized by the uncertain or even chaotic nature of the contexts in which they operate. Using data ...
    • 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 ...
    • 26th International Symposium on Temporal Representation and Reasoning (TIME 2019) 

      Gamper J; Pinchinat S; Sciavicco G (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019)
    • 2ATAs make DLs easy 

      Calvanese D; De Giacomo G; Lenzerini M (CEUR-WS.org, 2002)
      In this paper we demonstrate that two-way alternating automata on infinite trees (2ATAs) provide a very elegant and effective formal tool for addressing reasoning in expressive DLs. Indeed, the encoding of a DL concept (to ...
    • 2D to cylindrical inverse projection of the wireless capsule endoscopy images 

      Liu Y; Tillo T; Xiao J; Lim E; Wang Z (IEEE, 2011)
      In this paper, a two-dimensional to three-dimensional mapping of the wireless capsule endoscopy (WCE) images is proposed as well as the alignment of the consecutive images. The aim of this project is to reduce the diagnosis ...
    • 3D video coding using motion information and depth map 

      Cheng F; Xiao J; Tillo T (IEEE Computer Society, 2015)
      In this paper, a motion-information-based 3D video coding method is proposed for the texture plus depth 3D video format. The synchronized global motion information of camcorder is sampled to assist the encoder to improve ...
    • 3D video super-resolution using fully convolutional neural networks 

      Xie YC; Xiao JM; Tillo T; Wei YC; Zhao Y (IEEE, 2016)
      Large amount of redundant information and huge data size have been a serious problem for multiview video systems. To address this problem, one popular solution is mixedresolution, where only few viewpoints are kept with ...
    • 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 ...
    • 4th Workshop on Emotions and Personality in Personalized Systems (EMPIRE) 2016; Boston, MA, USA, September 16th, 2016, Proceedings 

      Tkalcic M; De Carolis B; de Gemmis M; Kosir A (RWTH, 2016)
      This volume contains the papers presented at the 4th Workshop on Emotions and Personality in Personalized Systems (EMPIRE), hold as part of the 10th ACM Conference on Recommender System (RecSys), in Boston, MA, USA. ...
    • 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 ...
    • Abductive logic programming as an effective technology for the static verification of declarative business processes 

      Montali M; Torroni P; Chesani F; Mello P; Alberti M; Lamma E (IOS Press / Polskie Towarzystwo Matematyczne, 2010)
      We discuss the static verification of declarative Business Processes. We identify four desiderata about verifiers, and propose a concrete framework which satisfies them. The framework is based on the ConDec graphical ...
    • Abductive Reasoning on Compliance Monitoring - Balancing Flexibility and Regulation 

      Chesani F; Mello P; Montali M (Springer, 2017)
      Many emerging applications in Business Process Management, Clinical Guidelines, Service-Oriented and Multi-Agent Systems, are characterized by distribution, complex interaction and coordination dynamics. Such domains, ...
    • 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 ...
    • Accessing data integration systems through conceptual schemas 

      Calì A; Calvanese D; De Giacomo G; Lenzerini M (Springer, 2001)
      Data integration systems provide access to a set of heterogeneous, autonomous data sources through a so-called global, or mediated view. There is a general consensus that the best way to describe the global view is through ...
    • Accurate prediction of the age incidence of chronic myeloid leukemia with an improved two-mutation mathematical model 

      Lecca P; Sorio C (Royal Society of Chemistry, 2016)
      Chronic myeloid leukemia (CML) is a malignant clonal disorder whose hallmark is a reciprocal translocation between chromosomes 9 and 22 occurring in 95% of affected patients. This translocation causes the expression of a ...