4814 search results - page 654 / 963 » Combining abstract interpreters |
243
Voted
SAT
2011
Springer
14 years 8 months ago
2011
Springer
Failed literal detection (FL) in SAT is a powerful approach for preprocessing. The basic idea is to assign a variable as assumption. If boolean constraint propagation (BCP) yields ...
318
Voted
SCIA
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. Variational frameworks based on level set methods are popular for the general problem of image segmentation. They combine different feature channels in an energy minimiz...
161
click to vote
APLAS
2011
ACM
14 years 5 months ago
2011
ACM
Abstract. Decentralization is a major challenge for secure computing. In a decentralized setting, principals are free to distrust each other. The key challenge is to provide suppor...
205
Voted
CAIP
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. The detection of vascular bifurcations in retinal fundus images is important for finding signs of various cardiovascular diseases. We propose a novel method to detect su...
178
click to vote
CMSB
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. This paper tackles theoretically the question of the structural stability of biological regulation networks subjected to the influence of their environment. The model of...