Now showing items 861-880 of 1009

  • Tag recommendations based on tensor dimensionality reduction 

    Symeonidis P; Nanopoulos A; Manolopoulos Y (ACM, 2008)
    Social tagging is the process by which many users add metadata in the form of keywords, to annotate and categorize information items (songs, pictures, web links, products etc.). Collaborative tagging systems recommend tags ...
  • Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models 

    Artale, A; Kontchakov, R; Ryzhikov, V; Zakharyaschev, M (Springer, 2011)
    Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelling Language (UML) have been temporally ...
  • Tailoring training for obese individuals with case-based reasoning 

    Lorenzi F; Dorneles G; Da Rosa R; Peres A; Ricci F (Association for Computing Machinery, Inc, 2017)
    Obesity is a complex disease that involves genetic factors, inflammatory patterns, resilience and psycho-social factors. An effective system which is able to recommend adequate training for obese subjects that starts a new ...
  • Tangible design for inclusive conversations with deaf or hard-of-hearing children 

    Gennari R; Pavani F; Rizvi M (Springer, 2017)
    Recent research in the area of deafness stresses that communication difficulties may severely impact the social and emotional development of deaf or hard-of-hearing learners. Education researchers voice the need of an ...
  • Tangible Tourism with the Internet of Things 

    Cavada D; Elahi M; Massimo D; Maule S; Not E; Ricci F; Venturini A (Springer, 2018)
    The Internet of Things (IoT) enables new ways for exploiting the synergy between the physical and the digital world and therefore promises a more direct and active interaction between tourists and local products and places. ...
  • Tangibles for graph algorithmic thinking: Research questions and work-in-progress 

    Bonani A; Del Fatto V; Dodero G; Gennari R (RWTH, 2017)
    Algorithmic thinking is at the hearth of the best known computational thinking. It requires the abilities to decompose and model a problem with a certain representation, and devise or understand an algorithm for making a ...
  • A Task Orientated Requirements Ontology for Cloud Computing Services 

    Greenwell R; Liu X; Chalmers K; Pahl C (SciTePress, 2016)
    Requirements ontology offers a mechanism to map requirements for cloud computing services to cloud computing resources. Multiple stakeholders can capture and map knowledge in a flexible and efficient manner. The major ...
  • A taxonomy for interactive educational multimedia 

    Pahl C (Association for the Advancement of Computing in Education, 2004)
    Learning is more than knowledge acquisition; it often involves the active participation of the learner in a variety of knowledge- and skills-based learning and training activities. Interactive multimedia technology can ...
  • Teaching Software Design Engineering Across the K-12 Curriculum: Using Visual Thinking and Computational Thinking 

    Fronza I; El Ioini N; Corral L (ACM, 2016)
    Over the years a number of methodologies have been proposed in Software Engineering to deal with systems design. High among them is visual thinking (VT). VT is a well known strategy to foster more ideas and generate consensus ...
  • A template description framework for services as a utility for cloud brokerage 

    Zhang L; Fowley F; Pahl C (SCITEPRESS, 2014)
    Integration and mediation are two core functions that a cloud service broker needs to perform. The description of services involved plays a central role in this endeavour to enable services to be considered as commoditised ...
  • Temporal alignment 

    Dignös A; Böhlen M; Gamper J (ACM, 2012)
    In order to process interval timestamped data, the sequenced semantics has been proposed. This paper presents a relational algebra solution that provides native support for the three properties of the sequenced semantics: ...
  • A temporal description logic for reasoning over conceptual schemas and queries 

    Artale A; Franconi E (Springer, 2002)
    This paper introduces a new logical formalism, intended for temporal conceptual modelling, as a natural combination of the well-known description logic DLR and point-based linear temporal logic with Since and Until. We ...
  • Temporal ER modelling with description logics 

    Artale A; Franconi E (Springer, 1999)
    Recent efforts in the Conceptual Modelling community have been devoted to properly capturing time-varying information. Various temporally enhanced Entity-Relationship (ER) models have been proposed that are intended to ...
  • Temporal OBDA with LTL and DL-Lite 

    Artale, A; Kontchakov, R; Kovtunova, A; Ryzhikov, V; Wolter, F; Zakharyaschev, M (CEUR, 2014)
    We investigate various types of query rewriting over ontologies given in the standard temporal logic LTL as well as combinations of LTL with DL-Lite logics. In particular, we consider FO ( < )- rewritings that can use ...
  • Temporalising tractable description logics 

    Artale, A; Kontchakov, R; Lutz, C; Wolter, F; Zakharyaschev, M (IEEE, 2007)
    It is known that for temporal languages, such as first-order LT L, reasoning about constant (time-independent) relations is almost always undecidable. This applies to temporal description logics as well: constant binary ...
  • The TERENCE Smart Games: Automatic Generation and Supporting Architecture 

    Gennari, R; Marenzi, I; Vittorini, P; Di Mascio, T; De la Prieta, F (CEUR, 2012)
    TERENCE is an FP7 ICT European project that is developing an adaptive learning system for supporting poor comprehenders and their educators. Its learning material are stories and games. The games are ...
  • Ternary semantic analysis of social tags for personalized music recommendation 

    Symeonidis P; Ruxanda M; Nanopoulos A; Manolopoulos Y (Drexel University, 2008)
    Social tagging is the process by which many users add metadata in the form of keywords, to annotate information items. In case of music, the annotated items can be songs, artists, albums. Current music recommenders which ...
  • Testing careflow process execution conformance by translating a graphical language to computational logic 

    Chesani F; Mello P; Montali M; Storari S (Springer, 2007)
    Careflow systems implement workflow concepts in the clinical domain in order to administer, support and monitor the execution of health care services performed by different health care professionals and structures. In this ...
  • Testing guidelines conformance by translating a graphical language to computational logic 

    Chesani, F; Ciampolini, A; Mello, P; Montali, M; Storari, S (ECAI 2006, 2006)
    In this work we present GOSpeL, a simple graphical lan-guage for modeling guidelines in a flow-chart fashion, and an algo-rithm capable of translating a GOSpeL model to a formal language based on computational logic and ...
  • Text classification by aggregation of SVD eigenvectors 

    Symeonidis P; Kehayov I; Manolopoulos Y (Springer, 2012)
    Text classification is a process where documents are categorized usually by topic, place, readability easiness, etc. For text classification by topic, a well-known method is Singular Value Decomposition. For text classification ...