1738 search results - page 233 / 348 » Local Consistency and SAT-Solvers |
175
Voted
IWMM
2007
Springer
16 years 8 days ago
2007
Springer
In this work, we present accordion arrays, a straightforward and effective memory compression technique targeting Unicode-based character arrays. In many non-numeric Java programs...
184
click to vote
OTM
2007
Springer
16 years 8 days ago
2007
Springer
: Two major problems in constructing data federations (for example, data warehouses and database federations) concern achieving and maintaining consistency and a uniform representa...
167
click to vote
PAKDD
2007
ACM
16 years 8 days ago
2007
ACM
In this paper, we investigate and utilize the characteristic of the group movement of objects to achieve energy conservation in the inherently resource-constrained wireless object ...
191
click to vote
SCALESPACE
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Natural images consist of texture, structure and smooth regions and this makes the task of filtering challenging mainly when it aims at edge and texture preservation. In...
158
click to vote
3DPVT
2006
IEEE
16 years 6 days ago
2006
IEEE
Shape from silhouette methods are extensively used to model dynamic and non-rigid objects using binary foreground-background images. Since the problem of reconstructing shapes fro...