Sciweavers

532 search results - page 76 / 107
» A Methodology for Comparative Functional Genomics
Sort
View
CORR
2007
Springer
80views Education» more  CORR 2007»
14 years 9 months ago
Polygraphs for termination of left-linear term rewriting systems
– 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...
Yves Guiraud
83
Voted
INFORMATICALT
2006
96views more  INFORMATICALT 2006»
14 years 9 months ago
Evaluation of Ranking Accuracy in Multi-Criteria Decisions
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...
91
Voted
HCI
2009
14 years 7 months ago
Testing of a Novel Web Browser Interface for the Chinese Market
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 ...
Siu-Tsen Shen, Stephen D. Prior, Kuen-Meau Chen
ICCSA
2011
Springer
14 years 1 months ago
View- and Scale-Based Progressive Transmission of Vector Data
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...
CODES
2003
IEEE
15 years 3 months ago
A low power scheduler using game theory
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...
N. Ranganathan, Ashok K. Murugavel