7075 search results - page 1414 / 1415 » Models and heterogeneous reasoning |
112
click to vote
PLDI
2012
ACM
13 years 1 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...
120
click to vote
ISSTA
2012
ACM
13 years 1 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...
107
click to vote
ISSTA
2012
ACM
13 years 1 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...
106
click to vote
CVPR
2012
IEEE
13 years 1 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...
114
click to vote
SDM
2012
SIAM
13 years 9 hour 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...