10407 search results - page 1805 / 2082 » Market-Based Approaches to Optimization |
199
click to vote
CVPR
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a novel approach to inferring 3D volumetric shape of both moving objects and static background from video sequences shot by a moving camera, with the assumption that th...
164
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
171
click to vote
KDD
2010
ACM
15 years 10 months ago
2010
ACM
Modern data mining settings involve a combination of attributevalued descriptors over entities as well as specified relationships between these entities. We present an approach t...
187
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
Parameterized heuristics abound in computer aided design and verification, and manual tuning of the respective parameters is difficult and time-consuming. Very recent results from ...
177
click to vote
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
Interleaving experiments are an attractive methodology for evaluating retrieval functions through implicit feedback. Designed as a blind and unbiased test for eliciting a preferen...