Now showing items 21-40 of 1009

  • Adaptive active learning in recommender systems 

    Elahi M (Springer, 2011)
    Recommender Systems (RSs) generate personalized suggestions to users for items that may be interesting for them. Many RSs use the Collaborative Filtering (CF) technique, where the system gathers some information about the ...
  • 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 ...
  • Adaptive finite elements for semilinear reaction-diffusion systems on growing domains 

    Venkataraman C; Lakkis O; Madzvamuse A (Springer Berlin Heidelberg, 2013)
    We propose an adaptive finite element method to approximate the solutions to reaction-diffusion systems on time-dependent domains and surfaces. We derive a computable error estimator that provides an upper bound for the ...
  • Adaptive Model for Background Extraction Using Depth Map 

    Sun BY; Tillo T; Xu M (SPRINGER, 2015)
    Depth map has attracted great attention for image and video processing in recent years. Depth map gives one more dimensional information about the images besides color (intensity). Depth is independent of color, which is ...
  • 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 Knowledge and Action Bases 

    Calvanese D; Ceylan I; Montali M; Santoso A (arXiv.org e-Print archive, 2014)
    Knowledge and Action Bases (KABs) have been recently proposed as a formal framework to capture the dynamics of systems which manipulate Description Logic (DL) Knowledge Bases (KBs) through action execution. In this work, ...
  • 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 ...
  • Addressing the new user problem with a personality based user similarity measure 

    Tkalčič M; Kunaver M; Košir A; Tasič J (CEUR-WS.org, 2011)
    The new user problem is a recurring problem in memory based collaborative recommender systems (MBCR). It occurs when a new user is added to the system and there are not enough information to make a good selection of the ...
  • Affective recommender systems: The role of emotions in recommender systems 

    Tkalcic M; Kosir A; Tasic J (CEUR-WS.org, 2011)
    Recommender systems have traditionally relied on data-centric descriptors for content and user modeling. In recent years we have witnessed an increasing number of attempts to use emotions in di?erent ways to improve the ...
  • Affordable and Energy-Efficient Cloud Computing Clusters: The Bolzano Raspberry Pi Cloud Cluster Experiment 

    Abrahamsson P; Helmer S; Phaphoom N; Nicolodi L; Preda N; Miori L; Angriman M; Rikkilä J; Wang X; Hamily K; Bugoloni S (IEEE, 2013)
    We present our ongoing work building a Raspberry Pi cluster consisting of 300 nodes. The unique characteristics of this single board computer pose several challenges, but also offer a number of interesting opportunities. ...
  • Agent composition synthesis based on ATL 

    De Giacomo G; Felli P (IFAAMAS, 2010)
    Agent, composition is the problem of realizing a "virtual" agent by suitably directing a set of available "concrete", i.e., already implemented, agents. It is a synthesis problem, since its solution amounts to synthesizing ...
  • 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 ...
  • Alex nel Paese degli Oggetti Informatici: gioco, esploro, apprendo; applicazioni dell'Informatica con Junior Uni 

    Dodero, G; Gennari, R; Melonio, A; Torello, S (AICA, 2015)
    Junior Uni alla Libera Università di Bolzano raccoglie, fra le altre, iniziative di avvicinamento delle scolaresche all’informatica. In questo breve contributo, viene riportata la progettazione di una visita di alcune ...
  • Algebraic optimization of nested XPath expressions 

    Brantner, M; Kanne, CC; Moerkotte, G; Helmer, S (ICDE, 2006)
    The XPath language incorporates powerful primitives for formulating queries containing nested subexpressions which are existentially or universally quantified. However, even the best published approaches for evaluating ...
  • Algorithms Aside: Recommendation As The Lens Of Life 

    Motajcsek T; Le Moine J; Larson M; Kohlsdorf D; Lommatzsch A; Tikk D; Alonso O; Cremonesi P; Demetriou A; Dobrajs K; Garzotto F; Göker A; Hopfgartner F; Malagoli D; Nguyen N; Novak J; Ricci F; Scriminaci M; Tkalcic M; Zacchi A (Association for Computing Machinery, Inc, 2016)
    In this position paper, we take the experimental approach of putting algorithms aside, and reflect on what recommenders would be for people if they were not tied to technology. By looking at some of the shortcomings that ...
  • ALIVE: A framework for flexible and adaptive service coordination 

    Staikopoulos A; Popescu R; Andreou D; Cliffe O; Reed C; Quillinan T; Clarke S; Sergeant P; Nieuwenhuis K; Lam J; Vasconcelos W; Guerin F; Corsar D; Chorley A; Vázquez-Salceda J; Norman T; Confalonieri R; Panagiotidi S; Hidalgo S; Gomez I; Nieves J; Napagao S; Ceccaroni L; Palau Roig M; Dignum V; Aldewereld H; Penserini L; Dignum F; De Vos M; Padget J (Springer Verlag, 2009)
    There is a large body of research on software services, but the issues of communication and dynamic reconfiguration have received little attention, as have adaptation to environment and dynamic combination of service ...
  • An analysis of a project reuse approach in an industrial setting 

    Gasparic, M; Janes, A; Sillitti, A; Succi, G (Springer, 2015)
    We performed an industrial exploratory case study to analyze the software reuse process of a medium size company which is a technology leader in a niche market. Two unstructured interviews and code duplication analyses of ...