1407 search results - page 225 / 282 » Join-Graph Propagation Algorithms |
ICML
1998
IEEE
14 years 9 months ago
1998
IEEE
Production scheduling, the problem of sequentially con guring a factory to meet forecasted demands, is a critical problem throughout the manufacturing industry. The requirement of...
WWW
2008
ACM
14 years 9 months ago
2008
ACM
Cell phones are increasingly becoming attractive targets of various worms, which cause the leakage of user privacy, extra service charges and depletion of battery power. In this w...
CAV
2009
Springer
14 years 9 months ago
2009
Springer
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
EDBT
2006
ACM
14 years 9 months ago
2006
ACM
Skyline queries help users make intelligent decisions over complex data, where different and often conflicting criteria are considered. Current skyline computation methods are rest...
ICIAP
2007
ACM
14 years 9 months ago
2007
ACM
In the past few years, 3D face modeling has gained significant attention. Reliable modeling of the face is necessary for good performance of a 3D assisted face recognition system....