2646 search results - page 62 / 530 » Local Type Inference |
123
click to vote
UAI
2008
15 years 2 months ago
2008
Inference problems in graphical models can be represented as a constrained optimization of a free energy function. It is known that when the Bethe free energy is used, the fixedpo...
111
Voted
ISIPTA
2005
IEEE
15 years 6 months ago
2005
IEEE
When considering sampling models described by a distribution from an exponential family, it is possible to create two types of imprecise probability models. One is based on the co...
117
Voted
TPHOL
2007
IEEE
15 years 6 months ago
2007
IEEE
In Mizar, unlike in most other proof assistants, the types are not part of the foundations of the system. Mizar is based on untyped set theory, which means that in Mizar expression...
109
Voted
ICLP
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. In this paper we show how we can use size and groundness analyses lifted to regular and (polymorphic) Hindley/Milner typed programs to determine more accurate termination...
116
click to vote
ICFP
1997
ACM
15 years 4 months ago
1997
ACM
We observe that the principal typing property of a type system is the enabling technology for modularity and separate compilation [10]. We use this technology to formulate a modul...