276 search results - page 10 / 56 » Decomposition tool for event-B |
AAAI
2000
14 years 11 months ago
2000
The bias-variance decomposition is a very useful and widely-used tool for understanding machine-learning algorithms. It was originally developed for squared loss. In recent years,...
CORR
2007
Springer
14 years 9 months ago
2007
Springer
Higher-order tensor decompositions are analogous to the familiar Singular Value Decomposition (SVD), but they transcend the limitations of matrices (second-order tensors). SVD is ...
EUROGRAPHICS
2010
Eurographics
15 years 6 months ago
2010
Eurographics
We present a new intuitive UI, which we call cross-boundary brushes, for interactive mesh decomposition. The user roughly draws one or more strokes across a desired cut and our sy...
ICCAD
1997
IEEE
15 years 1 months ago
1997
IEEE
In this paper we present an algorithm for converting a BDD representation of a logic function into a multiple-level netlist of disjoint-support subfunctions. On the theoretical si...
AI
1999
Springer
14 years 9 months ago
1999
Springer
We present a new machine learning method that, given a set of training examples, induces a definition of the target concept in terms of a hierarchy of intermediate concepts and th...