1564 search results - page 51 / 313 » Extensions to the Estimation Calculus |
127
click to vote
NIPS
2001
15 years 3 months ago
2001
This paper presents a method for obtaining class membership probability estimates for multiclass classification problems by coupling the probability estimates produced by binary c...
CSL
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. By introducing a parallel extension rule that is aware of independence of the introduced extension variables, a calculus for quantified propositional logic is obtained w...
115
click to vote
APSEC
2004
IEEE
15 years 5 months ago
2004
IEEE
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...
96
Voted
ICFP
2003
ACM
16 years 1 months ago
2003
ACM
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various...
107
click to vote
JFP
2008
15 years 1 months ago
2008
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various...