276 search results - page 7 / 56 » Decomposition tool for event-B |
SDM
2010
SIAM
14 years 11 months ago
2010
SIAM
Tensors naturally model many real world processes which generate multi-aspect data. Such processes appear in many different research disciplines, e.g, chemometrics, computer visio...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Regular chains and triangular decompositions are fundamental and well-developed tools for describing the complex solutions of polynomial systems. This paper proposes adaptations o...
ECCV
2000
Springer
15 years 11 months ago
2000
Springer
The Singular Value Decomposition (SVD) of a matrix is a linear algebra tool that has been successfully applied to a wide variety of domains. The present paper is concerned with the...
167
click to vote
ICDE
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract-- A decomposition of a binary matrix into two matrices gives a set of basis vectors and their appropriate combination to form the original matrix. Such decomposition solut...
LREC
2010
14 years 11 months ago
2010
The Brandeis Annotation Tool is a web-based text annotation tool that is centered around the notions of layered annotation and task decomposition. It allows annotations to refer t...