549 search results - page 96 / 110 » Verification condition generation for conditional informatio... |
103
click to vote
ICIP
2010
IEEE
14 years 8 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...
ICDM
2009
IEEE
14 years 8 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...
CMOT
2010
14 years 7 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...
110
click to vote
CVPR
2011
IEEE
14 years 5 months 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...
CVPR
2011
IEEE
14 years 5 months 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...