Now showing items 105-124 of 415

    • E-connections of abstract description systems 

      Kutz, O; Lutz, C; Wolter, F; Zakharyaschev, M (Elsevier, 2004)
      Combining knowledge representation and reasoning formalisms is an important and challenging task. It is important because non-trivial AI applications often comprise different aspects of the world, thus requiring suitable ...
    • Editorial 

      Ricci F (2014)
      Dear colleagues and readers, It is with great pleasure that I welcome you to the first issue of the Journal of Information Technology and Tourism that is now published by Springer. In the last issue, which was published ...
    • Effects of asymmetric vertical disruptions on ITER components 

      Albanese R; Carpentieri B; Cavinato M; Minucci S; Palmaccio R; Portone A; Rubinacci G; Testoni P; Ventre S; Villone F (2015)
      This paper deals with the halo current distribution due to asymmetric vertical displacement events (VDEs) and the subsequent force distributions on the conducting structures in the ITER tokamak. Both the eddy and halo ...
    • An efficient elimination strategy for solving PageRank problems 

      Shen ZL; Huang TZ; Carpentieri B; Gu XM; Wen C (2017)
      In Web link structures, similar link distributions often occur, especially for pages from same hosts. For PageRank problems, similar in-link distributions of pages result in similar row patterns of the transition matrix. ...
    • Efficient haplotype block recognition of very long and dense genetic sequences 

      Taliun, D; Gamper, J; Pattaro, C (2014)
      Conclusions: The MIG(++) enables to perform LD-based haplotype block recognition on genetic sequences of any length and density. In the new generation sequencing era, this can help identify haplotypes that carry rare ...
    • Efficient slice-aware H.264/AVC video transmission over time-driven priority networks 

      Baccaglini E; Marchetto G; Tillo T; Olmo G (John Wiley and Sons Ltd, 2014)
      This paper proposes a multimedia streaming architecture that combines network and video technologies to handle video traffic over multi-hop access networks. In this context, resource overprovision typical of current quality ...
    • Efficient use of parallel libraries on heterogeneous Networks of Workstations 

      Clematis, A; Dodero, GM; Gianuzzi, V (Elsevier, 2000)
      The paper is motivated by efficiency considerations about porting mathematical software from Massively Parallel Processors (MPPs) to Networks of Workstations (NOWs). Heterogeneity of the network is the major obstacle to ...
    • Eliciting pairwise preferences in recommender systems 

      Kalloori S; Ricci F; Gennari R (ACM, 2018)
      Preference data in the form of ratings or likes for items are widely used in many Recommender Systems. However, previous research has shown that even item comparisons, which generate pairwise preference data, can be used ...
    • Emotional properties of latent factors in an image recommender system 

      Tkalčič M; Košir A; Dobravec S; Tasič J (2011)
      In this paper we analyze the relations between the latent factors with high variance description and affective parameters in an image recommender system. Using the matrix factorization approach we identify the main two ...
    • An empirical study of the influence of static type systems on the usability of undocumented software 

      Mayer C; Hanenberg S; Robbes R; Tanter E; Stefik A (2012)
      Although the study of static and dynamic type systems plays a major role in research, relatively little is known about the impact of type systems on software development. Perhaps one of the more common arguments for static ...
    • End-User Software Engineering in K-12 by Leveraging Existing Curricular Activities 

      Fronza I; Pahl C (SciTePress, 2018)
      In recent years, an increasing number of people (called “end-users”) have started to perform a range of activities related to software development, such as coding with domain-specific languages. The research in the area ...
    • Engineering a new abstraction layer to optimize the HEP analysis process 

      Amaral, V; Helmer, S; Moerkotte, G (Institute of Electrical and Electronics Engineers (IEEE), 2004)
      Presently, in the new high-energy physics experiments we are observing a growing complexity in the interfaces of the analysis tools. As a consequence, end users have to master programming, understand complex frameworks and ...
    • Engineering and Verifying Agent-oriented Requirements Augmented by Business Constraints with B-Tropos 

      Montali M; Torroni P; Zannone N; Mello P; Bryl V (Springer, 2011)
      We propose B-Tropos as a modeling framework to support agent-oriented systems engineering, from high-level requirements elicitation down to execution-level tasks. In particular, we show how B-Tropos extends the Tropos ...
    • Engineering Multiuser Museum Interactives for Shared Cultural Experiences 

      Confalonieri R; Yee-King M; de Jonge D; Osman N; Hazelden C; Sierra C; d'Inverno M; Amgoud L; Prade H (2015)
      Multiuser museum interactives are computer systems installed in museums or galleries which allow several visitors to interact together with digital representations of artefacts and information from the museum׳s collection. ...
    • An Epistemic Operator for Description Logics 

      Donini, FM; Lenzerini, M; Nardi, D; Nutt, W; Schaerf, A (Elsevier, 1998)
      Description logics (also called terminological logics, or concept languages) are fragments of first-order logic that provide a formal account of the basic features of frame-based systems. However, there are aspects of ...
    • Equivalences among Aggregate Queries with Negation 

      Cohen, S; Nutt, W; Sagiv, Y (Association for Computing Machinery (ACM), 2005)
      Query equivalence is investigated for disjunctive aggregate queries with negated subgoals, constants and comparisons. A full characterization of equivalence is given for the aggregation functions count, max, sum, prod, ...
    • Error-resilient video coding with end-to-end rate-distortion optimized at macroblock level 

      Xiao JM; Tillo T; Lin CY; Zhao Y (SPRINGER INTERNATIONAL PUBLISHING AG, 2011)
      Intra macroblock refreshment is an effective approach for error-resilient video coding. In this paper, in addition to intra coding, we propose to add two macroblock coding modes to enhance the transmission robustness of ...
    • Evaluating defect prediction approaches: A benchmark and an extensive comparison 

      D'Ambros M; Lanza M; Robbes R (2012)
      Reliably predicting software defects is one of the holy grails of software engineering. Researchers have devised and implemented a plethora of defect/bug prediction approaches varying in terms of accuracy, complexity and ...
    • Evaluating different approaches for indexing fuzzy sets 

      Helmer, S (Elsevier, 2003)
      Providing efficient query processing in database systems is one step towards gaining acceptance of such systems by end users. We propose several techniques for indexing fuzzy sets in databases to improve the query evaluation ...
    • Evaluating lock-based protocols for cooperation on XML documents 

      Helmer, S; Kanne, CC; Moerkotte, G (Association for Computing Machinery; 1999, 2004)
      We discuss four different core protocols for synchronizing access to and modifications of XML document collections. These core protocols synchronize structure traversals and modifications. They are meant to be integrated ...