8828 search results - page 1178 / 1766 » Formal methods in practice |
212
click to vote
ECML
2006
Springer
15 years 11 months ago
2006
Springer
Causal independence modelling is a well-known method both for reducing the size of probability tables and for explaining the underlying mechanisms in Bayesian networks. In this pap...
182
click to vote
ECTEL
2006
Springer
15 years 11 months ago
2006
Springer
The paper covers the topic from an e-learning provider's perspective on the basis of practical experience and discussions with corporate and SME partners. In this paper the au...
204
click to vote
FSTTCS
2006
Springer
15 years 11 months ago
2006
Springer
Termination is one of the most interesting problems when dealing with context-sensitive rewrite systems. Although there is a good number of techniques for proving termination of co...
189
click to vote
GECCO
2006
Springer
15 years 11 months ago
2006
Springer
Semi-supervised classification uses aspects of both unsupervised and supervised learning to improve upon the performance of traditional classification methods. Semi-supervised clu...
206
click to vote
GECCO
2006
Springer
15 years 11 months ago
2006
Springer
In this paper, an object-oriented unified optimization framework (UOF) for general problem optimization is proposed. Based on evolutionary algorithms, numerical deterministic meth...