4581 search results - page 150 / 917 » Computing Transformation Semigroups |
151
click to vote
EUROMICRO
1998
IEEE
15 years 10 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
174
click to vote
WSCG
2004
15 years 7 months ago
2004
This paper compares various techniques for compressing floating point distance fields. Both lossless and lossy techniques are compared against a new lossless technique. The new Ve...
132
click to vote
AMC
2006
15 years 6 months ago
2006
In the integration of geodetic networks with different geodetic coordinate systems, the similarity transformation seems to be the most suitable method because the geodetic coordin...
157
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Sparse representation in compressive sensing is gaining increasing attention due to its success in various applications. As we demonstrate in this paper, however, image sparse rep...
186
click to vote
SSD
2007
Springer
2007
Springer
Blind Evaluation of Nearest Neighbor Queries Using Space Transformation to Preserve Location Privacy
16 years 14 days ago
In this paper we propose a fundamental approach to perform the class of Nearest Neighbor (NN) queries, the core class of queries used in many of the location-based services, withou...