Now showing items 104-123 of 401

  • 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 ...
  • 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 ...
  • 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 ...
  • Evolving objects in temporal information systems 

    Artale, A; Parent, C; Spaccapietra, S (Springer Verlag (Germany), 2007)
  • Execution profiling blueprints 

    Bergel A; Bañados F; Robbes R; Binder W (2012)
    Although traditional approaches to code profiling help locate performance bottlenecks, they offer only limited support for removing these bottlenecks. The main reason is the lack of detailed visual runtime information to ...