6142 search results - page 741 / 1229 » The Complexity of Partition Functions |
166
click to vote
FOCS
2005
IEEE
16 years 19 days ago
2005
IEEE
We use techniques from sample-complexity in machine learning to reduce problems of incentive-compatible mechanism design to standard algorithmic questions, for a wide variety of r...
178
click to vote
ICCV
2005
IEEE
16 years 19 days ago
2005
IEEE
In this study, we demonstrate the effectiveness of using extended light sources for modeling the appearance of an object for varying illumination. Extended light sources have a ra...
183
click to vote
ISORC
2005
IEEE
16 years 18 days ago
2005
IEEE
Depending on the physical structuring of large distributed safety-critical real-time systems, one can distinguish federated and integrated system architectures. The DECOS architec...
224
click to vote
HASKELL
2005
ACM
16 years 17 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
166
click to vote
CIE
2005
Springer
16 years 17 days ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...