6142 search results - page 637 / 1229 » The Complexity of Partition Functions |
222
click to vote
COCO
2008
Springer
15 years 9 months ago
2008
Springer
Discrepancy is a versatile bound in communication complexity which can be used to show lower bounds in the distributional, randomized, quantum, and even unbounded error models of ...
185
click to vote
DAGSTUHL
2008
15 years 8 months ago
2008
Abstract. A so called staggered precision arithmetic is a special kind of a multiple precision arithmetic based on the underlying floating point data format (typically IEEE double ...
195
click to vote
GIL
2008
15 years 8 months ago
2008
: Supply chain management has emerged as cross functional, cross company concept to improve coordination of entire value chains through coordinated actions of all companies. It has...
252
click to vote
UAI
1997
15 years 8 months ago
1997
Bayesian networks provide a modeling language and associated inference algorithm for stochastic domains. They have been successfully applied in a variety of medium-scale applicati...
232
click to vote
FMICS
2010
Springer
15 years 7 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...