534 search results - page 37 / 107 » Data Separation by Sparse Representations |
99
Voted
ENTCS
2008
15 years 14 days 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...
83
Voted
SAC
2005
ACM
15 years 6 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...
116
click to vote
PAMI
1998
15 years 2 days 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...
104
click to vote
KR
2004
Springer
15 years 5 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...
88
Voted
TIP
2002
15 years 1 days 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...