816 search results - page 22 / 164 » SAT-Based Image Computation with Application in Reachability... |
157
click to vote
IPAS
2008
15 years 8 months ago
2008
Multivariate images are now commonly produced in many applications. If their process is possible due to computers power and new programming languages, theoretical difficulties hav...
136
click to vote
DAGM
1997
Springer
15 years 10 months ago
1997
Springer
Using the 3-dimensional structure tensor, dense displacement vector fields (DVF) can be computed with subpixel accuracy. The approach is based on the detection of linear symmetrie...
169
click to vote
ECCV
2008
Springer
16 years 7 months ago
2008
Springer
An approach to the analysis of images of regular texture is proposed in which lattice hypotheses are used to define statistical models. These models are then compared in terms of t...
146
click to vote
IEEESCC
2007
IEEE
16 years 7 days ago
2007
IEEE
Merging orchestrations is a crucial issue in the development process of service-based applications. However, merging orchestrations with overlaps is a manual and tedious process t...
181
click to vote
SI3D
2006
ACM
15 years 12 months ago
2006
ACM
This paper studies jump flooding as an algorithmic paradigm in the general purpose computation with GPU. As an example application of jump flooding, the paper discusses a constant...