4067 search results - page 255 / 814 » Programs for Applying Symmetries |
166
click to vote
CIE
2008
Springer
15 years 8 months ago
2008
Springer
The extraction mechanism of Coq allows one to transform Coq proofs and functions into functional programs. We illustrate the behavior of this tool by reviewing several variants of ...
152
click to vote
IJCAI
2007
15 years 8 months ago
2007
In this paper we prove that the well-known correspondence between the forward-backward algorithm for hidden Markov models (HMMs) and belief propagation (BP) applied to HMMs can be...
172
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
We introduce an extension of linear constraints, called linearrange constraints, which allows for (meta-)reasoning about the approximation width of variables. Semantics for linear...
148
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
According to Strachey, a polymorphic program is parametric if it applies a uniform algorithm independently of the type instantiations at which it is applied. The notion of relatio...
173
click to vote
C5
2006
IEEE
16 years 23 days ago
2006
IEEE
1 Creating one’s own games has been the main motivation for many people to learn programming. But the barrier to learn a general purpose programming language is very high, espec...