283 search results - page 37 / 57 » Functional Pearls: Probabilistic functional programming in H... |
124
click to vote
POPL
1993
ACM
15 years 5 months ago
1993
ACM
We study the type inference problem for a system with type classes as in the functional programminglanguage Haskell. Type classes are an extension of ML-style polymorphismwith ove...
106
Voted
CP
2006
Springer
15 years 5 months ago
2006
Springer
We consider probabilistic constrained linear programs with general distributions for the uncertain parameters. These problems generally involve non-convex feasible sets. We develo...
109
click to vote
UAI
2003
15 years 2 months ago
2003
Abstract. In Datalog, missing values are represented by Skolem constants. More generally, in logic programming missing values, or existentially quantified variables, are represent...
117
click to vote
ICFP
2002
ACM
16 years 1 months ago
2002
ACM
Even when programming in a statically typed language we every now and then encounter statically untypable values; such values result from interpreting values or from communicating...
140
click to vote
JMLR
2012
13 years 4 months ago
2012
We propose a novel mixtures of Gaussian processes model in which the gating function is interconnected with a probabilistic logical model, in our case Markov logic networks. In th...