844 search results - page 138 / 169 » Safraless Decision Procedures |
INFOCOM
1994
IEEE
14 years 24 days ago
1994
IEEE
We propose a microeconomic approach to service provisioning in ATM networks. Our provisioning procedure consists of two algorithms, one executed by the network and the other by in...
ADC
2007
Springer
14 years 20 days ago
2007
Springer
Derived horizontal fragmentation is one of the main database distribution design techniques. Unlike primary horizontal fragmentation, the decision of derived horizontal fragmentat...
IPMU
2010
Springer
14 years 20 days 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...
CIARP
2009
Springer
14 years 18 days 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...
CSFW
2010
IEEE
14 years 17 days 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...