Sciweavers

7167 search results - page 126 / 1434
» A Technique for Invariant Generation
Sort
View
MP
2010
116views more  MP 2010»
15 years 4 months ago
New techniques for cost sharing in combinatorial optimization games
Combinatorial optimization games form an important subclass of cooperative games. In recent years, increased attention has been given to the issue of finding good cost shares for...
Alberto Caprara, Adam N. Letchford
TKDE
2012
236views Formal Methods» more  TKDE 2012»
13 years 8 months ago
Improving Aggregate Recommendation Diversity Using Ranking-Based Techniques
— Recommender systems are becoming increasingly important to individual users and businesses for providing personalized recommendations. However, while the majority of algorithms...
Gediminas Adomavicius, YoungOk Kwon
POPL
2006
ACM
16 years 6 months ago
Staged allocation: a compositional technique for specifying and implementing procedure calling conventions
We present staged allocation, a technique for specifying calling conventions by composing tiny allocators called stages. A specification written using staged allocation has a prec...
Reuben Olinsky, Christian Lindig, Norman Ramsey
IV
2007
IEEE
133views Visualization» more  IV 2007»
16 years 18 days ago
Focus Group Methodology for Evaluating Information Visualization Techniques and Tools
This paper proposes a structured methodology that uses focus group interviews to evaluate Information Visualization techniques and tools. Focus groups are particularly suitable fo...
Riccardo Mazza, Alessandra Berre
CCECE
2006
IEEE
16 years 12 days ago
Evolutionary Strategy Based Improved Motion Estimation Technique for H.264 Video Coding
In this paper we propose an improved motion estimation algorithm based on Evolutionary strategy (ES) for H.264 video codec applied to video. The proposed technique works in a para...
S. Mayuran, Warnakulasuriya Anil Chandana Fernando...