1072 search results - page 117 / 215 » Object-Oriented Type Inference |
124
click to vote
JMLR
2010
14 years 10 months ago
2010
We present a continuous time Bayesian network reasoning and learning engine (CTBN-RLE). A continuous time Bayesian network (CTBN) provides a compact (factored) description of a co...
143
Voted
PEPM
2009
ACM
16 years 13 days ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
162
Voted
PPOPP
2005
ACM
15 years 9 months ago
2005
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose at run-time. This motivated the development of type systems that statically en...
131
Voted
HASKELL
2006
ACM
15 years 9 months ago
2006
ACM
In languages that support polymorphic variants, a single variant value can be passed to many contexts that accept different sets of constructors. Polymorphic variants are potenti...
205
Voted
ALDT
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. We develop a Bayesian approach to concept learning for crowdsourcing applications. A probabilistic belief over possible concept definitions is maintained and updated acc...