1003 search results - page 94 / 201 » Type Inference with Inequalities |
168
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. There is currently a large interest in relational probabilistic models. While the concept of context-specific independence (CSI) has been well-studied for models such as ...
126
click to vote
JUCS
2008
15 years 4 months ago
2008
: We address the problems of structuring and annotation of layout-oriented documents. We model the annotation problems as the collective classification on graph-like structures wit...
132
click to vote
JMLR
2010
14 years 11 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...
148
click to vote
PEPM
2009
ACM
16 years 29 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...
166
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...