846 search results - page 138 / 170 » Rewrite-Based Decision Procedures |
134
click to vote
IPMU
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Credal sets are closed convex sets of probability mass functions. The lower probabilities specified by a credal set for each element of the power set can be used as cons...
169
Voted
CIARP
2009
Springer
15 years 9 months ago
2009
Springer
In this paper we propose a machine learning approach to classify melanocytic lesions in malignant and benign from dermatoscopic images. The image database is composed of 433 benign...
145
click to vote
CSFW
2010
IEEE
15 years 9 months ago
2010
IEEE
—Security protocol design is a creative discipline where the solution space depends on the problem to be solved and the cryptographic operators available. In this paper, we exami...
154
Voted
CSFW
2010
IEEE
15 years 9 months ago
2010
IEEE
Mobile ad hoc networks consist of mobile wireless devices which autonomously organize their infrastructure. In such a network, a central issue, ensured by routing protocols, is to ...
162
click to vote
SP
2010
IEEE
15 years 9 months ago
2010
IEEE
—As AJAX applications gain popularity, client-side JavaScript code is becoming increasingly complex. However, few automated vulnerability analysis tools for JavaScript exist. In ...