– We present a methodology for proving termination of left-linear term rewriting systems (TRSs) by using Albert Burroni’s polygraphs, a kind of rewriting systems on algebraic c...
The paper analyses the problem of ranking accuracy in multiple criteria decision-making (MCDM) methods. The methodology for measuring the accuracy of determining the relative signi...
Edmundas Kazimieras Zavadskas, Algimantas Zakarevi...
This paper compares the perspicacity, appropriateness and preference of web browser icons from leading software providers with those of a culturespecific design. This online study ...
Progressive transmission represents an effective means for the transmission of spatial data over the web. We classify current implementations of this paradigm as either view- or s...
Padraig Corcoran, Peter Mooney, Michela Bertolotto...
In this paper, we describe a new methodology based on game theory for minimizing the average power of a circuit during scheduling in behavioral synthesis. The problem of schedulin...