7075 search results - page 1414 / 1415 » Models and heterogeneous reasoning |
PLDI
2012
ACM
12 years 8 days ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
ISSTA
2012
ACM
12 years 8 days 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...
ISSTA
2012
ACM
12 years 8 days 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...
CVPR
2012
IEEE
12 years 7 days 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...
SDM
2012
SIAM
12 years 7 days 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...