11436 search results - page 2212 / 2288 » Modeling Real Reasoning |
136
click to vote
ISSTA
2012
ACM
13 years 2 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
122
click to vote
ISSTA
2012
ACM
13 years 2 months ago
2012
ACM
Since web applications are easily accessible, and often store a large amount of sensitive user information, they are a common target for attackers. In particular, attacks that foc...
125
click to vote
CVPR
2012
IEEE
13 years 2 months ago
2012
IEEE
We propose an unsupervised image segmentation method based on texton similarity and mode seeking. The input image is first convolved with a filter-bank, followed by soft cluster...
132
click to vote
SDM
2012
SIAM
13 years 2 months ago
2012
SIAM
Many animals produce long sequences of vocalizations best described as “songs.” In some animals, such as crickets and frogs, these songs are relatively simple and repetitive c...
124
click to vote
CVPR
2009
IEEE
16 years 6 months ago
2009
IEEE
We present a system for fast model-based segmentation and 3D pose
estimation of specular objects using appearance based specular
features. We use observed (a) specular reflection...