Now showing items 52-71 of 401

  • The complexity of computing the behaviour of lattice automata on infinite trees 

    Lehmann, K; Penaloza, R (Elsevier, 2014)
    Several logic-based decision problems have been shown to be reducible to the emptiness problem of automata. In a similar way, non-standard reasoning problems can be reduced to the computation of the behaviour of weighted ...
  • The complexity of fuzzy EL under the Łukasiewicz T-norm 

    Borgwardt S; Cerami M; Peñaloza R (2017)
    Fuzzy Description Logics (DLs) are a family of knowledge representation formalisms designed to represent and reason about vague and imprecise knowledge that is inherent to many application domains. Previous work has shown ...
  • The complexity of lattice-based fuzzy description logics 

    Borgwardt, S; Penaloza, R (Springer, 2013)
    We study the complexity of reasoning in fuzzy description logics with semantics based on finite residuated lattices. For the logic SHI, we show that deciding satisfiability and subsumption of concepts, with or without a ...
  • Compliance in business processes with incomplete information and time constraints: A general framework based on abductive reasoning 

    Chesani F; Mello P; De Masellis R; Di Francescomarino C; Ghidini C; Montali M; Tessaris S (2018)
    The capability to store data about Business Process (BP) executions in so-called Event Logs has brought to the identification of a range of key reasoning services (consistency, compliance, runtime monitoring, prediction) ...
  • Compliance monitoring in business processes: Functionalities, application, and tool-support 

    Ly, LT; Maggi, FM; Montali, M; Rinderle-Ma, S; Aalst, WMP (Elsevier, 2015)
    In recent years, monitoring the compliance of business processes with relevant regulations, constraints, and rules during runtime has evolved as major concern in literature and practice. Monitoring not only refers to ...
  • Computational Actuarial Science with R 

    Durante, F (Wiley: 12 months, 2015)
  • A Computational Framework for Conceptual Blending 

    Eppe M; Maclean E; Confalonieri R; Kutz O; Schorlemmer M; Plaza E; Kühnberger K (2018)
    We present a computational framework for conceptual blending, a concept invention method that is advocated in cognitive science as a fundamental and uniquely human engine for creative thinking. Our framework treats a crucial ...
  • A computational logic application framework for service discovery and contracting 

    Alberti M; Cattafi M; Chesani F; Gavanelli M; Lamma E; Mello P; Montali M; Torroni P (2011)
    In Semantic Web technologies, searching for a service means identifying components that can potentially satisfy user needs in terms of inputs and outputs (discovery) and devise a fruitful interaction with the customer ...
  • A conceptual architecture for semantic web services development and deployment 

    Pahl C (Inderscience Publishers, 2005)
    Several extensions of the Web Services Framework (WSF) have been proposed. The combination with Semantic Web technologies introduces a notion of semantics, which can enhance scalability through automation. Service composition ...
  • Configuration knowledge representations for Semantic Web applications 

    Felfernig, A; Friedrich, G; Jannach, D; Stumptner, M; Zanker, M (Cambridge University Press, 2003)
    Today's economy exhibits a growing trend toward highly specialized solution providers cooperatively offering configurable products and services to their customers. This paradigm shift requires the extension of current ...
  • Constraint Modeling for Curriculum Planning and Validation 

    Baldoni, M; Baroglio, C; Brunkhorst, I; Henze, N; Marengo, E; Patti, V (Taylor & Francis (Routledge): SSH Titles, 2011)
    Curricula authoring is a complex process, involving different actors and different kinds of knowledge. Learners aim at acquiring expertise about some topic of their own interest, and need to perceive that the curriculum ...
  • Containerisation and the PaaS Cloud 

    Pahl, C (IEEE, 2015)
    Containerisation is widely discussed as a lightweight virtualisation solution. Apart from exhibiting benefits over traditional virtual machines in the cloud, containers are especially relevant for Platform-as-a-Service ...
  • Content-Based Video Recommendation System Based on Stylistic Visual Features 

    Deldjoo Y; Elahi M; Cremonesi P; Garzotto F; Piazzolla P; Quadrana M (Springer Berlin Heidelberg, 2016)
    This paper investigates the use of automatically extracted visual features of videos in the context of recommender systems and brings some novel contributions in the domain of video recommendations. We propose a new ...
  • Content-driven design and architecture of E-learning applications 

    Pahl C (ACTA Press, 2008)
    E-learning applications combine content with learning technology systems to support the creation of content and its delivery to the learner. In the future, we can expect the distinction between learning content and its ...
  • A context model for IDE-based recommendation systems 

    Gasparic M; Murphy G; Ricci F (2017)
    Context, as modeled through variables called contextual factors, can improve human-computer interaction. To date, in applications supporting software development, such as integrated development environments (IDEs) and ...
  • Continuous CMMI assessment using non-invasive measurement and process mining 

    Astromskis, S; Janes, A; Sillitti, A; Succi, G (World Scientific Publishing, 2014)
    The reputation of lightweight software development processes such as Agile and Lean is damaged by practitioners that claim benefits of such processes that are not true. Teams that want to demonstrate their seriousness, ...
  • Convolutional Neural Network for Intermediate View Enhancement in Multiview Streaming 

    Yu L; Tillo T; Xiao JM; Grangetto M (IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2018)
    Multiview video streaming continues to gain popularity clue to the great viewing experience it offers, as well as its availability that has been enabled by increased network throughput and other recent technical developments. ...
  • A Cookbook for Temporal Conceptual Data Modelling with Description Logics 

    Artale, A; Kontchakov, R; Ryzhikov, V; Zakharyaschev, M (Association for Computing Machinery (ACM), 2014)
    We design temporal description logics (TDLs) suitable for reasoning about temporal conceptual data models and investigate their computational complexity. Our formalisms are based on DL-Lite logics with three types of concept ...
  • Corporate Dividend Policy Determinants: Intelligent versus a Traditional Approach 

    Longinidis P; Symeonidis P (2013)
    Dividend is the return that an investor receives when purchasing a company's shares. The decision to pay these dividends to shareholders concerns several other groups of people, such as financial managers, consulting firms, ...
  • Current challenges and visions in music recommender systems research 

    Schedl M; Zamani H; Chen CW; Deldjoo Y; Elahi M (2018)
    Music recommender systems (MRSs) have experienced a boom in recent years, thanks to the emergence and success of online streaming services, which nowadays make available almost all music in the world at the user’s fingertip. ...