212 search results - page 28 / 43 » Second-Order Simple Grammars |
107
click to vote
COLT
1995
Springer
15 years 1 months ago
1995
Springer
We investigate the problem of estimating the proportion vector which maximizes the likelihood of a given sample for a mixture of given densities. We adapt a framework developed for...
ICFP
2010
ACM
14 years 10 months ago
2010
ACM
' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in second order predicate logic) about inhabitants of the type. ...
JSCIC
2007
14 years 9 months ago
2007
We present a new preconditioner for the iterative solution of linear systems of equations arising from discretizations of systems of first order partial differential equations (P...
AML
2000
14 years 9 months ago
2000
In 1990 J-L. Krivine introduced the notion of storage operators. They are -terms which simulate call-by-value in the call-by-name strategy and they can be used in order to modeliz...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
One of the main difficulties in computing information theoretic learning (ITL) estimators is the computational complexity that grows quadratically with data. Considerable amount ...