3365 search results - page 329 / 673 » Multidimensional Data Modeling for Complex Data |
188
click to vote
UAI
1996
15 years 8 months ago
1996
We extend the Bayesian Information Criterion (BIC), an asymptotic approximation for the marginal likelihood, to Bayesian networks with hidden variables. This approximation can be ...
165
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
173
Voted
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
Although presented with a variety of ‘flavours’, the notion of an interactor, as an abstract characterisation of an interactive component, is well-known in the area of formal ...
170
click to vote
UM
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The generation of formal poetry involves both complex creativity usually exercised by a human poet - and strict algorithmic restrictions regarding the metrical structure ...
181
click to vote
COLING
2008
15 years 8 months ago
2008
This paper presents a general platform, namely synchronous tree sequence substitution grammar (STSSG), for the grammar comparison study in Translational Equivalence Modeling (TEM)...