549 search results - page 96 / 110 » Verification condition generation for conditional informatio... |
172
click to vote
ICIP
2010
IEEE
15 years 3 months ago
2010
IEEE
Many well-known existing image matching methods are based on local texture analysis, and consequently have difficulty handling low-textured 3D objects, such as those man-made buil...
151
Voted
ICDM
2009
IEEE
15 years 3 months ago
2009
IEEE
Scientists increasingly use ensemble data sets to explore relationships present in dynamic systems. Ensemble data sets combine spatio-temporal simulation results generated using mu...
174
click to vote
CMOT
2010
15 years 3 months ago
2010
: In Wilderness Search and Rescue (WiSAR), the incident commander (IC) creates a probability distribution map of the likely location of the missing person. This map is important be...
197
Voted
CVPR
2011
IEEE
15 years 29 days ago
2011
IEEE
We present an unsupervised, shape-based method for joint clustering of multiple image segmentations. Given two or more closely-related images, such as nearby frames in a video sequ...
177
Voted
CVPR
2011
IEEE
15 years 29 days ago
2011
IEEE
We present an unsupervised, shape-based method for joint clustering of multiple image segmentations. Given two or more closely-related images, such as nearby frames in a video seq...