7167 search results - page 126 / 1434 » A Technique for Invariant Generation |
268
click to vote
MP
2010
15 years 4 months ago
2010
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...
199
click to vote
TKDE
2012
13 years 8 months ago
2012
— Recommender systems are becoming increasingly important to individual users and businesses for providing personalized recommendations. However, while the majority of algorithms...
291
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
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...
159
click to vote
IV
2007
IEEE
16 years 18 days ago
2007
IEEE
This paper proposes a structured methodology that uses focus group interviews to evaluate Information Visualization techniques and tools. Focus groups are particularly suitable fo...
166
click to vote
CCECE
2006
IEEE
16 years 12 days ago
2006
IEEE
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...