534 search results - page 37 / 107 » Data Separation by Sparse Representations |
ENTCS
2008
13 years 10 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
SAC
2005
ACM
14 years 3 months ago
2005
ACM
Over the last few years rapid progress has been made in moving from conceptual studies, “whitepapers” and initiatives to the actual deployment of e-Government systems [13]. In...
PAMI
1998
13 years 9 months ago
1998
This paper describes a framework for the estimation of shape from sparse or incomplete range data. It uses a shape representation called blending, which allows for the geometric c...
KR
2004
Springer
14 years 3 months ago
2004
Springer
In a very basic sense, the aim of knowledge discovery is to reveal structures of knowledge which can be seen as being represented by structural relationships. In this paper, we ma...
TIP
2002
13 years 9 months ago
2002
Abstract--The main contribution of this work is a new paradigm for image representation and image compression. We describe a new multilayered representation technique for images. A...